num_count.fit.eqn

verilog语言写的一个四层电梯程序

A1L69 = CARRY(A1L69_cout_0);

--A1L79 is count1[8]~611COUT1_644 at LC_X25_Y16_N1
--operation mode is arithmetic

A1L79_cout_1 = count1[8] & (!A1L49);
A1L79 = CARRY(A1L79_cout_1);


--count1[11] is count1[11] at LC_X25_Y16_N4
--operation mode is arithmetic

count1[11]_carry_eqn = (!A1L19 & A1L201) # (A1L19 & A1L301);
count1[11]_lut_out = count1[11] $ count1[11]_carry_eqn;
count1[11] = DFFEAS(count1[11]_lut_out, GLOBAL(clk0), VCC, , A1L041, , , A1L931, );

--A1L501 is count1[11]~615 at LC_X25_Y16_N4
--operation mode is arithmetic

A1L501 = CARRY(!A1L301 # !count1[11]);


--A1L871 is reduce_nor~352 at LC_X26_Y15_N7
--operation mode is normal

A1L871 = count1[13] & !count1[8] & count1[10] & !count1[11];


--count1[22] is count1[22] at LC_X25_Y15_N5
--operation mode is arithmetic

count1[22]_carry_eqn = A1L331;
count1[22]_lut_out = count1[22] $ !count1[22]_carry_eqn;
count1[22] = DFFEAS(count1[22]_lut_out, GLOBAL(clk0), VCC, , A1L041, , , A1L931, );

--A1L531 is count1[22]~619 at LC_X25_Y15_N5
--operation mode is arithmetic

A1L531_cout_0 = count1[22] & !A1L331;
A1L531 = CARRY(A1L531_cout_0);

--A1L631 is count1[22]~619COUT1_655 at LC_X25_Y15_N5
--operation mode is arithmetic

A1L631_cout_1 = count1[22] & !A1L331;
A1L631 = CARRY(A1L631_cout_1);


--count1[23] is count1[23] at LC_X25_Y15_N6
--operation mode is normal

count1[23]_carry_eqn = (!A1L331 & A1L531) # (A1L331 & A1L631);
count1[23]_lut_out = count1[23]_carry_eqn $ count1[23];
count1[23] = DFFEAS(count1[23]_lut_out, GLOBAL(clk0), VCC, , A1L041, , , A1L931, );


--count1[16] is count1[16] at LC_X25_Y16_N9
--operation mode is arithmetic

count1[16]_carry_eqn = (!A1L501 & A1L611) # (A1L501 & A1L711);
count1[16]_lut_out = count1[16] $ (!count1[16]_carry_eqn);
count1[16] = DFFEAS(count1[16]_lut_out, GLOBAL(clk0), VCC, , A1L041, , , A1L931, );

--A1L911 is count1[16]~627 at LC_X25_Y16_N9
--operation mode is arithmetic

A1L911 = CARRY(count1[16] & (!A1L711));


--count1[19] is count1[19] at LC_X25_Y15_N2
--operation mode is arithmetic

count1[19]_carry_eqn = (!A1L911 & A1L421) # (A1L911 & A1L521);
count1[19]_lut_out = count1[19] $ (count1[19]_carry_eqn);
count1[19] = DFFEAS(count1[19]_lut_out, GLOBAL(clk0), VCC, , A1L041, , , A1L931, );

--A1L721 is count1[19]~631 at LC_X25_Y15_N2
--operation mode is arithmetic

A1L721_cout_0 = !A1L421 # !count1[19];
A1L721 = CARRY(A1L721_cout_0);

--A1L821 is count1[19]~631COUT1_653 at LC_X25_Y15_N2
--operation mode is arithmetic

A1L821_cout_1 = !A1L521 # !count1[19];
A1L821 = CARRY(A1L821_cout_1);


--A1L971 is reduce_nor~353 at LC_X26_Y15_N4
--operation mode is normal

A1L971 = count1[23] & !count1[16] & count1[22] & !count1[19];


--A1L271 is reduce_nor~1 at LC_X26_Y15_N8
--operation mode is normal

A1L271 = A1L771 & (A1L971 & A1L871);


--A1L081 is reduce_nor~354 at LC_X26_Y15_N0
--operation mode is normal

A1L081 = count1[13] # count1[10] # !count1[11] # !count1[8];


--A1L181 is reduce_nor~355 at LC_X26_Y15_N2
--operation mode is normal

A1L181 = count1[23] # count1[22] # !count1[19] # !count1[16];


--A1L171 is reduce_nor~0 at LC_X26_Y15_N1
--operation mode is normal

A1L171 = A1L181 # A1L081 # !A1L771;


--count2[10] is count2[10] at LC_X27_Y18_N9
--operation mode is normal

count2[10]_lut_out = A1L9 & (A1L751);
count2[10] = DFFEAS(count2[10]_lut_out, GLOBAL(clk0), VCC, , A1L041, , , , );


--count2[9] is count2[9] at LC_X27_Y16_N0
--operation mode is normal

count2[9]_lut_out = A1L11 & A1L751;
count2[9] = DFFEAS(count2[9]_lut_out, GLOBAL(clk0), VCC, , A1L041, , , , );


--count2[22] is count2[22] at LC_X26_Y17_N8
--operation mode is normal

count2[22]_lut_out = A1L041 & (A1L751 & A1L41) # !A1L041 & (count2[22] # A1L751 & A1L41);
count2[22] = DFFEAS(count2[22]_lut_out, GLOBAL(clk0), VCC, , , , , , );


--count2[16] is count2[16] at LC_X26_Y17_N7
--operation mode is normal

count2[16]_lut_out = A1L751 & A1L51;
count2[16] = DFFEAS(count2[16]_lut_out, GLOBAL(clk0), VCC, , A1L041, , , , );


--A1L281 is reduce_nor~356 at LC_X27_Y18_N6
--operation mode is normal

A1L281 = count2[10] # count2[22] # count2[9] # !count2[16];


--count2[7] is count2[7] at LC_X27_Y16_N2
--operation mode is normal

count2[7]_lut_out = A1L81 & A1L751;
count2[7] = DFFEAS(count2[7]_lut_out, GLOBAL(clk0), VCC, , A1L041, , , , );


--count2[6] is count2[6] at LC_X27_Y16_N3
--operation mode is normal

count2[6]_lut_out = A1L751 & (A1L12);
count2[6] = DFFEAS(count2[6]_lut_out, GLOBAL(clk0), VCC, , A1L041, , , , );


--count2[11] is count2[11] at LC_X27_Y16_N8
--operation mode is normal

count2[11]_lut_out = A1L42 & A1L751;
count2[11] = DFFEAS(count2[11]_lut_out, GLOBAL(clk0), VCC, , A1L041, , , , );


--count2[8] is count2[8] at LC_X27_Y16_N4
--operation mode is normal

count2[8]_lut_out = A1L72 & A1L751;
count2[8] = DFFEAS(count2[8]_lut_out, GLOBAL(clk0), VCC, , A1L041, , , , );


--A1L381 is reduce_nor~357 at LC_X27_Y18_N5
--operation mode is normal

A1L381 = count2[6] # count2[7] # !count2[11] # !count2[8];


--count2[5] is count2[5] at LC_X27_Y18_N8
--operation mode is normal

count2[5]_lut_out = A1L751 & A1L03;
count2[5] = DFFEAS(count2[5]_lut_out, GLOBAL(clk0), VCC, , A1L041, , , , );


--count2[4] is count2[4] at LC_X27_Y18_N0
--operation mode is normal

count2[4]_lut_out = A1L751 & A1L23;
count2[4] = DFFEAS(count2[4]_lut_out, GLOBAL(clk0), VCC, , A1L041, , , , );


--count2[3] is count2[3] at LC_X27_Y18_N1
--operation mode is normal

count2[3]_lut_out = A1L751 & A1L53;
count2[3] = DFFEAS(count2[3]_lut_out, GLOBAL(clk0), VCC, , A1L041, , , , );


--count2[2] is count2[2] at LC_X27_Y16_N7
--operation mode is normal

count2[2]_lut_out = A1L751 & (A1L83);
count2[2] = DFFEAS(count2[2]_lut_out, GLOBAL(clk0), VCC, , A1L041, , , , );


--A1L481 is reduce_nor~358 at LC_X27_Y18_N2
--operation mode is normal

A1L481 = count2[3] # count2[4] # count2[5] # count2[2];


--count2[1] is count2[1] at LC_X27_Y16_N1
--operation mode is normal

count2[1]_lut_out = A1L14 & A1L751;
count2[1] = DFFEAS(count2[1]_lut_out, GLOBAL(clk0), VCC, , A1L041, , , , );


--count2[0] is count2[0] at LC_X27_Y16_N5
--operation mode is normal

count2[0]_lut_out = A1L44 & (A1L751);
count2[0] = DFFEAS(count2[0]_lut_out, GLOBAL(clk0), VCC, , A1L041, , , , );


--A1L581 is reduce_nor~359 at LC_X27_Y18_N3
--operation mode is normal

A1L581 = count2[1] # A1L381 # count2[0] # A1L481;


--count2[17] is count2[17] at LC_X26_Y16_N5
--operation mode is normal

count2[17]_lut_out = A1L64 & (A1L751);
count2[17] = DFFEAS(count2[17]_lut_out, GLOBAL(clk0), VCC, , A1L041, , , , );


--count2[15] is count2[15] at LC_X26_Y16_N9
--operation mode is normal

count2[15]_lut_out = A1L751 & A1L94;
count2[15] = DFFEAS(count2[15]_lut_out, GLOBAL(clk0), VCC, , A1L041, , , , );


--A1L4 is LessThan~298 at LC_X26_Y16_N3
--operation mode is normal

A1L4 = !count2[15] & !count2[17];


--count2[12] is count2[12] at LC_X26_Y16_N2
--operation mode is normal

count2[12]_lut_out = A1L751 & A1L15;
count2[12] = DFFEAS(count2[12]_lut_out, GLOBAL(clk0), VCC, , A1L041, , , , );


--count2[14] is count2[14] at LC_X26_Y16_N6
--operation mode is normal

count2[14]_lut_out = A1L751 & A1L45;
count2[14] = DFFEAS(count2[14]_lut_out, GLOBAL(clk0), VCC, , A1L041, , , , );


--count2[13] is count2[13] at LC_X27_Y16_N6
--operation mode is normal

count2[13]_lut_out = A1L751 & (A1L75);
count2[13] = DFFEAS(count2[13]_lut_out, GLOBAL(clk0), VCC, , A1L041, , , , );


--A1L5 is LessThan~299 at LC_X26_Y16_N7
--operation mode is normal

A1L5 = !count2[13] & A1L4 & !count2[12] & !count2[14];


--count2[21] is count2[21] at LC_X26_Y17_N9
--operation mode is normal

count2[21]_lut_out = A1L751 & A1L06;
count2[21] = DFFEAS(count2[21]_lut_out, GLOBAL(clk0), VCC, , A1L041, , , , );


--count2[20] is count2[20] at LC_X27_Y18_N4
--operation mode is normal

count2[20]_lut_out = A1L36 & A1L751;
count2[20] = DFFEAS(count2[20]_lut_out, GLOBAL(clk0), VCC, , A1L041, , , , );


--count2[19] is count2[19] at LC_X27_Y16_N9
--operation mode is normal

count2[19]_lut_out = A1L751 & (A1L56);
count2[19] = DFFEAS(count2[19]_lut_out, GLOBAL(clk0), VCC, , A1L041, , , , );


--count2[18] is count2[18] at LC_X25_Y17_N1
--operation mode is normal

count2[18]_lut_out = A1L86 & A1L751;
count2[18] = DFFEAS(count2[18]_lut_out, GLOBAL(clk0), VCC, , A1L041, , , , );


--A1L681 is reduce_nor~360 at LC_X26_Y16_N0
--operation mode is normal

A1L681 = count2[21] & count2[20] & count2[18] & count2[19];


--A1L831 is count1[23]~634 at LC_X26_Y15_N5
--operation mode is normal

A1L831 = !overweight & !Reset & !Lock & !Alarm;


--A1L931 is count1[23]~635 at LC_X25_Y15_N8
--operation mode is normal

A1L931 = !A1L831 # !Start;


--A1L041 is count1[23]~636 at LC_X26_Y15_N9
--operation mode is normal

A1L041 = Reset # !overweight & !Lock & !Alarm;


--A1L9 is add~911 at LC_X26_Y18_N4
--operation mode is arithmetic

A1L9_carry_eqn = (!A1L13 & A1L21) # (A1L13 & A1L31);
A1L9 = count2[10] $ !A1L9_carry_eqn;

--A1L01 is add~913 at LC_X26_Y18_N4
--operation mode is arithmetic

A1L01 = CARRY(count2[10] & !A1L31);


--A1L451 is count2[11]~1923 at LC_X25_Y15_N7
--operation mode is normal

A1L451 = A1L831 & !count2[22] & (downled # upled);


--A1L551 is count2[11]~1924 at LC_X26_Y16_N8
--operation mode is normal

A1L551 = count2[9] # count2[10] # count2[8];


--A1L651 is count2[11]~1925 at LC_X26_Y16_N1
--operation mode is normal

A1L651 = A1L681 & (count2[11] & A1L551 # !A1L5);


--A1L751 is count2[11]~1926 at LC_X26_Y16_N4
--operation mode is normal

A1L751 = A1L451 & (!count2[16] & !count2[17] # !A1L651);


--A1L11 is add~916 at LC_X26_Y18_N3
--operation mode is arithmetic

A1L11_carry_eqn = (!A1L13 & A1L82) # (A1L13 & A1L92);
A1L11 = count2[9] $ (A1L11_carry_eqn);

--A1L21 is add~918 at LC_X26_Y18_N3
--operation mode is arithmetic

A1L21_cout_0 = !A1L82 # !count2[9];
A1L21 = CARRY(A1L21_cout_0);

--A1L31 is add~918COUT1_1034 at LC_X26_Y18_N3
--operation mode is arithmetic

A1L31_cout_1 = !A1L92 # !count2[9];
A1L31 = CARRY(A1L31_cout_1);


--A1L41 is add~921 at LC_X26_Y17_N6
--operation mode is normal

A1L41_carry_eqn = (!A1L46 & A1L16) # (A1L46 & A1L26);
A1L41 = count2[22] $ !A1L41_carry_eqn;


--A1L51 is add~926 at LC_X26_Y17_N0
--operation mode is arithmetic

A1L51_carry_eqn = A1L05;
A1L51 = count2[16] $ (!A1L51_carry_eqn);

--A1L61 is add~928 at LC_X26_Y17_N0
--operation mode is arithmetic

A1L61_cout_0 = count2[16] & (!A1L05);