lift.fit.eqn

VHDL编写的6层电梯控制器

B1L134 = !B1L117 & !B1_state.dw4 & (B1L152 # !B1_fl2);


--B1L135 is control:inst|Select~2006 at LC_X23_Y9_N1
--operation mode is normal

B1L135 = B1_clear1 & !B1_fl1 & (B1_state.down1 # !B1L134);


--D7_jsp[0] is unshake:inst14|jsp[0] at LC_X34_Y7_N8
--operation mode is normal

D7_jsp[0]_lut_out = three & (D7_jsp[1] # !D7_jsp[0]);
D7_jsp[0] = DFFEAS(D7_jsp[0]_lut_out, GLOBAL(clk), VCC, , , , , , );


--D7_jsp[1] is unshake:inst14|jsp[1] at LC_X34_Y7_N5
--operation mode is normal

D7_jsp[1]_lut_out = three & (D7_jsp[0] # D7_jsp[1]);
D7_jsp[1] = DFFEAS(D7_jsp[1]_lut_out, GLOBAL(clk), VCC, , , , , , );


--D4_jsp[0] is unshake:inst5|jsp[0] at LC_X34_Y7_N4
--operation mode is normal

D4_jsp[0]_lut_out = downthree & (D4_jsp[1] # !D4_jsp[0]);
D4_jsp[0] = DFFEAS(D4_jsp[0]_lut_out, GLOBAL(clk), VCC, , , , , , );


--D4_jsp[1] is unshake:inst5|jsp[1] at LC_X34_Y7_N6
--operation mode is normal

D4_jsp[1]_lut_out = downthree & (D4_jsp[0] # D4_jsp[1]);
D4_jsp[1] = DFFEAS(D4_jsp[1]_lut_out, GLOBAL(clk), VCC, , , , , , );


--B1L136 is control:inst|Select~2008 at LC_X23_Y9_N5
--operation mode is normal

B1L136 = B1_clear3 & !B1_fl3 & (B1_state.up2 # !B1L134);


--B1_\k1:cnt[6] is control:inst|\k1:cnt[6] at LC_X25_Y9_N8
--operation mode is normal

B1_\k1:cnt[6]_lut_out = B1L61 & (B1L103 # B1L102 # B1L104);
B1_\k1:cnt[6] = DFFEAS(B1_\k1:cnt[6]_lut_out, GLOBAL(clk), VCC, , B1L16, , , , );


--B1L64 is control:inst|add~398 at LC_X26_Y9_N0
--operation mode is arithmetic

B1L64_carry_eqn = B1L68;
B1L64 = B1_\k1:cnt[5] $ B1L64_carry_eqn;

--B1L65 is control:inst|add~400 at LC_X26_Y9_N0
--operation mode is arithmetic

B1L65_cout_0 = !B1L68 # !B1_\k1:cnt[5];
B1L65 = CARRY(B1L65_cout_0);

--B1L66 is control:inst|add~400COUT1_433 at LC_X26_Y9_N0
--operation mode is arithmetic

B1L66_cout_1 = !B1L68 # !B1_\k1:cnt[5];
B1L66 = CARRY(B1L66_cout_1);


--D2_jsp[0] is unshake:inst3|jsp[0] at LC_X30_Y4_N2
--operation mode is normal

D2_jsp[0]_lut_out = uptwo & (D2_jsp[1] # !D2_jsp[0]);
D2_jsp[0] = DFFEAS(D2_jsp[0]_lut_out, GLOBAL(clk), VCC, , , , , , );


--D2_jsp[1] is unshake:inst3|jsp[1] at LC_X29_Y4_N7
--operation mode is normal

D2_jsp[1]_lut_out = uptwo & (D2_jsp[1] # D2_jsp[0]);
D2_jsp[1] = DFFEAS(D2_jsp[1]_lut_out, GLOBAL(clk), VCC, , , , , , );


--B1L137 is control:inst|Select~2010 at LC_X24_Y7_N0
--operation mode is normal

B1L137 = B1_position[1] & (B1_position[0] & B1_state.down1 # !B1_position[0] & (B1_state.dw4));


--B1L138 is control:inst|Select~2011 at LC_X24_Y7_N2
--operation mode is normal

B1L138 = !B1_state.down2 & B1_state.up1 & (B1_fl2 # !B1_state.dw4);


--B1L139 is control:inst|Select~2012 at LC_X24_Y7_N3
--operation mode is normal

B1L139 = B1_fl2 & !B1L138 # !B1_fl2 & B1_clear2 & (B1L117 # !B1L138);


--D6_jsp[0] is unshake:inst7|jsp[0] at LC_X29_Y4_N2
--operation mode is normal

D6_jsp[0]_lut_out = two & (D6_jsp[1] # !D6_jsp[0]);
D6_jsp[0] = DFFEAS(D6_jsp[0]_lut_out, GLOBAL(clk), VCC, , , , , , );


--D6_jsp[1] is unshake:inst7|jsp[1] at LC_X29_Y4_N1
--operation mode is normal

D6_jsp[1]_lut_out = two & (D6_jsp[1] # D6_jsp[0]);
D6_jsp[1] = DFFEAS(D6_jsp[1]_lut_out, GLOBAL(clk), VCC, , , , , , );


--D3_jsp[0] is unshake:inst4|jsp[0] at LC_X29_Y4_N6
--operation mode is normal

D3_jsp[0]_lut_out = downtwo & (D3_jsp[1] # !D3_jsp[0]);
D3_jsp[0] = DFFEAS(D3_jsp[0]_lut_out, GLOBAL(clk), VCC, , , , , , );


--D3_jsp[1] is unshake:inst4|jsp[1] at LC_X29_Y4_N3
--operation mode is normal

D3_jsp[1]_lut_out = downtwo & (D3_jsp[1] # D3_jsp[0]);
D3_jsp[1] = DFFEAS(D3_jsp[1]_lut_out, GLOBAL(clk), VCC, , , , , , );


--B1_\k1:cnt[5] is control:inst|\k1:cnt[5] at LC_X25_Y9_N7
--operation mode is normal

B1_\k1:cnt[5]_lut_out = B1L64 & (B1L104 # B1L102 # B1L103);
B1_\k1:cnt[5] = DFFEAS(B1_\k1:cnt[5]_lut_out, GLOBAL(clk), VCC, , B1L16, , , , );


--B1L67 is control:inst|add~403 at LC_X26_Y10_N9
--operation mode is arithmetic

B1L67 = B1_\k1:cnt[4] $ !B1L70;

--B1L68 is control:inst|add~405 at LC_X26_Y10_N9
--operation mode is arithmetic

B1L68 = CARRY(B1_\k1:cnt[4] & !B1L71);


--B1_\k1:cnt[4] is control:inst|\k1:cnt[4] at LC_X26_Y10_N0
--operation mode is normal

B1_\k1:cnt[4]_lut_out = B1L67 & (B1L103 # B1L104 # B1L102);
B1_\k1:cnt[4] = DFFEAS(B1_\k1:cnt[4]_lut_out, GLOBAL(clk), VCC, , B1L16, , , , );


--B1L69 is control:inst|add~408 at LC_X26_Y10_N8
--operation mode is arithmetic

B1L69 = B1_\k1:cnt[3] $ B1L73;

--B1L70 is control:inst|add~410 at LC_X26_Y10_N8
--operation mode is arithmetic

B1L70_cout_0 = !B1L73 # !B1_\k1:cnt[3];
B1L70 = CARRY(B1L70_cout_0);

--B1L71 is control:inst|add~410COUT1_432 at LC_X26_Y10_N8
--operation mode is arithmetic

B1L71_cout_1 = !B1L74 # !B1_\k1:cnt[3];
B1L71 = CARRY(B1L71_cout_1);


--B1_\k1:cnt[3] is control:inst|\k1:cnt[3] at LC_X26_Y10_N4
--operation mode is normal

B1_\k1:cnt[3]_lut_out = B1L69 & (B1L103 # B1L104 # B1L102);
B1_\k1:cnt[3] = DFFEAS(B1_\k1:cnt[3]_lut_out, GLOBAL(clk), VCC, , B1L16, , , , );


--B1L72 is control:inst|add~413 at LC_X26_Y10_N7
--operation mode is arithmetic

B1L72 = B1_\k1:cnt[2] $ (!B1L76);

--B1L73 is control:inst|add~415 at LC_X26_Y10_N7
--operation mode is arithmetic

B1L73_cout_0 = B1_\k1:cnt[2] & (!B1L76);
B1L73 = CARRY(B1L73_cout_0);

--B1L74 is control:inst|add~415COUT1_431 at LC_X26_Y10_N7
--operation mode is arithmetic

B1L74_cout_1 = B1_\k1:cnt[2] & (!B1L77);
B1L74 = CARRY(B1L74_cout_1);


--B1_\k1:cnt[2] is control:inst|\k1:cnt[2] at LC_X26_Y10_N2
--operation mode is normal

B1_\k1:cnt[2]_lut_out = B1L72 & (B1L103 # B1L104 # B1L102);
B1_\k1:cnt[2] = DFFEAS(B1_\k1:cnt[2]_lut_out, GLOBAL(clk), VCC, , B1L16, , , , );


--B1L75 is control:inst|add~418 at LC_X26_Y10_N6
--operation mode is arithmetic

B1L75 = B1_\k1:cnt[1] $ (B1L79);

--B1L76 is control:inst|add~420 at LC_X26_Y10_N6
--operation mode is arithmetic

B1L76_cout_0 = !B1L79 # !B1_\k1:cnt[1];
B1L76 = CARRY(B1L76_cout_0);

--B1L77 is control:inst|add~420COUT1_430 at LC_X26_Y10_N6
--operation mode is arithmetic

B1L77_cout_1 = !B1L80 # !B1_\k1:cnt[1];
B1L77 = CARRY(B1L77_cout_1);


--B1_\k1:cnt[1] is control:inst|\k1:cnt[1] at LC_X26_Y10_N1
--operation mode is normal

B1_\k1:cnt[1]_lut_out = B1L75 & (B1L102 # B1L103 # B1L104);
B1_\k1:cnt[1] = DFFEAS(B1_\k1:cnt[1]_lut_out, GLOBAL(clk), VCC, , B1L16, , , , );


--B1L78 is control:inst|add~423 at LC_X26_Y10_N5
--operation mode is arithmetic

B1L78 = !B1_\k1:cnt[0];

--B1L79 is control:inst|add~425 at LC_X26_Y10_N5
--operation mode is arithmetic

B1L79_cout_0 = B1_\k1:cnt[0];
B1L79 = CARRY(B1L79_cout_0);

--B1L80 is control:inst|add~425COUT1_429 at LC_X26_Y10_N5
--operation mode is arithmetic

B1L80_cout_1 = B1_\k1:cnt[0];
B1L80 = CARRY(B1L80_cout_1);


--B1_\k1:cnt[0] is control:inst|\k1:cnt[0] at LC_X26_Y10_N3
--operation mode is normal

B1_\k1:cnt[0]_lut_out = B1L78 # !B1L102 & !B1L104 & !B1L103;
B1_\k1:cnt[0] = DFFEAS(B1_\k1:cnt[0]_lut_out, GLOBAL(clk), VCC, , B1L16, , , , );


--lock is lock at PIN_18
--operation mode is input

lock = INPUT();


--clk is clk at PIN_28
--operation mode is input

clk = INPUT();


--emergency is emergency at PIN_21
--operation mode is input

emergency = INPUT();


--over is over at PIN_23
--operation mode is input

over = INPUT();


--reset is reset at PIN_139
--operation mode is input

reset = INPUT();


--one is one at PIN_136
--operation mode is input

one = INPUT();


--upone is upone at PIN_132
--operation mode is input

upone = INPUT();


--three is three at PIN_138
--operation mode is input

three = INPUT();


--downthree is downthree at PIN_135
--operation mode is input

downthree = INPUT();


--uptwo is uptwo at PIN_133
--operation mode is input

uptwo = INPUT();


--two is two at PIN_137
--operation mode is input

two = INPUT();


--downtwo is downtwo at PIN_134
--operation mode is input

downtwo = INPUT();


--arrive is arrive at PIN_221
--operation mode is output

arrive = OUTPUT(B1_arr);


--locklight is locklight at PIN_186
--operation mode is output

locklight = OUTPUT(VCC);


--ovelight is ovelight at PIN_124
--operation mode is output

ovelight = OUTPUT(VCC);


--alarm is alarm at PIN_65
--operation mode is output

alarm = OUTPUT(VCC);


--lightdown[6] is lightdown[6] at PIN_99
--operation mode is output

lightdown[6] = OUTPUT(VCC);


--lightdown[5] is lightdown[5] at PIN_98
--operation mode is output

lightdown[5] = OUTPUT(B1_ldown[5]);


--lightdown[4] is lightdown[4] at PIN_97
--operation mode is output

lightdown[4] = OUTPUT(B1_ldown[5]);


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

lightdown[3] = OUTPUT(B1_ldown[5]);


--lightdown[2] is lightdown[2] at PIN_95
--operation mode is output

lightdown[2] = OUTPUT(B1_ldown[5]);


--lightdown[1] is lightdown[1] at PIN_94
--operation mode is output

lightdown[1] = OUTPUT(VCC);


--lightdown[0] is lightdown[0] at PIN_93
--operation mode is output

lightdown[0] = OUTPUT(B1_ldown[5]);


--lightup[6] is lightup[6] at PIN_87
--operation mode is output

lightup[6] = OUTPUT(VCC);


--lightup[5] is lightup[5] at PIN_86
--operation mode is output

lightup[5] = OUTPUT(B1_lup[5]);


--lightup[4] is lightup[4] at PIN_85
--operation mode is output

lightup[4] = OUTPUT(B1_lup[5]);


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

lightup[3] = OUTPUT(B1_lup[5]);


--lightup[2] is lightup[2] at PIN_83
--operation mode is output

lightup[2] = OUTPUT(B1_lup[5]);


--lightup[1] is lightup[1] at PIN_82
--operation mode is output

lightup[1] = OUTPUT(B1_lup[5]);


--lightup[0] is lightup[0] at PIN_81
--operation mode is output

lightup[0] = OUTPUT(VCC);


--serout[6] is serout[6] at PIN_119
--operation mode is output

serout[6] = OUTPUT(C1_disp[3]);


--serout[5] is serout[5] at PIN_118
--operation mode is output

serout[5] = OUTPUT(GND);


--serout[4] is serout[4] at PIN_117
--operation mode is output

serout[4] = OUTPUT(C1_disp[4]);


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

serout[3] = OUTPUT(C1_disp[3]);


--serout[2] is serout[2] at PIN_115
--operation mode is output

serout[2] = OUTPUT(C1_disp[2]);


--serout[1] is serout[1] at PIN_114
--operation mode is output

serout[1] = OUTPUT(VCC);


--serout[0] is serout[0] at PIN_113
--operation mode is output

serout[0] = OUTPUT(C1_disp[3]);