lift.map.eqn

VHDL编写的6层电梯控制器

-- Copyright (C) 1991-2005 Altera Corporation
-- Your use of Altera Corporation's design tools, logic functions 
-- and other software and tools, and its AMPP partner logic 
-- functions, and any output files any of the foregoing 
-- (including device programming or simulation files), and any 
-- associated documentation or information are expressly subject 
-- to the terms and conditions of the Altera Program License 
-- Subscription Agreement, Altera MegaCore Function License 
-- Agreement, or other applicable license agreement, including, 
-- without limitation, that your use is for the sole purpose of 
-- programming logic devices manufactured by Altera and sold by 
-- Altera or its authorized distributors.  Please refer to the 
-- applicable agreement for further details.
--B1_arr is control:inst|arr
--operation mode is normal

B1_arr_lut_out = B1_arr & (B1_state.stop # B1L103) # !B1_arr & B1_state.stop & B1L134;
B1_arr = DFFEAS(B1_arr_lut_out, clk, VCC, , B1L70, , , , );


--B1_ldown[5] is control:inst|ldown[5]
--operation mode is normal

B1_ldown[5]_lut_out = B1_state.stop & (!B1_state.dw4 # !B1L79);
B1_ldown[5] = DFFEAS(B1_ldown[5]_lut_out, clk, VCC, , B1L83, VCC, , , D8_cp);


--B1_lup[5] is control:inst|lup[5]
--operation mode is normal

B1_lup[5]_lut_out = B1_state.stop & (!B1_state.dw4 # !B1L93);
B1_lup[5] = DFFEAS(B1_lup[5]_lut_out, clk, VCC, , B1L97, VCC, , , D8_cp);


--C1_disp[3] is display:inst1|disp[3]
--operation mode is normal

C1_disp[3]_lut_out = A1L30;
C1_disp[3] = DFFEAS(C1_disp[3]_lut_out, clk, VCC, , C1L4, , , , );


--C1_disp[4] is display:inst1|disp[4]
--operation mode is normal

C1_disp[4]_lut_out = C1_disp[4] # B1_position[1];
C1_disp[4] = DFFEAS(C1_disp[4]_lut_out, clk, VCC, , , , , B1_position[0], );


--C1_disp[2] is display:inst1|disp[2]
--operation mode is normal

C1_disp[2]_lut_out = B1_position[0] # !B1_position[1];
C1_disp[2] = DFFEAS(C1_disp[2]_lut_out, clk, VCC, , C1L4, , , , );


--B1_state.stop is control:inst|state.stop
--operation mode is normal

B1_state.stop_lut_out = D8_cp # B1L135 # B1_fl2 & !B1L136;
B1_state.stop = DFFEAS(B1_state.stop_lut_out, clk, VCC, , B1L89, , , , );


--D10_cp is unshake:inst17|cp
--operation mode is normal

D10_cp_lut_out = emergency & (D10_jsp[0] & !D10_jsp[1]) # !emergency & D10_cp;
D10_cp = DFFEAS(D10_cp_lut_out, clk, VCC, , , , , , );


--D9_cp is unshake:inst16|cp
--operation mode is normal

D9_cp_lut_out = over & (D9_jsp[0] & !D9_jsp[1]) # !over & D9_cp;
D9_cp = DFFEAS(D9_cp_lut_out, clk, VCC, , , , , , );


--B1L134 is control:inst|state~527
--operation mode is normal

B1L134 = !D10_cp & !D9_cp;


--B1_state.dw5 is control:inst|state.dw5
--operation mode is normal

B1_state.dw5_lut_out = B1L105 # B1_state.dw5 & !B1_fl3 & !B1_fl1;
B1_state.dw5 = DFFEAS(B1_state.dw5_lut_out, clk, VCC, , B1L89, , , D8_cp, );


--B1_fl1 is control:inst|fl1
--operation mode is normal

B1_fl1_lut_out = B1_flag1 & (B1_state.dw4 & (!A1L30) # !B1_state.dw4 & !B1L106);
B1_fl1 = DFFEAS(B1_fl1_lut_out, clk, VCC, , B1L70, , , , );


--B1_fl3 is control:inst|fl3
--operation mode is normal

B1_fl3_lut_out = B1_flag3 & (B1_state.dw4 & (!A1L29) # !B1_state.dw4 & !B1L107);
B1_fl3 = DFFEAS(B1_fl3_lut_out, clk, VCC, , B1L70, , , , );


--B1_state.dw4 is control:inst|state.dw4
--operation mode is normal

B1_state.dw4_lut_out = B1_state.dw3 # B1_state.dw4 & (B1L138);
B1_state.dw4 = DFFEAS(B1_state.dw4_lut_out, clk, VCC, , B1L89, , , D8_cp, );


--B1L103 is control:inst|Select~1986
--operation mode is normal

B1L103 = B1_state.dw5 & !B1_fl1 & !B1_fl3 # !B1_state.dw5 & (!B1_state.dw4);


--D8_cp is unshake:inst15|cp
--operation mode is normal

D8_cp_lut_out = reset & (D8_jsp[0] & !D8_jsp[1]) # !reset & D8_cp;
D8_cp = DFFEAS(D8_cp_lut_out, clk, VCC, , , , , , );


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

B1_\k1:cnt[16]_lut_out = B1L89 & (D8_cp & B1_\k1:cnt[16]) # !B1L89 & B1L24;
B1_\k1:cnt[16] = DFFEAS(B1_\k1:cnt[16]_lut_out, clk, VCC, , , , , , );


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

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


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

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


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

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


--B1L84 is control:inst|LessThan~351
--operation mode is normal

B1L84 = !B1_\k1:cnt[16] & !B1_\k1:cnt[14] & !B1_\k1:cnt[13] & !B1_\k1:cnt[12];


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

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


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

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


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

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


--B1L85 is control:inst|LessThan~352
--operation mode is normal

B1L85 = !B1_\k1:cnt[9] & !B1_\k1:cnt[8] & !B1_\k1:cnt[7];


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

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


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

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


--B1L86 is control:inst|LessThan~353
--operation mode is normal

B1L86 = B1L84 & !B1_\k1:cnt[11] & (B1L85 # !B1_\k1:cnt[10]);


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

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


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

B1_\k1:cnt[20]_lut_out = B1L89 & (D8_cp) # !B1L89 & B1L44;
B1_\k1:cnt[20] = DFFEAS(B1_\k1:cnt[20]_lut_out, clk, VCC, , , , , , );


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

B1_\k1:cnt[19]_lut_out = B1L89 & (D8_cp) # !B1L89 & B1L45;
B1_\k1:cnt[19] = DFFEAS(B1_\k1:cnt[19]_lut_out, clk, VCC, , , , , , );


--B1L87 is control:inst|LessThan~354
--operation mode is normal

B1L87 = !B1_\k1:cnt[16] & !B1_\k1:cnt[15] # !B1_\k1:cnt[19] # !B1_\k1:cnt[20];


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

B1_\k1:cnt[18]_lut_out = B1L89 & (D8_cp) # !B1L89 & B1L47;
B1_\k1:cnt[18] = DFFEAS(B1_\k1:cnt[18]_lut_out, clk, VCC, , , , , , );


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

B1_\k1:cnt[17]_lut_out = B1L89 & (D8_cp & B1_\k1:cnt[17]) # !B1L89 & B1L49;
B1_\k1:cnt[17] = DFFEAS(B1_\k1:cnt[17]_lut_out, clk, VCC, , , , , , );


--B1L88 is control:inst|LessThan~355
--operation mode is normal

B1L88 = !B1_\k1:cnt[17] # !B1_\k1:cnt[18];


--B1L70 is control:inst|fl1~2
--operation mode is normal

B1L70 = !D8_cp & !B1L86 & !B1L87 & !B1L88;


--B1_position[1] is control:inst|position[1]
--operation mode is normal

B1_position[1]_lut_out = B1L109;
B1_position[1] = DFFEAS(B1_position[1]_lut_out, clk, VCC, , B1L89, , , D8_cp, );


--B1_position[0] is control:inst|position[0]
--operation mode is normal

B1_position[0]_lut_out = B1L111;
B1_position[0] = DFFEAS(B1_position[0]_lut_out, clk, VCC, , B1L89, VCC, , , D8_cp);


--B1_fl2 is control:inst|fl2
--operation mode is normal

B1_fl2_lut_out = B1_flag2 & (B1L101 # B1L112 # !B1L113);
B1_fl2 = DFFEAS(B1_fl2_lut_out, clk, VCC, , B1L70, , , , );


--B1L79 is control:inst|ldown[5]~362
--operation mode is normal

B1L79 = B1_position[1] & B1_position[0] & B1_fl2;


--B1L89 is control:inst|LessThan~356
--operation mode is normal

B1L89 = !B1L86 & !B1L87 & B1_\k1:cnt[18] & B1_\k1:cnt[17];


--B1_\k1:updown is control:inst|\k1:updown
--operation mode is normal

B1_\k1:updown_lut_out = B1L70 & (B1L114 # B1_\k1:updown & !B1L115) # !B1L70 & B1_\k1:updown;
B1_\k1:updown = DFFEAS(B1_\k1:updown_lut_out, clk, VCC, , , , , , );


--B1L80 is control:inst|ldown[5]~363
--operation mode is normal

B1L80 = B1_fl1 & B1_\k1:updown & (!B1_position[0]) # !B1_fl1 & (!B1_position[0] # !B1_fl2);


--B1L81 is control:inst|ldown[5]~364
--operation mode is normal

B1L81 = B1L80 # !B1_position[1] # !B1_state.dw4;


--B1L92 is control:inst|lup[5]~397
--operation mode is normal

B1L92 = !D8_cp & (D10_cp # D9_cp # !B1_state.stop);


--B1L82 is control:inst|ldown[5]~365
--operation mode is normal

B1L82 = B1_fl3 # !B1_fl1 # !B1_state.dw5;


--B1L83 is control:inst|ldown[5]~366
--operation mode is normal

B1L83 = B1L89 & (!B1L82 # !B1L92 # !B1L81);


--B1L93 is control:inst|lup[5]~398
--operation mode is normal

B1L93 = B1_position[0] & B1_fl2 & (!B1_position[1]);


--B1L94 is control:inst|lup[5]~399
--operation mode is normal

B1L94 = B1_position[1] & (!B1_fl3 # !B1_\k1:updown) # !B1_position[1] & !B1_fl2 & (!B1_fl3);


--B1L95 is control:inst|lup[5]~400
--operation mode is normal

B1L95 = B1L94 # B1_position[1] $ !B1_position[0] # !B1_state.dw4;


--B1L96 is control:inst|lup[5]~401
--operation mode is normal

B1L96 = !B1_fl3 # !B1_state.dw5;


--B1L97 is control:inst|lup[5]~402
--operation mode is normal

B1L97 = B1L89 & (!B1L96 # !B1L95 # !B1L92);


--A1L30 is rtl~1
--operation mode is normal

A1L30 = B1_position[0] & (!B1_position[1]);


--C1L4 is display:inst1|disp[3]~77
--operation mode is normal

C1L4 = B1_position[1] # B1_position[0];


--B1_state.down1 is control:inst|state.down1
--operation mode is normal

B1_state.down1_lut_out = B1L116 # !B1_fl2 & B1_state.down2 # !B1L82;
B1_state.down1 = DFFEAS(B1_state.down1_lut_out, clk, VCC, , B1L89, , , D8_cp, );


--B1_state.up2 is control:inst|state.up2
--operation mode is normal

B1_state.up2_lut_out = B1L117 # !B1_fl2 & !B1_state.up1 # !B1L96;
B1_state.up2 = DFFEAS(B1_state.up2_lut_out, clk, VCC, , B1L89, , , D8_cp, );


--B1L135 is control:inst|state~528
--operation mode is normal

B1L135 = B1_state.down1 # B1_state.up2 # B1_state.stop & !B1L134;


--B1_state.up1 is control:inst|state.up1
--operation mode is normal

B1_state.up1_lut_out = D8_cp # !B1_fl3 & !B1_fl2 # !B1L114;
B1_state.up1 = DFFEAS(B1_state.up1_lut_out, clk, VCC, , B1L89, , , , );


--B1_state.down2 is control:inst|state.down2
--operation mode is normal

B1_state.down2_lut_out = B1L115 & !D8_cp & (B1_fl1 # B1_fl2);
B1_state.down2 = DFFEAS(B1_state.down2_lut_out, clk, VCC, , B1L89, , , , );


--B1L136 is control:inst|state~529
--operation mode is normal

B1L136 = B1_state.up1 & (!B1_state.down2);


--D10_jsp[0] is unshake:inst17|jsp[0]
--operation mode is normal

D10_jsp[0]_lut_out = emergency & (D10_jsp[1] # !D10_jsp[0]);
D10_jsp[0] = DFFEAS(D10_jsp[0]_lut_out, clk, VCC, , , , , , );


--D10_jsp[1] is unshake:inst17|jsp[1]
--operation mode is normal

D10_jsp[1]_lut_out = emergency & (D10_jsp[1] # D10_jsp[0]);
D10_jsp[1] = DFFEAS(D10_jsp[1]_lut_out, clk, VCC, , , , , , );


--D9_jsp[0] is unshake:inst16|jsp[0]
--operation mode is normal

D9_jsp[0]_lut_out = over & (D9_jsp[1] # !D9_jsp[0]);
D9_jsp[0] = DFFEAS(D9_jsp[0]_lut_out, clk, VCC, , , , , , );


--D9_jsp[1] is unshake:inst16|jsp[1]
--operation mode is normal

D9_jsp[1]_lut_out = over & (D9_jsp[1] # D9_jsp[0]);
D9_jsp[1] = DFFEAS(D9_jsp[1]_lut_out, clk, VCC, , , , , , );


--B1L104 is control:inst|Select~1988
--operation mode is normal

B1L104 = B1_state.dw4 & B1_position[1] & (!B1_position[0]);


--B1L105 is control:inst|Select~1989
--operation mode is normal

B1L105 = B1L104 & (B1_\k1:updown & (!B1_fl3) # !B1_\k1:updown & !B1_fl1);