lift.fit.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 at LC_X23_Y10_N3
--operation mode is normal

B1_arr_lut_out = B1_state.stop & (B1_arr # B1L150) # !B1_state.stop & B1L119 & B1_arr;
B1_arr = DFFEAS(B1_arr_lut_out, GLOBAL(clk), VCC, , B1L86, , , , );


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

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


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

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


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

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


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

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


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

B1_state.stop_lut_out = D8_cp # B1L151 # B1_fl2 & !B1L152;
B1_state.stop = DFFEAS(B1_state.stop_lut_out, GLOBAL(clk), VCC, , B1L105, , , , );


--D10_cp is unshake:inst17|cp at LC_X24_Y10_N4
--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, GLOBAL(clk), VCC, , , , , , );


--D9_cp is unshake:inst16|cp at LC_X24_Y10_N1
--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, GLOBAL(clk), VCC, , , , , , );


--B1L150 is control:inst|state~527 at LC_X24_Y10_N2
--operation mode is normal

B1L150 = !D10_cp & !D9_cp;


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

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


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

B1_fl1_lut_out = B1_flag1 & (B1_state.dw4 & !A1L30 # !B1_state.dw4 & (!B1L122));
B1_fl1 = DFFEAS(B1_fl1_lut_out, GLOBAL(clk), VCC, , B1L86, , , , );


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

B1_fl3_lut_out = B1_flag3 & (B1_state.dw4 & (!A1L29) # !B1_state.dw4 & !B1L123);
B1_fl3 = DFFEAS(B1_fl3_lut_out, GLOBAL(clk), VCC, , B1L86, , , , );


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

B1_state.dw4_lut_out = B1_state.dw3 # B1_state.dw4 & B1L154;
B1_state.dw4 = DFFEAS(B1_state.dw4_lut_out, GLOBAL(clk), VCC, , B1L105, , , D8_cp, );


--B1L119 is control:inst|Select~1986 at LC_X23_Y10_N5
--operation mode is normal

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


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

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


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

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


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

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


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

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


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

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


--B1L100 is control:inst|LessThan~351 at LC_X25_Y10_N5
--operation mode is normal

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


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

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


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

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


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

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


--B1L101 is control:inst|LessThan~352 at LC_X25_Y10_N3
--operation mode is normal

B1L101 = !B1_\k1:cnt[7] & (!B1_\k1:cnt[9] & !B1_\k1:cnt[8]);


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

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


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

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


--B1L102 is control:inst|LessThan~353 at LC_X25_Y10_N2
--operation mode is normal

B1L102 = !B1_\k1:cnt[11] & B1L100 & (B1L101 # !B1_\k1:cnt[10]);


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

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


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

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


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

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


--B1L103 is control:inst|LessThan~354 at LC_X26_Y8_N7
--operation mode is normal

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


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

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


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

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


--B1L104 is control:inst|LessThan~355 at LC_X25_Y10_N7
--operation mode is normal

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


--B1L86 is control:inst|fl1~2 at LC_X25_Y10_N4
--operation mode is normal

B1L86 = !B1L102 & !D8_cp & !B1L104 & !B1L103;


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

B1_fl2_lut_out = B1_flag2 & (B1L117 # B1L128 # !B1L129);
B1_fl2 = DFFEAS(B1_fl2_lut_out, GLOBAL(clk), VCC, , B1L86, , , , );


--B1L95 is control:inst|ldown[5]~362 at LC_X25_Y8_N2
--operation mode is normal

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


--B1L105 is control:inst|LessThan~356 at LC_X25_Y10_N8
--operation mode is normal

B1L105 = B1_\k1:cnt[18] & !B1L103 & !B1L102 & B1_\k1:cnt[17];


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

B1_\k1:updown_lut_out = B1L86 & (B1L130 # !B1L131 & B1_\k1:updown) # !B1L86 & (B1_\k1:updown);
B1_\k1:updown = DFFEAS(B1_\k1:updown_lut_out, GLOBAL(clk), VCC, , , , , , );


--B1L96 is control:inst|ldown[5]~363 at LC_X23_Y10_N1
--operation mode is normal

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


--B1L97 is control:inst|ldown[5]~364 at LC_X23_Y10_N8
--operation mode is normal

B1L97 = B1L96 # !B1_position[1] # !B1_state.dw4;


--B1L108 is control:inst|lup[5]~397 at LC_X24_Y10_N6
--operation mode is normal

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


--B1L98 is control:inst|ldown[5]~365 at LC_X24_Y7_N1
--operation mode is normal

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


--B1L99 is control:inst|ldown[5]~366 at LC_X25_Y10_N6
--operation mode is normal

B1L99 = B1L105 & (!B1L98 # !B1L108 # !B1L97);


--B1L109 is control:inst|lup[5]~398 at LC_X25_Y8_N8
--operation mode is normal

B1L109 = !B1_position[1] & B1_position[0] & B1_fl2;


--B1L110 is control:inst|lup[5]~399 at LC_X24_Y10_N5
--operation mode is normal

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


--B1L111 is control:inst|lup[5]~400 at LC_X24_Y10_N3
--operation mode is normal

B1L111 = B1L110 # B1_position[1] $ !B1_position[0] # !B1_state.dw4;


--B1L112 is control:inst|lup[5]~401 at LC_X24_Y10_N7
--operation mode is normal

B1L112 = !B1_state.dw5 # !B1_fl3;


--B1L113 is control:inst|lup[5]~402 at LC_X24_Y10_N8
--operation mode is normal

B1L113 = B1L105 & (!B1L108 # !B1L112 # !B1L111);


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

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

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

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


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

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


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

B1_state.down1_lut_out = B1L132 # !B1_fl2 & B1_state.down2 # !B1L98;
B1_state.down1 = DFFEAS(B1_state.down1_lut_out, GLOBAL(clk), VCC, , B1L105, , , D8_cp, );


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

B1_state.up2_lut_out = B1L133 # !B1_state.up1 & !B1_fl2 # !B1L112;
B1_state.up2 = DFFEAS(B1_state.up2_lut_out, GLOBAL(clk), VCC, , B1L105, , , D8_cp, );


--B1L151 is control:inst|state~528 at LC_X23_Y10_N2
--operation mode is normal

B1L151 = B1_state.down1 # B1_state.up2 # !B1L150 & B1_state.stop;


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

B1_state.up1_lut_out = D8_cp # !B1_fl2 & !B1_fl3 # !B1L130;
B1_state.up1 = DFFEAS(B1_state.up1_lut_out, GLOBAL(clk), VCC, , B1L105, , , , );


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

B1_state.down2_lut_out = !D8_cp & B1L131 & (B1_fl1 # B1_fl2);
B1_state.down2 = DFFEAS(B1_state.down2_lut_out, GLOBAL(clk), VCC, , B1L105, , , , );


--B1L152 is control:inst|state~529 at LC_X23_Y9_N2
--operation mode is normal

B1L152 = !B1_state.down2 & B1_state.up1;


--D10_jsp[0] is unshake:inst17|jsp[0] at LC_X23_Y11_N4
--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, GLOBAL(clk), VCC, , , , , , );


--D10_jsp[1] is unshake:inst17|jsp[1] at LC_X23_Y11_N2
--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, GLOBAL(clk), VCC, , , , , , );


--D9_jsp[0] is unshake:inst16|jsp[0] at LC_X24_Y11_N2
--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, GLOBAL(clk), VCC, , , , , , );


--D9_jsp[1] is unshake:inst16|jsp[1] at LC_X24_Y11_N4
--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, GLOBAL(clk), VCC, , , , , , );


--B1L120 is control:inst|Select~1988 at LC_X24_Y8_N6
--operation mode is normal

B1L120 = !B1_position[0] & B1_state.dw4 & B1_position[1];


--B1L121 is control:inst|Select~1989 at LC_X24_Y8_N0
--operation mode is normal

B1L121 = B1L120 & (B1_\k1:updown & (!B1_fl3) # !B1_\k1:updown & !B1_fl1);


--B1_flag1 is control:inst|flag1 at LC_X26_Y6_N3
--operation mode is normal

B1_flag1_lut_out = D1_cp # D5_cp # !B1_clear1 & B1_flag1;
B1_flag1 = DFFEAS(B1_flag1_lut_out, GLOBAL(clk), VCC, , , , , , );


--B1L122 is control:inst|Select~1990 at LC_X24_Y9_N6
--operation mode is normal

B1L122 = B1_state.down1 & !B1_position[0] & B1_position[1];


--B1_flag3 is control:inst|flag3 at LC_X34_Y7_N7
--operation mode is normal

B1_flag3_lut_out = D4_cp # D7_cp # B1_flag3 & !B1_clear3;
B1_flag3 = DFFEAS(B1_flag3_lut_out, GLOBAL(clk), VCC, , , , , , );


--B1L123 is control:inst|Select~1992 at LC_X24_Y9_N1
--operation mode is normal

B1L123 = B1_position[1] & (!B1_position[0] & B1_state.up2);


--A1L29 is rtl~0 at LC_X25_Y8_N9
--operation mode is normal

A1L29 = B1_position[1] & (B1_position[0]);


--B1_state.dw3 is control:inst|state.dw3 at LC_X23_Y10_N6
--operation mode is normal

B1_state.dw3_lut_out = !D8_cp & B1_state.dw2;
B1_state.dw3 = DFFEAS(B1_state.dw3_lut_out, GLOBAL(clk), VCC, , B1L105, , , , );


--B1L153 is control:inst|state~531 at LC_X24_Y8_N9
--operation mode is normal

B1L153 = B1_position[1] & !B1_fl1 # !B1_position[1] & (!B1_fl3);


--B1L154 is control:inst|state~532 at LC_X24_Y8_N4
--operation mode is normal