top.fit.eqn

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

--C1L44 is Num_Count:inst1|add~981 at LC_X21_Y4_N1
--operation mode is arithmetic

C1L44_carry_eqn = (!C1L84 & C1L31) # (C1L84 & C1L41);
C1L44 = C1_count2[17] $ (C1L44_carry_eqn);

--C1L54 is Num_Count:inst1|add~983 at LC_X21_Y4_N1
--operation mode is arithmetic

C1L54_cout_0 = !C1L31 # !C1_count2[17];
C1L54 = CARRY(C1L54_cout_0);

--C1L64 is Num_Count:inst1|add~983COUT1_1040 at LC_X21_Y4_N1
--operation mode is arithmetic

C1L64_cout_1 = !C1L41 # !C1_count2[17];
C1L64 = CARRY(C1L64_cout_1);


--C1L74 is Num_Count:inst1|add~986 at LC_X21_Y5_N9
--operation mode is arithmetic

C1L74_carry_eqn = (!C1L8 & C1L35) # (C1L8 & C1L45);
C1L74 = C1_count2[15] $ (C1L74_carry_eqn);

--C1L84 is Num_Count:inst1|add~988 at LC_X21_Y5_N9
--operation mode is arithmetic

C1L84 = CARRY(!C1L45 # !C1_count2[15]);


--C1L94 is Num_Count:inst1|add~991 at LC_X21_Y5_N6
--operation mode is arithmetic

C1L94_carry_eqn = (!C1L8 & C1L61) # (C1L8 & C1L71);
C1L94 = C1_count2[12] $ (!C1L94_carry_eqn);

--C1L05 is Num_Count:inst1|add~993 at LC_X21_Y5_N6
--operation mode is arithmetic

C1L05_cout_0 = C1_count2[12] & (!C1L61);
C1L05 = CARRY(C1L05_cout_0);

--C1L15 is Num_Count:inst1|add~993COUT1_1036 at LC_X21_Y5_N6
--operation mode is arithmetic

C1L15_cout_1 = C1_count2[12] & (!C1L71);
C1L15 = CARRY(C1L15_cout_1);


--C1L25 is Num_Count:inst1|add~996 at LC_X21_Y5_N8
--operation mode is arithmetic

C1L25_carry_eqn = (!C1L8 & C1L65) # (C1L8 & C1L75);
C1L25 = C1_count2[14] $ !C1L25_carry_eqn;

--C1L35 is Num_Count:inst1|add~998 at LC_X21_Y5_N8
--operation mode is arithmetic

C1L35_cout_0 = C1_count2[14] & !C1L65;
C1L35 = CARRY(C1L35_cout_0);

--C1L45 is Num_Count:inst1|add~998COUT1_1038 at LC_X21_Y5_N8
--operation mode is arithmetic

C1L45_cout_1 = C1_count2[14] & !C1L75;
C1L45 = CARRY(C1L45_cout_1);


--C1L55 is Num_Count:inst1|add~1001 at LC_X21_Y5_N7
--operation mode is arithmetic

C1L55_carry_eqn = (!C1L8 & C1L05) # (C1L8 & C1L15);
C1L55 = C1_count2[13] $ C1L55_carry_eqn;

--C1L65 is Num_Count:inst1|add~1003 at LC_X21_Y5_N7
--operation mode is arithmetic

C1L65_cout_0 = !C1L05 # !C1_count2[13];
C1L65 = CARRY(C1L65_cout_0);

--C1L75 is Num_Count:inst1|add~1003COUT1_1037 at LC_X21_Y5_N7
--operation mode is arithmetic

C1L75_cout_1 = !C1L15 # !C1_count2[13];
C1L75 = CARRY(C1L75_cout_1);


--C1L85 is Num_Count:inst1|add~1006 at LC_X21_Y4_N5
--operation mode is arithmetic

C1L85_carry_eqn = C1L26;
C1L85 = C1_count2[21] $ (C1L85_carry_eqn);

--C1L95 is Num_Count:inst1|add~1008 at LC_X21_Y4_N5
--operation mode is arithmetic

C1L95_cout_0 = !C1L26 # !C1_count2[21];
C1L95 = CARRY(C1L95_cout_0);

--C1L06 is Num_Count:inst1|add~1008COUT1_1043 at LC_X21_Y4_N5
--operation mode is arithmetic

C1L06_cout_1 = !C1L26 # !C1_count2[21];
C1L06 = CARRY(C1L06_cout_1);


--C1L16 is Num_Count:inst1|add~1011 at LC_X21_Y4_N4
--operation mode is arithmetic

C1L16_carry_eqn = (!C1L84 & C1L46) # (C1L84 & C1L56);
C1L16 = C1_count2[20] $ (!C1L16_carry_eqn);

--C1L26 is Num_Count:inst1|add~1013 at LC_X21_Y4_N4
--operation mode is arithmetic

C1L26 = CARRY(C1_count2[20] & (!C1L56));


--C1L36 is Num_Count:inst1|add~1016 at LC_X21_Y4_N3
--operation mode is arithmetic

C1L36_carry_eqn = (!C1L84 & C1L76) # (C1L84 & C1L86);
C1L36 = C1_count2[19] $ (C1L36_carry_eqn);

--C1L46 is Num_Count:inst1|add~1018 at LC_X21_Y4_N3
--operation mode is arithmetic

C1L46_cout_0 = !C1L76 # !C1_count2[19];
C1L46 = CARRY(C1L46_cout_0);

--C1L56 is Num_Count:inst1|add~1018COUT1_1042 at LC_X21_Y4_N3
--operation mode is arithmetic

C1L56_cout_1 = !C1L86 # !C1_count2[19];
C1L56 = CARRY(C1L56_cout_1);


--C1L66 is Num_Count:inst1|add~1021 at LC_X21_Y4_N2
--operation mode is arithmetic

C1L66_carry_eqn = (!C1L84 & C1L54) # (C1L84 & C1L64);
C1L66 = C1_count2[18] $ (!C1L66_carry_eqn);

--C1L76 is Num_Count:inst1|add~1023 at LC_X21_Y4_N2
--operation mode is arithmetic

C1L76_cout_0 = C1_count2[18] & (!C1L54);
C1L76 = CARRY(C1L76_cout_0);

--C1L86 is Num_Count:inst1|add~1023COUT1_1041 at LC_X21_Y4_N2
--operation mode is arithmetic

C1L86_cout_1 = C1_count2[18] & (!C1L64);
C1L86 = CARRY(C1L86_cout_1);


--~GND is ~GND at LC_X25_Y10_N5
--operation mode is normal

~GND = GND;


--overweight is overweight at PIN_169
--operation mode is input

overweight = INPUT();


--clk0 is clk0 at PIN_28
--operation mode is input

clk0 = INPUT();


--In_num1 is In_num1 at PIN_139
--operation mode is input

In_num1 = INPUT();


--Reset is Reset at PIN_168
--operation mode is input

Reset = INPUT();


--In_num2 is In_num2 at PIN_138
--operation mode is input

In_num2 = INPUT();


--In_num3 is In_num3 at PIN_137
--operation mode is input

In_num3 = INPUT();


--In_num4 is In_num4 at PIN_136
--operation mode is input

In_num4 = INPUT();


--Out_up1 is Out_up1 at PIN_135
--operation mode is input

Out_up1 = INPUT();


--Out_up2 is Out_up2 at PIN_134
--operation mode is input

Out_up2 = INPUT();


--Out_up3 is Out_up3 at PIN_132
--operation mode is input

Out_up3 = INPUT();


--Out_down2 is Out_down2 at PIN_133
--operation mode is input

Out_down2 = INPUT();


--Out_down3 is Out_down3 at PIN_166
--operation mode is input

Out_down3 = INPUT();


--Out_down4 is Out_down4 at PIN_167
--operation mode is input

Out_down4 = INPUT();


--Lock is Lock at PIN_170
--operation mode is input

Lock = INPUT();


--Alarm is Alarm at PIN_173
--operation mode is input

Alarm = INPUT();


--overweighted is overweighted at PIN_214
--operation mode is output

overweighted = OUTPUT(B1_overweighted);


--num1 is num1 at PIN_233
--operation mode is output

num1 = OUTPUT(B1_num1);


--num2 is num2 at PIN_228
--operation mode is output

num2 = OUTPUT(B1_num2);


--num3 is num3 at PIN_227
--operation mode is output

num3 = OUTPUT(B1_num3);


--num4 is num4 at PIN_226
--operation mode is output

num4 = OUTPUT(B1_num4);


--up1 is up1 at PIN_221
--operation mode is output

up1 = OUTPUT(B1_up1);


--up2 is up2 at PIN_220
--operation mode is output

up2 = OUTPUT(B1_up2);


--up3 is up3 at PIN_219
--operation mode is output

up3 = OUTPUT(B1_up3);


--down2 is down2 at PIN_204
--operation mode is output

down2 = OUTPUT(B1_down2);


--down3 is down3 at PIN_202
--operation mode is output

down3 = OUTPUT(B1_down3);


--down4 is down4 at PIN_200
--operation mode is output

down4 = OUTPUT(B1_down4);


--openled is openled at PIN_216
--operation mode is output

openled = OUTPUT(B1_openled);


--upled is upled at PIN_208
--operation mode is output

upled = OUTPUT(B1_upled);


--downled is downled at PIN_206
--operation mode is output

downled = OUTPUT(B1_downled);


--dp1[7] is dp1[7] at PIN_108
--operation mode is output

dp1[7] = OUTPUT(VCC);


--dp1[6] is dp1[6] at PIN_113
--operation mode is output

dp1[6] = OUTPUT(D1_dp1[6]);


--dp1[5] is dp1[5] at PIN_114
--operation mode is output

dp1[5] = OUTPUT(D1_dp1[5]);


--dp1[4] is dp1[4] at PIN_115
--operation mode is output

dp1[4] = OUTPUT(D1_dp1[4]);


--dp1[3] is dp1[3] at PIN_116
--operation mode is output

dp1[3] = OUTPUT(D1_dp1[3]);


--dp1[2] is dp1[2] at PIN_117
--operation mode is output

dp1[2] = OUTPUT(D1_dp1[2]);


--dp1[1] is dp1[1] at PIN_118
--operation mode is output

dp1[1] = OUTPUT(D1_dp1[1]);


--dp1[0] is dp1[0] at PIN_119
--operation mode is output

dp1[0] = OUTPUT(D1_dp1[3]);


--dp2[7] is dp2[7] at PIN_100
--operation mode is output

dp2[7] = OUTPUT(VCC);


--dp2[6] is dp2[6] at PIN_101
--operation mode is output

dp2[6] = OUTPUT(VCC);


--dp2[5] is dp2[5] at PIN_102
--operation mode is output

dp2[5] = OUTPUT(VCC);


--dp2[4] is dp2[4] at PIN_103
--operation mode is output

dp2[4] = OUTPUT(VCC);


--dp2[3] is dp2[3] at PIN_104
--operation mode is output

dp2[3] = OUTPUT(VCC);


--dp2[2] is dp2[2] at PIN_105
--operation mode is output

dp2[2] = OUTPUT(VCC);


--dp2[1] is dp2[1] at PIN_106
--operation mode is output

dp2[1] = OUTPUT(VCC);


--dp2[0] is dp2[0] at PIN_107
--operation mode is output

dp2[0] = OUTPUT(VCC);


--dp3[7] is dp3[7] at PIN_88
--operation mode is output

dp3[7] = OUTPUT(VCC);


--dp3[6] is dp3[6] at PIN_93
--operation mode is output

dp3[6] = OUTPUT(VCC);


--dp3[5] is dp3[5] at PIN_94
--operation mode is output

dp3[5] = OUTPUT(VCC);


--dp3[4] is dp3[4] at PIN_95
--operation mode is output

dp3[4] = OUTPUT(VCC);


--dp3[3] is dp3[3] at PIN_96
--operation mode is output

dp3[3] = OUTPUT(VCC);


--dp3[2] is dp3[2] at PIN_97
--operation mode is output

dp3[2] = OUTPUT(VCC);


--dp3[1] is dp3[1] at PIN_98
--operation mode is output

dp3[1] = OUTPUT(VCC);


--dp3[0] is dp3[0] at PIN_99
--operation mode is output

dp3[0] = OUTPUT(VCC);


--dp4[7] is dp4[7] at PIN_80
--operation mode is output

dp4[7] = OUTPUT(VCC);


--dp4[6] is dp4[6] at PIN_81
--operation mode is output

dp4[6] = OUTPUT(VCC);


--dp4[5] is dp4[5] at PIN_82
--operation mode is output

dp4[5] = OUTPUT(VCC);


--dp4[4] is dp4[4] at PIN_83
--operation mode is output

dp4[4] = OUTPUT(VCC);


--dp4[3] is dp4[3] at PIN_84
--operation mode is output

dp4[3] = OUTPUT(VCC);


--dp4[2] is dp4[2] at PIN_85
--operation mode is output

dp4[2] = OUTPUT(VCC);


--dp4[1] is dp4[1] at PIN_86
--operation mode is output

dp4[1] = OUTPUT(VCC);


--dp4[0] is dp4[0] at PIN_87
--operation mode is output

dp4[0] = OUTPUT(VCC);