top.fit.eqn

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

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

A1L48 = B1_down # !B1_up & !C1_time8;


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

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


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

A1L68 = B1_Start & (!C1_time8);


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

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


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

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


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

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


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

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


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

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


--B1_led1 is Lift_comtrol_main:inst|led1 at LC_X25_Y11_N2
--operation mode is normal

B1_led1_qfbk = B1_led1;
B1_led1_lut_out = B1_Now_Floor[2] & B1_led1_qfbk & (B1_Now_Floor[1] # B1_Now_Floor[0]) # !B1_Now_Floor[2] & !B1_Now_Floor[1] & (B1_led1_qfbk # B1_Now_Floor[0]);
B1_led1 = DFFEAS(B1_led1_lut_out, GLOBAL(clk0), VCC, , , VCC, , , Reset);


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

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


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

C1_count2[10]_lut_out = !Reset & C1L7 & C1L07;
C1_count2[10] = DFFEAS(C1_count2[10]_lut_out, GLOBAL(clk0), VCC, , C1L031, , , , );


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

C1_count2[9]_lut_out = C1L07 & !Reset & (C1L9);
C1_count2[9] = DFFEAS(C1_count2[9]_lut_out, GLOBAL(clk0), VCC, , C1L031, , , , );


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

C1_count2[16]_lut_out = !Reset & (C1L07 & C1L21);
C1_count2[16] = DFFEAS(C1_count2[16]_lut_out, GLOBAL(clk0), VCC, , C1L031, , , , );


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

C1_count2[11]_lut_out = C1L07 & (C1L51 & !Reset);
C1_count2[11] = DFFEAS(C1_count2[11]_lut_out, GLOBAL(clk0), VCC, , C1L031, , , , );


--C1L571 is Num_Count:inst1|reduce_nor~349 at LC_X22_Y6_N8
--operation mode is normal

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


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

C1_count2[22]_lut_out = C1L07 & (C1L81) # !C1L07 & !C1L17 & C1_count2[22];
C1_count2[22] = DFFEAS(C1_count2[22]_lut_out, GLOBAL(clk0), VCC, , , , , Reset, );


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

C1_count2[7]_lut_out = !Reset & C1L91 & C1L07;
C1_count2[7] = DFFEAS(C1_count2[7]_lut_out, GLOBAL(clk0), VCC, , C1L031, , , , );


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

C1_count2[6]_lut_out = !Reset & C1L22 & C1L07;
C1_count2[6] = DFFEAS(C1_count2[6]_lut_out, GLOBAL(clk0), VCC, , C1L031, , , , );


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

C1_count2[5]_lut_out = !Reset & (C1L07 & C1L52);
C1_count2[5] = DFFEAS(C1_count2[5]_lut_out, GLOBAL(clk0), VCC, , C1L031, , , , );


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

C1_count2[8]_lut_out = C1L07 & (C1L72 & !Reset);
C1_count2[8] = DFFEAS(C1_count2[8]_lut_out, GLOBAL(clk0), VCC, , C1L031, , , , );


--C1L671 is Num_Count:inst1|reduce_nor~350 at LC_X22_Y6_N5
--operation mode is normal

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


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

C1_count2[4]_lut_out = C1L07 & (C1L03 & !Reset);
C1_count2[4] = DFFEAS(C1_count2[4]_lut_out, GLOBAL(clk0), VCC, , C1L031, , , , );


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

C1_count2[3]_lut_out = C1L07 & !Reset & (C1L33);
C1_count2[3] = DFFEAS(C1_count2[3]_lut_out, GLOBAL(clk0), VCC, , C1L031, , , , );


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

C1_count2[2]_lut_out = C1L07 & (C1L63 & !Reset);
C1_count2[2] = DFFEAS(C1_count2[2]_lut_out, GLOBAL(clk0), VCC, , C1L031, , , , );


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

C1_count2[1]_lut_out = C1L07 & !Reset & (C1L93);
C1_count2[1] = DFFEAS(C1_count2[1]_lut_out, GLOBAL(clk0), VCC, , C1L031, , , , );


--C1L771 is Num_Count:inst1|reduce_nor~351 at LC_X22_Y6_N2
--operation mode is normal

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


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

C1_count2[0]_lut_out = C1L07 & (C1L24 & !Reset);
C1_count2[0] = DFFEAS(C1_count2[0]_lut_out, GLOBAL(clk0), VCC, , C1L031, , , , );


--C1L871 is Num_Count:inst1|reduce_nor~352 at LC_X22_Y6_N3
--operation mode is normal

C1L871 = C1L771 # C1L671 # C1_count2[22] # C1_count2[0];


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

C1_count2[17]_lut_out = !Reset & C1L07 & C1L44;
C1_count2[17] = DFFEAS(C1_count2[17]_lut_out, GLOBAL(clk0), VCC, , C1L031, , , , );


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

C1_count2[15]_lut_out = C1L74 & !Reset & C1L07;
C1_count2[15] = DFFEAS(C1_count2[15]_lut_out, GLOBAL(clk0), VCC, , C1L031, , , , );


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

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


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

C1_count2[12]_lut_out = !Reset & C1L07 & C1L94;
C1_count2[12] = DFFEAS(C1_count2[12]_lut_out, GLOBAL(clk0), VCC, , C1L031, , , , );


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

C1_count2[14]_lut_out = C1L07 & !Reset & (C1L25);
C1_count2[14] = DFFEAS(C1_count2[14]_lut_out, GLOBAL(clk0), VCC, , C1L031, , , , );


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

C1_count2[13]_lut_out = !Reset & C1L07 & C1L55;
C1_count2[13] = DFFEAS(C1_count2[13]_lut_out, GLOBAL(clk0), VCC, , C1L031, , , , );


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

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


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

C1_count2[21]_lut_out = !Reset & C1L07 & C1L85;
C1_count2[21] = DFFEAS(C1_count2[21]_lut_out, GLOBAL(clk0), VCC, , C1L031, , , , );


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

C1_count2[20]_lut_out = C1L07 & !Reset & (C1L16);
C1_count2[20] = DFFEAS(C1_count2[20]_lut_out, GLOBAL(clk0), VCC, , C1L031, , , , );


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

C1_count2[19]_lut_out = !Reset & C1L07 & (C1L36);
C1_count2[19] = DFFEAS(C1_count2[19]_lut_out, GLOBAL(clk0), VCC, , C1L031, , , , );


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

C1_count2[18]_lut_out = !Reset & C1L07 & (C1L66);
C1_count2[18] = DFFEAS(C1_count2[18]_lut_out, GLOBAL(clk0), VCC, , C1L031, , , , );


--C1L971 is Num_Count:inst1|reduce_nor~353 at LC_X22_Y5_N5
--operation mode is normal

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


--C1L921 is Num_Count:inst1|count1[19]~785 at LC_X21_Y10_N2
--operation mode is normal

C1L921 = Reset # !B1_Start # !C1L17;


--C1L031 is Num_Count:inst1|count1[19]~786 at LC_X22_Y8_N7
--operation mode is normal

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


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

C1L7_carry_eqn = (!C1L62 & C1L01) # (C1L62 & C1L11);
C1L7 = C1_count2[10] $ !C1L7_carry_eqn;

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

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


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

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


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

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


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

C1L6 = C1L4 # C1L5 & C1L3 # !C1L971;


--C1L07 is Num_Count:inst1|always1~4 at LC_X21_Y4_N7
--operation mode is normal

C1L07 = C1L17 & !C1_count2[22] & C1L6 & !B1L41;


--C1L9 is Num_Count:inst1|add~916 at LC_X21_Y5_N3
--operation mode is arithmetic

C1L9_carry_eqn = (!C1L62 & C1L82) # (C1L62 & C1L92);
C1L9 = C1_count2[9] $ C1L9_carry_eqn;

--C1L01 is Num_Count:inst1|add~918 at LC_X21_Y5_N3
--operation mode is arithmetic

C1L01_cout_0 = !C1L82 # !C1_count2[9];
C1L01 = CARRY(C1L01_cout_0);

--C1L11 is Num_Count:inst1|add~918COUT1_1034 at LC_X21_Y5_N3
--operation mode is arithmetic

C1L11_cout_1 = !C1L92 # !C1_count2[9];
C1L11 = CARRY(C1L11_cout_1);


--C1L21 is Num_Count:inst1|add~921 at LC_X21_Y4_N0
--operation mode is arithmetic

C1L21_carry_eqn = C1L84;
C1L21 = C1_count2[16] $ !C1L21_carry_eqn;

--C1L31 is Num_Count:inst1|add~923 at LC_X21_Y4_N0
--operation mode is arithmetic

C1L31_cout_0 = C1_count2[16] & !C1L84;
C1L31 = CARRY(C1L31_cout_0);

--C1L41 is Num_Count:inst1|add~923COUT1_1039 at LC_X21_Y4_N0
--operation mode is arithmetic

C1L41_cout_1 = C1_count2[16] & !C1L84;
C1L41 = CARRY(C1L41_cout_1);


--C1L51 is Num_Count:inst1|add~926 at LC_X21_Y5_N5
--operation mode is arithmetic

C1L51_carry_eqn = C1L8;
C1L51 = C1_count2[11] $ (C1L51_carry_eqn);

--C1L61 is Num_Count:inst1|add~928 at LC_X21_Y5_N5
--operation mode is arithmetic

C1L61_cout_0 = !C1L8 # !C1_count2[11];
C1L61 = CARRY(C1L61_cout_0);

--C1L71 is Num_Count:inst1|add~928COUT1_1035 at LC_X21_Y5_N5
--operation mode is arithmetic

C1L71_cout_1 = !C1L8 # !C1_count2[11];
C1L71 = CARRY(C1L71_cout_1);


--C1L81 is Num_Count:inst1|add~931 at LC_X21_Y4_N6
--operation mode is normal

C1L81_carry_eqn = (!C1L26 & C1L95) # (C1L26 & C1L06);
C1L81 = C1_count2[22] $ !C1L81_carry_eqn;


--C1L91 is Num_Count:inst1|add~936 at LC_X21_Y5_N1
--operation mode is arithmetic

C1L91_carry_eqn = (!C1L62 & C1L32) # (C1L62 & C1L42);
C1L91 = C1_count2[7] $ (C1L91_carry_eqn);

--C1L02 is Num_Count:inst1|add~938 at LC_X21_Y5_N1
--operation mode is arithmetic

C1L02_cout_0 = !C1L32 # !C1_count2[7];
C1L02 = CARRY(C1L02_cout_0);

--C1L12 is Num_Count:inst1|add~938COUT1_1032 at LC_X21_Y5_N1
--operation mode is arithmetic

C1L12_cout_1 = !C1L42 # !C1_count2[7];
C1L12 = CARRY(C1L12_cout_1);


--C1L22 is Num_Count:inst1|add~941 at LC_X21_Y5_N0
--operation mode is arithmetic

C1L22_carry_eqn = C1L62;
C1L22 = C1_count2[6] $ (!C1L22_carry_eqn);

--C1L32 is Num_Count:inst1|add~943 at LC_X21_Y5_N0
--operation mode is arithmetic

C1L32_cout_0 = C1_count2[6] & (!C1L62);
C1L32 = CARRY(C1L32_cout_0);

--C1L42 is Num_Count:inst1|add~943COUT1_1031 at LC_X21_Y5_N0
--operation mode is arithmetic

C1L42_cout_1 = C1_count2[6] & (!C1L62);
C1L42 = CARRY(C1L42_cout_1);


--C1L52 is Num_Count:inst1|add~946 at LC_X21_Y6_N9
--operation mode is arithmetic

C1L52_carry_eqn = (!C1L34 & C1L13) # (C1L34 & C1L23);
C1L52 = C1_count2[5] $ (C1L52_carry_eqn);

--C1L62 is Num_Count:inst1|add~948 at LC_X21_Y6_N9
--operation mode is arithmetic

C1L62 = CARRY(!C1L23 # !C1_count2[5]);


--C1L72 is Num_Count:inst1|add~951 at LC_X21_Y5_N2
--operation mode is arithmetic

C1L72_carry_eqn = (!C1L62 & C1L02) # (C1L62 & C1L12);
C1L72 = C1_count2[8] $ (!C1L72_carry_eqn);

--C1L82 is Num_Count:inst1|add~953 at LC_X21_Y5_N2
--operation mode is arithmetic

C1L82_cout_0 = C1_count2[8] & (!C1L02);
C1L82 = CARRY(C1L82_cout_0);

--C1L92 is Num_Count:inst1|add~953COUT1_1033 at LC_X21_Y5_N2
--operation mode is arithmetic

C1L92_cout_1 = C1_count2[8] & (!C1L12);
C1L92 = CARRY(C1L92_cout_1);


--C1L03 is Num_Count:inst1|add~956 at LC_X21_Y6_N8
--operation mode is arithmetic

C1L03_carry_eqn = (!C1L34 & C1L43) # (C1L34 & C1L53);
C1L03 = C1_count2[4] $ !C1L03_carry_eqn;

--C1L13 is Num_Count:inst1|add~958 at LC_X21_Y6_N8
--operation mode is arithmetic

C1L13_cout_0 = C1_count2[4] & !C1L43;
C1L13 = CARRY(C1L13_cout_0);

--C1L23 is Num_Count:inst1|add~958COUT1_1030 at LC_X21_Y6_N8
--operation mode is arithmetic

C1L23_cout_1 = C1_count2[4] & !C1L53;
C1L23 = CARRY(C1L23_cout_1);


--C1L33 is Num_Count:inst1|add~961 at LC_X21_Y6_N7
--operation mode is arithmetic

C1L33_carry_eqn = (!C1L34 & C1L73) # (C1L34 & C1L83);
C1L33 = C1_count2[3] $ C1L33_carry_eqn;

--C1L43 is Num_Count:inst1|add~963 at LC_X21_Y6_N7
--operation mode is arithmetic

C1L43_cout_0 = !C1L73 # !C1_count2[3];
C1L43 = CARRY(C1L43_cout_0);

--C1L53 is Num_Count:inst1|add~963COUT1_1029 at LC_X21_Y6_N7
--operation mode is arithmetic

C1L53_cout_1 = !C1L83 # !C1_count2[3];
C1L53 = CARRY(C1L53_cout_1);


--C1L63 is Num_Count:inst1|add~966 at LC_X21_Y6_N6
--operation mode is arithmetic

C1L63_carry_eqn = (!C1L34 & C1L04) # (C1L34 & C1L14);
C1L63 = C1_count2[2] $ (!C1L63_carry_eqn);

--C1L73 is Num_Count:inst1|add~968 at LC_X21_Y6_N6
--operation mode is arithmetic

C1L73_cout_0 = C1_count2[2] & (!C1L04);
C1L73 = CARRY(C1L73_cout_0);

--C1L83 is Num_Count:inst1|add~968COUT1_1028 at LC_X21_Y6_N6
--operation mode is arithmetic

C1L83_cout_1 = C1_count2[2] & (!C1L14);
C1L83 = CARRY(C1L83_cout_1);


--C1L93 is Num_Count:inst1|add~971 at LC_X21_Y6_N5
--operation mode is arithmetic

C1L93_carry_eqn = C1L34;
C1L93 = C1_count2[1] $ C1L93_carry_eqn;

--C1L04 is Num_Count:inst1|add~973 at LC_X21_Y6_N5
--operation mode is arithmetic

C1L04_cout_0 = !C1L34 # !C1_count2[1];
C1L04 = CARRY(C1L04_cout_0);

--C1L14 is Num_Count:inst1|add~973COUT1_1027 at LC_X21_Y6_N5
--operation mode is arithmetic

C1L14_cout_1 = !C1L34 # !C1_count2[1];
C1L14 = CARRY(C1L14_cout_1);


--C1L24 is Num_Count:inst1|add~976 at LC_X21_Y6_N4
--operation mode is arithmetic

C1L24 = !C1_count2[0];

--C1L34 is Num_Count:inst1|add~978 at LC_X21_Y6_N4
--operation mode is arithmetic

C1L34 = CARRY(C1_count2[0]);