top.fit.eqn

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

A1L77 = B1_Now_Floor[0] & !A1L76 & (B1_up # A1L17) # !B1_Now_Floor[0] & (B1_up);


--A1L87 is rtl~1790 at LC_X24_Y12_N1
--operation mode is normal

A1L87 = B1_Now_Floor[0] & (A1L77) # !B1_Now_Floor[0] & (A1L77 & !B1L22 # !A1L77 & (B1_down));


--A1L97 is rtl~1791 at LC_X24_Y12_N7
--operation mode is normal

A1L97 = B1_Now_Floor[0] & B1L02 & A1L27 # !B1_Now_Floor[0] & (A1L27 # B1L32);


--A1L08 is rtl~1792 at LC_X24_Y12_N3
--operation mode is normal

A1L08 = B1_Now_Floor[0] & (!A1L97 & !A1L87) # !B1_Now_Floor[0] & (B1L91 # !A1L97 & !A1L87);


--C1_count1[8] is Num_Count:inst1|count1[8] at LC_X21_Y9_N1
--operation mode is arithmetic

C1_count1[8]_carry_eqn = (!C1L19 & C1L39) # (C1L19 & C1L49);
C1_count1[8]_lut_out = C1_count1[8] $ (!C1_count1[8]_carry_eqn);
C1_count1[8] = DFFEAS(C1_count1[8]_lut_out, GLOBAL(clk0), VCC, , C1L031, , , C1L921, );

--C1L69 is Num_Count:inst1|count1[8]~690 at LC_X21_Y9_N1
--operation mode is arithmetic

C1L69_cout_0 = C1_count1[8] & (!C1L39);
C1L69 = CARRY(C1L69_cout_0);

--C1L79 is Num_Count:inst1|count1[8]~690COUT1_794 at LC_X21_Y9_N1
--operation mode is arithmetic

C1L79_cout_1 = C1_count1[8] & (!C1L49);
C1L79 = CARRY(C1L79_cout_1);


--C1_count1[11] is Num_Count:inst1|count1[11] at LC_X21_Y9_N4
--operation mode is arithmetic

C1_count1[11]_carry_eqn = (!C1L19 & C1L201) # (C1L19 & C1L301);
C1_count1[11]_lut_out = C1_count1[11] $ C1_count1[11]_carry_eqn;
C1_count1[11] = DFFEAS(C1_count1[11]_lut_out, GLOBAL(clk0), VCC, , C1L031, , , C1L921, );

--C1L501 is Num_Count:inst1|count1[11]~694 at LC_X21_Y9_N4
--operation mode is arithmetic

C1L501 = CARRY(!C1L301 # !C1_count1[11]);


--C1_count1[10] is Num_Count:inst1|count1[10] at LC_X21_Y9_N3
--operation mode is arithmetic

C1_count1[10]_carry_eqn = (!C1L19 & C1L99) # (C1L19 & C1L001);
C1_count1[10]_lut_out = C1_count1[10] $ !C1_count1[10]_carry_eqn;
C1_count1[10] = DFFEAS(C1_count1[10]_lut_out, GLOBAL(clk0), VCC, , C1L031, , , C1L921, );

--C1L201 is Num_Count:inst1|count1[10]~698 at LC_X21_Y9_N3
--operation mode is arithmetic

C1L201_cout_0 = C1_count1[10] & !C1L99;
C1L201 = CARRY(C1L201_cout_0);

--C1L301 is Num_Count:inst1|count1[10]~698COUT1_796 at LC_X21_Y9_N3
--operation mode is arithmetic

C1L301_cout_1 = C1_count1[10] & !C1L001;
C1L301 = CARRY(C1L301_cout_1);


--C1_count1[13] is Num_Count:inst1|count1[13] at LC_X21_Y9_N6
--operation mode is arithmetic

C1_count1[13]_carry_eqn = (!C1L501 & C1L701) # (C1L501 & C1L801);
C1_count1[13]_lut_out = C1_count1[13] $ (C1_count1[13]_carry_eqn);
C1_count1[13] = DFFEAS(C1_count1[13]_lut_out, GLOBAL(clk0), VCC, , C1L031, , , C1L921, );

--C1L011 is Num_Count:inst1|count1[13]~702 at LC_X21_Y9_N6
--operation mode is arithmetic

C1L011_cout_0 = !C1L701 # !C1_count1[13];
C1L011 = CARRY(C1L011_cout_0);

--C1L111 is Num_Count:inst1|count1[13]~702COUT1_798 at LC_X21_Y9_N6
--operation mode is arithmetic

C1L111_cout_1 = !C1L801 # !C1_count1[13];
C1L111 = CARRY(C1L111_cout_1);


--C1L661 is Num_Count:inst1|reduce_nor~340 at LC_X20_Y9_N2
--operation mode is normal

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


--C1_count1[16] is Num_Count:inst1|count1[16] at LC_X21_Y9_N9
--operation mode is arithmetic

C1_count1[16]_carry_eqn = (!C1L501 & C1L611) # (C1L501 & C1L711);
C1_count1[16]_lut_out = C1_count1[16] $ (!C1_count1[16]_carry_eqn);
C1_count1[16] = DFFEAS(C1_count1[16]_lut_out, GLOBAL(clk0), VCC, , C1L031, , , C1L921, );

--C1L911 is Num_Count:inst1|count1[16]~706 at LC_X21_Y9_N9
--operation mode is arithmetic

C1L911 = CARRY(C1_count1[16] & (!C1L711));


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

C1_count1[19]_carry_eqn = (!C1L911 & C1L421) # (C1L911 & C1L521);
C1_count1[19]_lut_out = C1_count1[19] $ (C1_count1[19]_carry_eqn);
C1_count1[19] = DFFEAS(C1_count1[19]_lut_out, GLOBAL(clk0), VCC, , C1L031, , , C1L921, );

--C1L721 is Num_Count:inst1|count1[19]~710 at LC_X21_Y8_N2
--operation mode is arithmetic

C1L721_cout_0 = !C1L421 # !C1_count1[19];
C1L721 = CARRY(C1L721_cout_0);

--C1L821 is Num_Count:inst1|count1[19]~710COUT1_803 at LC_X21_Y8_N2
--operation mode is arithmetic

C1L821_cout_1 = !C1L521 # !C1_count1[19];
C1L821 = CARRY(C1L821_cout_1);


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

C1_count1[22]_carry_eqn = C1L531;
C1_count1[22]_lut_out = C1_count1[22] $ !C1_count1[22]_carry_eqn;
C1_count1[22] = DFFEAS(C1_count1[22]_lut_out, GLOBAL(clk0), VCC, , C1L031, , , C1L921, );

--C1L731 is Num_Count:inst1|count1[22]~714 at LC_X21_Y8_N5
--operation mode is arithmetic

C1L731_cout_0 = C1_count1[22] & !C1L531;
C1L731 = CARRY(C1L731_cout_0);

--C1L831 is Num_Count:inst1|count1[22]~714COUT1_805 at LC_X21_Y8_N5
--operation mode is arithmetic

C1L831_cout_1 = C1_count1[22] & !C1L531;
C1L831 = CARRY(C1L831_cout_1);


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

C1_count1[23]_carry_eqn = (!C1L531 & C1L731) # (C1L531 & C1L831);
C1_count1[23]_lut_out = C1_count1[23]_carry_eqn $ C1_count1[23];
C1_count1[23] = DFFEAS(C1_count1[23]_lut_out, GLOBAL(clk0), VCC, , C1L031, , , C1L921, );


--C1L761 is Num_Count:inst1|reduce_nor~341 at LC_X21_Y8_N7
--operation mode is normal

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


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

C1_count1[0]_lut_out = !C1_count1[0];
C1_count1[0] = DFFEAS(C1_count1[0]_lut_out, GLOBAL(clk0), VCC, , C1L031, , , C1L921, );

--C1L47 is Num_Count:inst1|count1[0]~722 at LC_X21_Y10_N3
--operation mode is arithmetic

C1L47_cout_0 = C1_count1[0];
C1L47 = CARRY(C1L47_cout_0);

--C1L57 is Num_Count:inst1|count1[0]~722COUT1_788 at LC_X21_Y10_N3
--operation mode is arithmetic

C1L57_cout_1 = C1_count1[0];
C1L57 = CARRY(C1L57_cout_1);


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

C1_count1[1]_lut_out = C1_count1[1] $ C1L47;
C1_count1[1] = DFFEAS(C1_count1[1]_lut_out, GLOBAL(clk0), VCC, , C1L031, , , C1L921, );

--C1L77 is Num_Count:inst1|count1[1]~726 at LC_X21_Y10_N4
--operation mode is arithmetic

C1L77 = CARRY(!C1L57 # !C1_count1[1]);


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

C1_count1[2]_carry_eqn = C1L77;
C1_count1[2]_lut_out = C1_count1[2] $ !C1_count1[2]_carry_eqn;
C1_count1[2] = DFFEAS(C1_count1[2]_lut_out, GLOBAL(clk0), VCC, , C1L031, , , C1L921, );

--C1L97 is Num_Count:inst1|count1[2]~730 at LC_X21_Y10_N5
--operation mode is arithmetic

C1L97_cout_0 = C1_count1[2] & !C1L77;
C1L97 = CARRY(C1L97_cout_0);

--C1L08 is Num_Count:inst1|count1[2]~730COUT1_789 at LC_X21_Y10_N5
--operation mode is arithmetic

C1L08_cout_1 = C1_count1[2] & !C1L77;
C1L08 = CARRY(C1L08_cout_1);


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

C1_count1[3]_carry_eqn = (!C1L77 & C1L97) # (C1L77 & C1L08);
C1_count1[3]_lut_out = C1_count1[3] $ (C1_count1[3]_carry_eqn);
C1_count1[3] = DFFEAS(C1_count1[3]_lut_out, GLOBAL(clk0), VCC, , C1L031, , , C1L921, );

--C1L28 is Num_Count:inst1|count1[3]~734 at LC_X21_Y10_N6
--operation mode is arithmetic

C1L28_cout_0 = !C1L97 # !C1_count1[3];
C1L28 = CARRY(C1L28_cout_0);

--C1L38 is Num_Count:inst1|count1[3]~734COUT1_790 at LC_X21_Y10_N6
--operation mode is arithmetic

C1L38_cout_1 = !C1L08 # !C1_count1[3];
C1L38 = CARRY(C1L38_cout_1);


--C1L861 is Num_Count:inst1|reduce_nor~342 at LC_X21_Y10_N1
--operation mode is normal

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


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

C1_count1[4]_carry_eqn = (!C1L77 & C1L28) # (C1L77 & C1L38);
C1_count1[4]_lut_out = C1_count1[4] $ (!C1_count1[4]_carry_eqn);
C1_count1[4] = DFFEAS(C1_count1[4]_lut_out, GLOBAL(clk0), VCC, , C1L031, , , C1L921, );

--C1L58 is Num_Count:inst1|count1[4]~738 at LC_X21_Y10_N7
--operation mode is arithmetic

C1L58_cout_0 = C1_count1[4] & (!C1L28);
C1L58 = CARRY(C1L58_cout_0);

--C1L68 is Num_Count:inst1|count1[4]~738COUT1_791 at LC_X21_Y10_N7
--operation mode is arithmetic

C1L68_cout_1 = C1_count1[4] & (!C1L38);
C1L68 = CARRY(C1L68_cout_1);


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

C1_count1[5]_carry_eqn = (!C1L77 & C1L58) # (C1L77 & C1L68);
C1_count1[5]_lut_out = C1_count1[5] $ C1_count1[5]_carry_eqn;
C1_count1[5] = DFFEAS(C1_count1[5]_lut_out, GLOBAL(clk0), VCC, , C1L031, , , C1L921, );

--C1L88 is Num_Count:inst1|count1[5]~742 at LC_X21_Y10_N8
--operation mode is arithmetic

C1L88_cout_0 = !C1L58 # !C1_count1[5];
C1L88 = CARRY(C1L88_cout_0);

--C1L98 is Num_Count:inst1|count1[5]~742COUT1_792 at LC_X21_Y10_N8
--operation mode is arithmetic

C1L98_cout_1 = !C1L68 # !C1_count1[5];
C1L98 = CARRY(C1L98_cout_1);


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

C1_count1[6]_carry_eqn = (!C1L77 & C1L88) # (C1L77 & C1L98);
C1_count1[6]_lut_out = C1_count1[6] $ (!C1_count1[6]_carry_eqn);
C1_count1[6] = DFFEAS(C1_count1[6]_lut_out, GLOBAL(clk0), VCC, , C1L031, , , C1L921, );

--C1L19 is Num_Count:inst1|count1[6]~746 at LC_X21_Y10_N9
--operation mode is arithmetic

C1L19 = CARRY(C1_count1[6] & (!C1L98));


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

C1_count1[7]_carry_eqn = C1L19;
C1_count1[7]_lut_out = C1_count1[7] $ C1_count1[7]_carry_eqn;
C1_count1[7] = DFFEAS(C1_count1[7]_lut_out, GLOBAL(clk0), VCC, , C1L031, , , C1L921, );

--C1L39 is Num_Count:inst1|count1[7]~750 at LC_X21_Y9_N0
--operation mode is arithmetic

C1L39_cout_0 = !C1L19 # !C1_count1[7];
C1L39 = CARRY(C1L39_cout_0);

--C1L49 is Num_Count:inst1|count1[7]~750COUT1_793 at LC_X21_Y9_N0
--operation mode is arithmetic

C1L49_cout_1 = !C1L19 # !C1_count1[7];
C1L49 = CARRY(C1L49_cout_1);


--C1L961 is Num_Count:inst1|reduce_nor~343 at LC_X22_Y9_N1
--operation mode is normal

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


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

C1_count1[9]_carry_eqn = (!C1L19 & C1L69) # (C1L19 & C1L79);
C1_count1[9]_lut_out = C1_count1[9] $ (C1_count1[9]_carry_eqn);
C1_count1[9] = DFFEAS(C1_count1[9]_lut_out, GLOBAL(clk0), VCC, , C1L031, , , C1L921, );

--C1L99 is Num_Count:inst1|count1[9]~754 at LC_X21_Y9_N2
--operation mode is arithmetic

C1L99_cout_0 = !C1L69 # !C1_count1[9];
C1L99 = CARRY(C1L99_cout_0);

--C1L001 is Num_Count:inst1|count1[9]~754COUT1_795 at LC_X21_Y9_N2
--operation mode is arithmetic

C1L001_cout_1 = !C1L79 # !C1_count1[9];
C1L001 = CARRY(C1L001_cout_1);


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

C1_count1[12]_carry_eqn = C1L501;
C1_count1[12]_lut_out = C1_count1[12] $ !C1_count1[12]_carry_eqn;
C1_count1[12] = DFFEAS(C1_count1[12]_lut_out, GLOBAL(clk0), VCC, , C1L031, , , C1L921, );

--C1L701 is Num_Count:inst1|count1[12]~758 at LC_X21_Y9_N5
--operation mode is arithmetic

C1L701_cout_0 = C1_count1[12] & !C1L501;
C1L701 = CARRY(C1L701_cout_0);

--C1L801 is Num_Count:inst1|count1[12]~758COUT1_797 at LC_X21_Y9_N5
--operation mode is arithmetic

C1L801_cout_1 = C1_count1[12] & !C1L501;
C1L801 = CARRY(C1L801_cout_1);


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

C1_count1[14]_carry_eqn = (!C1L501 & C1L011) # (C1L501 & C1L111);
C1_count1[14]_lut_out = C1_count1[14] $ (!C1_count1[14]_carry_eqn);
C1_count1[14] = DFFEAS(C1_count1[14]_lut_out, GLOBAL(clk0), VCC, , C1L031, , , C1L921, );

--C1L311 is Num_Count:inst1|count1[14]~762 at LC_X21_Y9_N7
--operation mode is arithmetic

C1L311_cout_0 = C1_count1[14] & (!C1L011);
C1L311 = CARRY(C1L311_cout_0);

--C1L411 is Num_Count:inst1|count1[14]~762COUT1_799 at LC_X21_Y9_N7
--operation mode is arithmetic

C1L411_cout_1 = C1_count1[14] & (!C1L111);
C1L411 = CARRY(C1L411_cout_1);


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

C1_count1[15]_carry_eqn = (!C1L501 & C1L311) # (C1L501 & C1L411);
C1_count1[15]_lut_out = C1_count1[15] $ C1_count1[15]_carry_eqn;
C1_count1[15] = DFFEAS(C1_count1[15]_lut_out, GLOBAL(clk0), VCC, , C1L031, , , C1L921, );

--C1L611 is Num_Count:inst1|count1[15]~766 at LC_X21_Y9_N8
--operation mode is arithmetic

C1L611_cout_0 = !C1L311 # !C1_count1[15];
C1L611 = CARRY(C1L611_cout_0);

--C1L711 is Num_Count:inst1|count1[15]~766COUT1_800 at LC_X21_Y9_N8
--operation mode is arithmetic

C1L711_cout_1 = !C1L411 # !C1_count1[15];
C1L711 = CARRY(C1L711_cout_1);


--C1L071 is Num_Count:inst1|reduce_nor~344 at LC_X22_Y9_N5
--operation mode is normal

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


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

C1_count1[18]_carry_eqn = (!C1L911 & C1L121) # (C1L911 & C1L221);
C1_count1[18]_lut_out = C1_count1[18] $ (!C1_count1[18]_carry_eqn);
C1_count1[18] = DFFEAS(C1_count1[18]_lut_out, GLOBAL(clk0), VCC, , C1L031, , , C1L921, );

--C1L421 is Num_Count:inst1|count1[18]~770 at LC_X21_Y8_N1
--operation mode is arithmetic

C1L421_cout_0 = C1_count1[18] & (!C1L121);
C1L421 = CARRY(C1L421_cout_0);

--C1L521 is Num_Count:inst1|count1[18]~770COUT1_802 at LC_X21_Y8_N1
--operation mode is arithmetic

C1L521_cout_1 = C1_count1[18] & (!C1L221);
C1L521 = CARRY(C1L521_cout_1);


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

C1_count1[20]_carry_eqn = (!C1L911 & C1L721) # (C1L911 & C1L821);
C1_count1[20]_lut_out = C1_count1[20] $ !C1_count1[20]_carry_eqn;
C1_count1[20] = DFFEAS(C1_count1[20]_lut_out, GLOBAL(clk0), VCC, , C1L031, , , C1L921, );

--C1L231 is Num_Count:inst1|count1[20]~774 at LC_X21_Y8_N3
--operation mode is arithmetic

C1L231_cout_0 = C1_count1[20] & !C1L721;
C1L231 = CARRY(C1L231_cout_0);

--C1L331 is Num_Count:inst1|count1[20]~774COUT1_804 at LC_X21_Y8_N3
--operation mode is arithmetic

C1L331_cout_1 = C1_count1[20] & !C1L821;
C1L331 = CARRY(C1L331_cout_1);


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

C1_count1[21]_carry_eqn = (!C1L911 & C1L231) # (C1L911 & C1L331);
C1_count1[21]_lut_out = C1_count1[21] $ C1_count1[21]_carry_eqn;
C1_count1[21] = DFFEAS(C1_count1[21]_lut_out, GLOBAL(clk0), VCC, , C1L031, , , C1L921, );

--C1L531 is Num_Count:inst1|count1[21]~778 at LC_X21_Y8_N4
--operation mode is arithmetic

C1L531 = CARRY(!C1L331 # !C1_count1[21]);


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

C1_count1[17]_carry_eqn = C1L911;
C1_count1[17]_lut_out = C1_count1[17] $ C1_count1[17]_carry_eqn;
C1_count1[17] = DFFEAS(C1_count1[17]_lut_out, GLOBAL(clk0), VCC, , C1L031, , , C1L921, );

--C1L121 is Num_Count:inst1|count1[17]~782 at LC_X21_Y8_N0
--operation mode is arithmetic

C1L121_cout_0 = !C1L911 # !C1_count1[17];
C1L121 = CARRY(C1L121_cout_0);

--C1L221 is Num_Count:inst1|count1[17]~782COUT1_801 at LC_X21_Y8_N0
--operation mode is arithmetic

C1L221_cout_1 = !C1L911 # !C1_count1[17];
C1L221 = CARRY(C1L221_cout_1);


--C1L171 is Num_Count:inst1|reduce_nor~345 at LC_X22_Y9_N8
--operation mode is normal

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


--C1L271 is Num_Count:inst1|reduce_nor~346 at LC_X22_Y9_N2
--operation mode is normal

C1L271 = C1L961 & C1L171 & C1L861 & C1L071;


--C1L561 is Num_Count:inst1|reduce_nor~1 at LC_X22_Y9_N6
--operation mode is normal

C1L561 = C1L761 # C1L661 # !C1L271;


--C1L371 is Num_Count:inst1|reduce_nor~347 at LC_X20_Y9_N4
--operation mode is normal

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


--C1L471 is Num_Count:inst1|reduce_nor~348 at LC_X21_Y8_N9
--operation mode is normal

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


--C1L461 is Num_Count:inst1|reduce_nor~0 at LC_X22_Y9_N3
--operation mode is normal

C1L461 = C1L371 # C1L471 # !C1L271;


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

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


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

A1L28 = B1_up # !C1_time8 & !B1_down;


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

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