lift.map.eqn

VHDL编写的6层电梯控制器

B1L118 = !B1_state.dw4 & !B1L101 & (B1L136 # !B1_fl2);


--B1L119 is control:inst|Select~2006
--operation mode is normal

B1L119 = B1_clear1 & !B1_fl1 & (B1_state.down1 # !B1L118);


--D7_jsp[0] is unshake:inst14|jsp[0]
--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, clk, VCC, , , , , , );


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

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


--D4_jsp[0] is unshake:inst5|jsp[0]
--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, clk, VCC, , , , , , );


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

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


--B1L120 is control:inst|Select~2008
--operation mode is normal

B1L120 = B1_clear3 & !B1_fl3 & (B1_state.up2 # !B1L118);


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

B1_\k1:cnt[6]_lut_out = B1L51 & (B1L86 # B1L87 # B1L88);
B1_\k1:cnt[6] = DFFEAS(B1_\k1:cnt[6]_lut_out, clk, VCC, , B1L16, , , , );


--B1L53 is control:inst|add~398
--operation mode is arithmetic

B1L53_carry_eqn = B1L56;
B1L53 = B1_\k1:cnt[5] $ (B1L53_carry_eqn);

--B1L54 is control:inst|add~400
--operation mode is arithmetic

B1L54 = CARRY(!B1L56 # !B1_\k1:cnt[5]);


--D2_jsp[0] is unshake:inst3|jsp[0]
--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, clk, VCC, , , , , , );


--D2_jsp[1] is unshake:inst3|jsp[1]
--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, clk, VCC, , , , , , );


--B1L121 is control:inst|Select~2010
--operation mode is normal

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


--B1L122 is control:inst|Select~2011
--operation mode is normal

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


--B1L123 is control:inst|Select~2012
--operation mode is normal

B1L123 = B1_fl2 & (!B1L122) # !B1_fl2 & B1_clear2 & (B1L101 # !B1L122);


--D6_jsp[0] is unshake:inst7|jsp[0]
--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, clk, VCC, , , , , , );


--D6_jsp[1] is unshake:inst7|jsp[1]
--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, clk, VCC, , , , , , );


--D3_jsp[0] is unshake:inst4|jsp[0]
--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, clk, VCC, , , , , , );


--D3_jsp[1] is unshake:inst4|jsp[1]
--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, clk, VCC, , , , , , );


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

B1_\k1:cnt[5]_lut_out = B1L53 & (B1L86 # B1L87 # B1L88);
B1_\k1:cnt[5] = DFFEAS(B1_\k1:cnt[5]_lut_out, clk, VCC, , B1L16, , , , );


--B1L55 is control:inst|add~403
--operation mode is arithmetic

B1L55_carry_eqn = B1L58;
B1L55 = B1_\k1:cnt[4] $ (!B1L55_carry_eqn);

--B1L56 is control:inst|add~405
--operation mode is arithmetic

B1L56 = CARRY(B1_\k1:cnt[4] & (!B1L58));


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

B1_\k1:cnt[4]_lut_out = B1L55 & (B1L86 # B1L87 # B1L88);
B1_\k1:cnt[4] = DFFEAS(B1_\k1:cnt[4]_lut_out, clk, VCC, , B1L16, , , , );


--B1L57 is control:inst|add~408
--operation mode is arithmetic

B1L57_carry_eqn = B1L60;
B1L57 = B1_\k1:cnt[3] $ (B1L57_carry_eqn);

--B1L58 is control:inst|add~410
--operation mode is arithmetic

B1L58 = CARRY(!B1L60 # !B1_\k1:cnt[3]);


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

B1_\k1:cnt[3]_lut_out = B1L57 & (B1L86 # B1L87 # B1L88);
B1_\k1:cnt[3] = DFFEAS(B1_\k1:cnt[3]_lut_out, clk, VCC, , B1L16, , , , );


--B1L59 is control:inst|add~413
--operation mode is arithmetic

B1L59_carry_eqn = B1L62;
B1L59 = B1_\k1:cnt[2] $ (!B1L59_carry_eqn);

--B1L60 is control:inst|add~415
--operation mode is arithmetic

B1L60 = CARRY(B1_\k1:cnt[2] & (!B1L62));


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

B1_\k1:cnt[2]_lut_out = B1L59 & (B1L86 # B1L87 # B1L88);
B1_\k1:cnt[2] = DFFEAS(B1_\k1:cnt[2]_lut_out, clk, VCC, , B1L16, , , , );


--B1L61 is control:inst|add~418
--operation mode is arithmetic

B1L61_carry_eqn = B1L64;
B1L61 = B1_\k1:cnt[1] $ (B1L61_carry_eqn);

--B1L62 is control:inst|add~420
--operation mode is arithmetic

B1L62 = CARRY(!B1L64 # !B1_\k1:cnt[1]);


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

B1_\k1:cnt[1]_lut_out = B1L61 & (B1L86 # B1L87 # B1L88);
B1_\k1:cnt[1] = DFFEAS(B1_\k1:cnt[1]_lut_out, clk, VCC, , B1L16, , , , );


--B1L63 is control:inst|add~423
--operation mode is arithmetic

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

--B1L64 is control:inst|add~425
--operation mode is arithmetic

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


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

B1_\k1:cnt[0]_lut_out = B1L63 # !B1L86 & !B1L87 & !B1L88;
B1_\k1:cnt[0] = DFFEAS(B1_\k1:cnt[0]_lut_out, clk, VCC, , B1L16, , , , );


--lock is lock
--operation mode is input

lock = INPUT();


--clk is clk
--operation mode is input

clk = INPUT();


--emergency is emergency
--operation mode is input

emergency = INPUT();


--over is over
--operation mode is input

over = INPUT();


--reset is reset
--operation mode is input

reset = INPUT();


--one is one
--operation mode is input

one = INPUT();


--upone is upone
--operation mode is input

upone = INPUT();


--three is three
--operation mode is input

three = INPUT();


--downthree is downthree
--operation mode is input

downthree = INPUT();


--uptwo is uptwo
--operation mode is input

uptwo = INPUT();


--two is two
--operation mode is input

two = INPUT();


--downtwo is downtwo
--operation mode is input

downtwo = INPUT();


--arrive is arrive
--operation mode is output

arrive = OUTPUT(B1_arr);


--locklight is locklight
--operation mode is output

locklight = OUTPUT(VCC);


--ovelight is ovelight
--operation mode is output

ovelight = OUTPUT(VCC);


--alarm is alarm
--operation mode is output

alarm = OUTPUT(VCC);


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

lightdown[6] = OUTPUT(VCC);


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

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


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

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


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

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


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

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


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

lightdown[1] = OUTPUT(VCC);


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

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


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

lightup[6] = OUTPUT(VCC);


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

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


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

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


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

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


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

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


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

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


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

lightup[0] = OUTPUT(VCC);


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

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


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

serout[5] = OUTPUT(GND);


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

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


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

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


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

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


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

serout[1] = OUTPUT(VCC);


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

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