top.map.eqn

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

--C1_count1[19] is Num_Count:inst1|count1[19]
--operation mode is arithmetic

C1_count1[19]_carry_eqn = C1L39;
C1_count1[19]_lut_out = C1_count1[19] $ (C1_count1[19]_carry_eqn);
C1_count1[19] = DFFEAS(C1_count1[19]_lut_out, clk0, VCC, , C1L79, , , C1L69, );

--C1L59 is Num_Count:inst1|count1[19]~710
--operation mode is arithmetic

C1L59 = CARRY(!C1L39 # !C1_count1[19]);


--C1_count1[22] is Num_Count:inst1|count1[22]
--operation mode is arithmetic

C1_count1[22]_carry_eqn = C1L101;
C1_count1[22]_lut_out = C1_count1[22] $ (!C1_count1[22]_carry_eqn);
C1_count1[22] = DFFEAS(C1_count1[22]_lut_out, clk0, VCC, , C1L79, , , C1L69, );

--C1L301 is Num_Count:inst1|count1[22]~714
--operation mode is arithmetic

C1L301 = CARRY(C1_count1[22] & (!C1L101));


--C1_count1[23] is Num_Count:inst1|count1[23]
--operation mode is normal

C1_count1[23]_carry_eqn = C1L301;
C1_count1[23]_lut_out = C1_count1[23] $ (C1_count1[23]_carry_eqn);
C1_count1[23] = DFFEAS(C1_count1[23]_lut_out, clk0, VCC, , C1L79, , , C1L69, );


--C1L231 is Num_Count:inst1|reduce_nor~341
--operation mode is normal

C1L231 = C1_count1[16] # C1_count1[19] # !C1_count1[23] # !C1_count1[22];


--C1_count1[0] is Num_Count:inst1|count1[0]
--operation mode is arithmetic

C1_count1[0]_lut_out = !C1_count1[0];
C1_count1[0] = DFFEAS(C1_count1[0]_lut_out, clk0, VCC, , C1L79, , , C1L69, );

--C1L75 is Num_Count:inst1|count1[0]~722
--operation mode is arithmetic

C1L75 = CARRY(C1_count1[0]);


--C1_count1[1] is Num_Count:inst1|count1[1]
--operation mode is arithmetic

C1_count1[1]_carry_eqn = C1L75;
C1_count1[1]_lut_out = C1_count1[1] $ (C1_count1[1]_carry_eqn);
C1_count1[1] = DFFEAS(C1_count1[1]_lut_out, clk0, VCC, , C1L79, , , C1L69, );

--C1L95 is Num_Count:inst1|count1[1]~726
--operation mode is arithmetic

C1L95 = CARRY(!C1L75 # !C1_count1[1]);


--C1_count1[2] is Num_Count:inst1|count1[2]
--operation mode is arithmetic

C1_count1[2]_carry_eqn = C1L95;
C1_count1[2]_lut_out = C1_count1[2] $ (!C1_count1[2]_carry_eqn);
C1_count1[2] = DFFEAS(C1_count1[2]_lut_out, clk0, VCC, , C1L79, , , C1L69, );

--C1L16 is Num_Count:inst1|count1[2]~730
--operation mode is arithmetic

C1L16 = CARRY(C1_count1[2] & (!C1L95));


--C1_count1[3] is Num_Count:inst1|count1[3]
--operation mode is arithmetic

C1_count1[3]_carry_eqn = C1L16;
C1_count1[3]_lut_out = C1_count1[3] $ (C1_count1[3]_carry_eqn);
C1_count1[3] = DFFEAS(C1_count1[3]_lut_out, clk0, VCC, , C1L79, , , C1L69, );

--C1L36 is Num_Count:inst1|count1[3]~734
--operation mode is arithmetic

C1L36 = CARRY(!C1L16 # !C1_count1[3]);


--C1L331 is Num_Count:inst1|reduce_nor~342
--operation mode is normal

C1L331 = !C1_count1[0] & !C1_count1[1] & !C1_count1[2] & !C1_count1[3];


--C1_count1[4] is Num_Count:inst1|count1[4]
--operation mode is arithmetic

C1_count1[4]_carry_eqn = C1L36;
C1_count1[4]_lut_out = C1_count1[4] $ (!C1_count1[4]_carry_eqn);
C1_count1[4] = DFFEAS(C1_count1[4]_lut_out, clk0, VCC, , C1L79, , , C1L69, );

--C1L56 is Num_Count:inst1|count1[4]~738
--operation mode is arithmetic

C1L56 = CARRY(C1_count1[4] & (!C1L36));


--C1_count1[5] is Num_Count:inst1|count1[5]
--operation mode is arithmetic

C1_count1[5]_carry_eqn = C1L56;
C1_count1[5]_lut_out = C1_count1[5] $ (C1_count1[5]_carry_eqn);
C1_count1[5] = DFFEAS(C1_count1[5]_lut_out, clk0, VCC, , C1L79, , , C1L69, );

--C1L76 is Num_Count:inst1|count1[5]~742
--operation mode is arithmetic

C1L76 = CARRY(!C1L56 # !C1_count1[5]);


--C1_count1[6] is Num_Count:inst1|count1[6]
--operation mode is arithmetic

C1_count1[6]_carry_eqn = C1L76;
C1_count1[6]_lut_out = C1_count1[6] $ (!C1_count1[6]_carry_eqn);
C1_count1[6] = DFFEAS(C1_count1[6]_lut_out, clk0, VCC, , C1L79, , , C1L69, );

--C1L96 is Num_Count:inst1|count1[6]~746
--operation mode is arithmetic

C1L96 = CARRY(C1_count1[6] & (!C1L76));


--C1_count1[7] is Num_Count:inst1|count1[7]
--operation mode is arithmetic

C1_count1[7]_carry_eqn = C1L96;
C1_count1[7]_lut_out = C1_count1[7] $ (C1_count1[7]_carry_eqn);
C1_count1[7] = DFFEAS(C1_count1[7]_lut_out, clk0, VCC, , C1L79, , , C1L69, );

--C1L17 is Num_Count:inst1|count1[7]~750
--operation mode is arithmetic

C1L17 = CARRY(!C1L96 # !C1_count1[7]);


--C1L431 is Num_Count:inst1|reduce_nor~343
--operation mode is normal

C1L431 = !C1_count1[4] & !C1_count1[5] & !C1_count1[6] & !C1_count1[7];


--C1_count1[9] is Num_Count:inst1|count1[9]
--operation mode is arithmetic

C1_count1[9]_carry_eqn = C1L37;
C1_count1[9]_lut_out = C1_count1[9] $ (C1_count1[9]_carry_eqn);
C1_count1[9] = DFFEAS(C1_count1[9]_lut_out, clk0, VCC, , C1L79, , , C1L69, );

--C1L57 is Num_Count:inst1|count1[9]~754
--operation mode is arithmetic

C1L57 = CARRY(!C1L37 # !C1_count1[9]);


--C1_count1[12] is Num_Count:inst1|count1[12]
--operation mode is arithmetic

C1_count1[12]_carry_eqn = C1L97;
C1_count1[12]_lut_out = C1_count1[12] $ (!C1_count1[12]_carry_eqn);
C1_count1[12] = DFFEAS(C1_count1[12]_lut_out, clk0, VCC, , C1L79, , , C1L69, );

--C1L18 is Num_Count:inst1|count1[12]~758
--operation mode is arithmetic

C1L18 = CARRY(C1_count1[12] & (!C1L97));


--C1_count1[14] is Num_Count:inst1|count1[14]
--operation mode is arithmetic

C1_count1[14]_carry_eqn = C1L38;
C1_count1[14]_lut_out = C1_count1[14] $ (!C1_count1[14]_carry_eqn);
C1_count1[14] = DFFEAS(C1_count1[14]_lut_out, clk0, VCC, , C1L79, , , C1L69, );

--C1L58 is Num_Count:inst1|count1[14]~762
--operation mode is arithmetic

C1L58 = CARRY(C1_count1[14] & (!C1L38));


--C1_count1[15] is Num_Count:inst1|count1[15]
--operation mode is arithmetic

C1_count1[15]_carry_eqn = C1L58;
C1_count1[15]_lut_out = C1_count1[15] $ (C1_count1[15]_carry_eqn);
C1_count1[15] = DFFEAS(C1_count1[15]_lut_out, clk0, VCC, , C1L79, , , C1L69, );

--C1L78 is Num_Count:inst1|count1[15]~766
--operation mode is arithmetic

C1L78 = CARRY(!C1L58 # !C1_count1[15]);


--C1L531 is Num_Count:inst1|reduce_nor~344
--operation mode is normal

C1L531 = !C1_count1[9] & !C1_count1[12] & !C1_count1[14] & !C1_count1[15];


--C1_count1[18] is Num_Count:inst1|count1[18]
--operation mode is arithmetic

C1_count1[18]_carry_eqn = C1L19;
C1_count1[18]_lut_out = C1_count1[18] $ (!C1_count1[18]_carry_eqn);
C1_count1[18] = DFFEAS(C1_count1[18]_lut_out, clk0, VCC, , C1L79, , , C1L69, );

--C1L39 is Num_Count:inst1|count1[18]~770
--operation mode is arithmetic

C1L39 = CARRY(C1_count1[18] & (!C1L19));


--C1_count1[20] is Num_Count:inst1|count1[20]
--operation mode is arithmetic

C1_count1[20]_carry_eqn = C1L59;
C1_count1[20]_lut_out = C1_count1[20] $ (!C1_count1[20]_carry_eqn);
C1_count1[20] = DFFEAS(C1_count1[20]_lut_out, clk0, VCC, , C1L79, , , C1L69, );

--C1L99 is Num_Count:inst1|count1[20]~774
--operation mode is arithmetic

C1L99 = CARRY(C1_count1[20] & (!C1L59));


--C1_count1[21] is Num_Count:inst1|count1[21]
--operation mode is arithmetic

C1_count1[21]_carry_eqn = C1L99;
C1_count1[21]_lut_out = C1_count1[21] $ (C1_count1[21]_carry_eqn);
C1_count1[21] = DFFEAS(C1_count1[21]_lut_out, clk0, VCC, , C1L79, , , C1L69, );

--C1L101 is Num_Count:inst1|count1[21]~778
--operation mode is arithmetic

C1L101 = CARRY(!C1L99 # !C1_count1[21]);


--C1_count1[17] is Num_Count:inst1|count1[17]
--operation mode is arithmetic

C1_count1[17]_carry_eqn = C1L98;
C1_count1[17]_lut_out = C1_count1[17] $ (C1_count1[17]_carry_eqn);
C1_count1[17] = DFFEAS(C1_count1[17]_lut_out, clk0, VCC, , C1L79, , , C1L69, );

--C1L19 is Num_Count:inst1|count1[17]~782
--operation mode is arithmetic

C1L19 = CARRY(!C1L98 # !C1_count1[17]);


--C1L631 is Num_Count:inst1|reduce_nor~345
--operation mode is normal

C1L631 = C1_count1[18] & C1_count1[20] & C1_count1[21] & !C1_count1[17];


--C1L731 is Num_Count:inst1|reduce_nor~346
--operation mode is normal

C1L731 = C1L331 & C1L431 & C1L531 & C1L631;


--C1L031 is Num_Count:inst1|reduce_nor~1
--operation mode is normal

C1L031 = C1L131 # C1L231 # !C1L731;


--C1L831 is Num_Count:inst1|reduce_nor~347
--operation mode is normal

C1L831 = C1_count1[10] # C1_count1[13] # !C1_count1[11] # !C1_count1[8];


--C1L931 is Num_Count:inst1|reduce_nor~348
--operation mode is normal

C1L931 = C1_count1[22] # C1_count1[23] # !C1_count1[19] # !C1_count1[16];


--C1L921 is Num_Count:inst1|reduce_nor~0
--operation mode is normal

C1L921 = C1L831 # C1L931 # !C1L731;


--A1L18 is rtl~1793
--operation mode is normal

A1L18 = B1_Now_Floor[1] & (!B1_Now_Floor[2]);


--A1L28 is rtl~1794
--operation mode is normal

A1L28 = B1_up # !B1_down & !C1_time8;


--A1L38 is rtl~1795
--operation mode is normal

A1L38 = A1L28 & (B1_Now_Floor[0] & B1_up3 # !B1_Now_Floor[0] & (B1_up2));


--A1L48 is rtl~1796
--operation mode is normal

A1L48 = B1_down # !B1_up & !C1_time8;


--A1L58 is rtl~1797
--operation mode is normal

A1L58 = A1L48 & (B1_Now_Floor[0] & B1_down3 # !B1_Now_Floor[0] & (B1_down2));


--A1L68 is rtl~1798
--operation mode is normal

A1L68 = B1_Start & (!C1_time8);


--A1L78 is rtl~1799
--operation mode is normal

A1L78 = A1L68 # B1_Now_Floor[0] & B1_num3 # !B1_Now_Floor[0] & (B1_num2);


--A1L88 is rtl~1800
--operation mode is normal

A1L88 = A1L18 & (A1L38 # A1L58 # A1L78);


--A1L98 is rtl~1801
--operation mode is normal

A1L98 = B1_Start # !B1_Now_Floor[1] & (B1_num1 # B1_up1);


--A1L09 is rtl~1802
--operation mode is normal

A1L09 = B1_Now_Floor[0] & A1L98 & (!B1_Now_Floor[2]);


--A1L19 is rtl~1803
--operation mode is normal

A1L19 = A1L09 # A1L46 & (B1_Start # !A1L76);


--B1L7 is Lift_comtrol_main:inst|Select~184
--operation mode is normal

B1L7 = B1_Now_Floor[2] & B1_led1 & (B1_Now_Floor[0] # B1_Now_Floor[1]) # !B1_Now_Floor[2] & !B1_Now_Floor[1] & (B1_led1 # B1_Now_Floor[0]);


--B1L83 is Lift_comtrol_main:inst|led2~138
--operation mode is normal

B1L83 = Reset # B1_Now_Floor[2] $ (B1_Now_Floor[0] # B1_Now_Floor[1]);


--C1_count2[10] is Num_Count:inst1|count2[10]
--operation mode is normal

C1_count2[10]_lut_out = C1L7 & C1L35 & (!Reset);
C1_count2[10] = DFFEAS(C1_count2[10]_lut_out, clk0, VCC, , C1L79, , , , );


--C1_count2[9] is Num_Count:inst1|count2[9]
--operation mode is normal

C1_count2[9]_lut_out = C1L9 & C1L35 & (!Reset);
C1_count2[9] = DFFEAS(C1_count2[9]_lut_out, clk0, VCC, , C1L79, , , , );


--C1_count2[16] is Num_Count:inst1|count2[16]
--operation mode is normal

C1_count2[16]_lut_out = C1L11 & C1L35 & (!Reset);
C1_count2[16] = DFFEAS(C1_count2[16]_lut_out, clk0, VCC, , C1L79, , , , );


--C1_count2[11] is Num_Count:inst1|count2[11]
--operation mode is normal

C1_count2[11]_lut_out = C1L31 & C1L35 & (!Reset);
C1_count2[11] = DFFEAS(C1_count2[11]_lut_out, clk0, VCC, , C1L79, , , , );


--C1L041 is Num_Count:inst1|reduce_nor~349
--operation mode is normal

C1L041 = C1_count2[10] # C1_count2[9] # !C1_count2[11] # !C1_count2[16];


--C1_count2[22] is Num_Count:inst1|count2[22]
--operation mode is normal

C1_count2[22]_lut_out = C1L35 & (C1L51) # !C1L35 & !C1L45 & C1_count2[22];
C1_count2[22] = DFFEAS(C1_count2[22]_lut_out, clk0, VCC, , , , , Reset, );


--C1_count2[7] is Num_Count:inst1|count2[7]
--operation mode is normal

C1_count2[7]_lut_out = C1L61 & C1L35 & (!Reset);
C1_count2[7] = DFFEAS(C1_count2[7]_lut_out, clk0, VCC, , C1L79, , , , );


--C1_count2[6] is Num_Count:inst1|count2[6]
--operation mode is normal

C1_count2[6]_lut_out = C1L81 & C1L35 & (!Reset);
C1_count2[6] = DFFEAS(C1_count2[6]_lut_out, clk0, VCC, , C1L79, , , , );


--C1_count2[5] is Num_Count:inst1|count2[5]
--operation mode is normal

C1_count2[5]_lut_out = C1L02 & C1L35 & (!Reset);
C1_count2[5] = DFFEAS(C1_count2[5]_lut_out, clk0, VCC, , C1L79, , , , );


--C1_count2[8] is Num_Count:inst1|count2[8]
--operation mode is normal

C1_count2[8]_lut_out = C1L22 & C1L35 & (!Reset);
C1_count2[8] = DFFEAS(C1_count2[8]_lut_out, clk0, VCC, , C1L79, , , , );


--C1L141 is Num_Count:inst1|reduce_nor~350
--operation mode is normal

C1L141 = C1_count2[7] # C1_count2[6] # C1_count2[5] # !C1_count2[8];


--C1_count2[4] is Num_Count:inst1|count2[4]
--operation mode is normal

C1_count2[4]_lut_out = C1L42 & C1L35 & (!Reset);
C1_count2[4] = DFFEAS(C1_count2[4]_lut_out, clk0, VCC, , C1L79, , , , );


--C1_count2[3] is Num_Count:inst1|count2[3]
--operation mode is normal

C1_count2[3]_lut_out = C1L62 & C1L35 & (!Reset);
C1_count2[3] = DFFEAS(C1_count2[3]_lut_out, clk0, VCC, , C1L79, , , , );


--C1_count2[2] is Num_Count:inst1|count2[2]
--operation mode is normal

C1_count2[2]_lut_out = C1L82 & C1L35 & (!Reset);
C1_count2[2] = DFFEAS(C1_count2[2]_lut_out, clk0, VCC, , C1L79, , , , );


--C1_count2[1] is Num_Count:inst1|count2[1]
--operation mode is normal

C1_count2[1]_lut_out = C1L03 & C1L35 & (!Reset);
C1_count2[1] = DFFEAS(C1_count2[1]_lut_out, clk0, VCC, , C1L79, , , , );


--C1L241 is Num_Count:inst1|reduce_nor~351
--operation mode is normal

C1L241 = C1_count2[4] # C1_count2[3] # C1_count2[2] # C1_count2[1];


--C1_count2[0] is Num_Count:inst1|count2[0]
--operation mode is normal

C1_count2[0]_lut_out = C1L23 & C1L35 & (!Reset);
C1_count2[0] = DFFEAS(C1_count2[0]_lut_out, clk0, VCC, , C1L79, , , , );


--C1L341 is Num_Count:inst1|reduce_nor~352
--operation mode is normal

C1L341 = C1_count2[22] # C1L141 # C1L241 # C1_count2[0];


--C1_count2[17] is Num_Count:inst1|count2[17]
--operation mode is normal

C1_count2[17]_lut_out = C1L43 & C1L35 & (!Reset);
C1_count2[17] = DFFEAS(C1_count2[17]_lut_out, clk0, VCC, , C1L79, , , , );


--C1_count2[15] is Num_Count:inst1|count2[15]
--operation mode is normal

C1_count2[15]_lut_out = C1L63 & C1L35 & (!Reset);
C1_count2[15] = DFFEAS(C1_count2[15]_lut_out, clk0, VCC, , C1L79, , , , );


--C1L2 is Num_Count:inst1|LessThan~298
--operation mode is normal

C1L2 = !C1_count2[17] & !C1_count2[15];


--C1_count2[12] is Num_Count:inst1|count2[12]
--operation mode is normal

C1_count2[12]_lut_out = C1L83 & C1L35 & (!Reset);
C1_count2[12] = DFFEAS(C1_count2[12]_lut_out, clk0, VCC, , C1L79, , , , );


--C1_count2[14] is Num_Count:inst1|count2[14]
--operation mode is normal

C1_count2[14]_lut_out = C1L04 & C1L35 & (!Reset);
C1_count2[14] = DFFEAS(C1_count2[14]_lut_out, clk0, VCC, , C1L79, , , , );


--C1_count2[13] is Num_Count:inst1|count2[13]
--operation mode is normal

C1_count2[13]_lut_out = C1L24 & C1L35 & (!Reset);
C1_count2[13] = DFFEAS(C1_count2[13]_lut_out, clk0, VCC, , C1L79, , , , );


--C1L3 is Num_Count:inst1|LessThan~299
--operation mode is normal

C1L3 = C1L2 & !C1_count2[12] & !C1_count2[14] & !C1_count2[13];


--C1_count2[21] is Num_Count:inst1|count2[21]
--operation mode is normal

C1_count2[21]_lut_out = C1L44 & C1L35 & (!Reset);
C1_count2[21] = DFFEAS(C1_count2[21]_lut_out, clk0, VCC, , C1L79, , , , );


--C1_count2[20] is Num_Count:inst1|count2[20]
--operation mode is normal

C1_count2[20]_lut_out = C1L64 & C1L35 & (!Reset);
C1_count2[20] = DFFEAS(C1_count2[20]_lut_out, clk0, VCC, , C1L79, , , , );


--C1_count2[19] is Num_Count:inst1|count2[19]
--operation mode is normal

C1_count2[19]_lut_out = C1L84 & C1L35 & (!Reset);
C1_count2[19] = DFFEAS(C1_count2[19]_lut_out, clk0, VCC, , C1L79, , , , );


--C1_count2[18] is Num_Count:inst1|count2[18]
--operation mode is normal

C1_count2[18]_lut_out = C1L05 & C1L35 & (!Reset);
C1_count2[18] = DFFEAS(C1_count2[18]_lut_out, clk0, VCC, , C1L79, , , , );


--C1L441 is Num_Count:inst1|reduce_nor~353
--operation mode is normal

C1L441 = C1_count2[21] & C1_count2[20] & C1_count2[19] & C1_count2[18];


--C1L69 is Num_Count:inst1|count1[19]~785
--operation mode is normal

C1L69 = Reset # !C1L45 # !B1_Start;


--C1L79 is Num_Count:inst1|count1[19]~786
--operation mode is normal

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


--C1L7 is Num_Count:inst1|add~911
--operation mode is arithmetic

C1L7_carry_eqn = C1L01;
C1L7 = C1_count2[10] $ (!C1L7_carry_eqn);

--C1L8 is Num_Count:inst1|add~913
--operation mode is arithmetic

C1L8 = CARRY(C1_count2[10] & (!C1L01));


--C1L4 is Num_Count:inst1|LessThan~300
--operation mode is normal

C1L4 = !C1_count2[17] & !C1_count2[16];


--C1L5 is Num_Count:inst1|LessThan~301
--operation mode is normal

C1L5 = !C1_count2[10] & !C1_count2[9] & !C1_count2[8] # !C1_count2[11];


--C1L6 is Num_Count:inst1|LessThan~302
--operation mode is normal

C1L6 = C1L4 # C1L3 & C1L5 # !C1L441;


--C1L35 is Num_Count:inst1|always1~4
--operation mode is normal

C1L35 = C1L45 & C1L6 & !C1_count2[22] & !B1L41;


--C1L9 is Num_Count:inst1|add~916