control.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.
--lup[5] is lup[5] at LC_X13_Y13_N7
--operation mode is normal

lup[5]_lut_out = state.stop & (!A1L50 # !state.dw4);
lup[5] = DFFEAS(lup[5]_lut_out, GLOBAL(clk), VCC, , A1L53, VCC, , , reset);


--ldown[5] is ldown[5] at LC_X11_Y13_N4
--operation mode is normal

ldown[5]_lut_out = state.stop & (!A1L25 # !state.dw4);
ldown[5] = DFFEAS(ldown[5]_lut_out, GLOBAL(clk), VCC, , A1L29, VCC, , , reset);


--arr is arr at LC_X12_Y12_N2
--operation mode is normal

arr_lut_out = state.stop & (A1L74 # arr) # !state.stop & (arr & !A1L75);
arr = DFFEAS(arr_lut_out, GLOBAL(clk), VCC, , A1L15, , , , );


--state.up2 is state.up2 at LC_X12_Y13_N0
--operation mode is normal

state.up2_lut_out = A1L76 # !fl2 & !state.up1 # !A1L54;
state.up2 = DFFEAS(state.up2_lut_out, GLOBAL(clk), VCC, , \k1:cnt1[1], , , reset, );


--state.down1 is state.down1 at LC_X12_Y12_N7
--operation mode is normal

state.down1_lut_out = A1L77 # !fl2 & state.down2 # !A1L28;
state.down1 = DFFEAS(state.down1_lut_out, GLOBAL(clk), VCC, , \k1:cnt1[1], , , reset, );


--A1L70 is Select~1999 at LC_X12_Y12_N4
--operation mode is normal

A1L70 = position[1] & (state.up2 # state.down1 & !position[0]) # !position[1] & (position[0] & (state.down1) # !position[0] & state.up2);


--state.up1 is state.up1 at LC_X12_Y13_N6
--operation mode is normal

state.up1_lut_out = reset # !fl3 & !fl2 # !A1L55;
state.up1 = DFFEAS(state.up1_lut_out, GLOBAL(clk), VCC, , \k1:cnt1[1], , , , );


--state.down2 is state.down2 at LC_X12_Y13_N7
--operation mode is normal

state.down2_lut_out = A1L78 & !reset & (fl2 # fl1);
state.down2 = DFFEAS(state.down2_lut_out, GLOBAL(clk), VCC, , \k1:cnt1[1], , , , );


--A1L71 is Select~2000 at LC_X12_Y13_N8
--operation mode is normal

A1L71 = !state.up2 & !state.down2 & state.up1;


--position[0] is position[0] at LC_X14_Y12_N5
--operation mode is normal

position[0]_qfbk = position[0];
position[0]_lut_out = A1L70 # !state.down1 & position[0]_qfbk & A1L71;
position[0] = DFFEAS(position[0]_lut_out, GLOBAL(clk), VCC, , \k1:cnt1[1], VCC, , , reset);


--\k1:cnt1[1] is \k1:cnt1[1] at LC_X11_Y13_N7
--operation mode is normal

\k1:cnt1[1]_lut_out = \k1:cnt1[1] & reset # !\k1:cnt1[1] & (\k1:cnt1[0]);
\k1:cnt1[1] = DFFEAS(\k1:cnt1[1]_lut_out, GLOBAL(clk), VCC, , , , , , );


--position[1] is position[1] at LC_X13_Y12_N6
--operation mode is normal

position[1]_qfbk = position[1];
position[1]_lut_out = state.down1 & position[0] & position[1]_qfbk # !state.down1 & (position[1]_qfbk # !A1L71);
position[1] = DFFEAS(position[1]_lut_out, GLOBAL(clk), VCC, , \k1:cnt1[1], , , reset, );


--state.stop is state.stop at LC_X12_Y12_N5
--operation mode is normal

state.stop_lut_out = A1L101 # state.down1 # fl2 & !A1L102;
state.stop = DFFEAS(state.stop_lut_out, GLOBAL(clk), VCC, , \k1:cnt1[1], , , , );


--fl2 is fl2 at LC_X12_Y13_N5
--operation mode is normal

fl2_lut_out = flag2 & (A1L79 # A1L65 # !A1L80);
fl2 = DFFEAS(fl2_lut_out, GLOBAL(clk), VCC, , A1L15, , , , );


--A1L50 is lup[5]~331 at LC_X14_Y12_N6
--operation mode is normal

A1L50 = fl2 & (!position[1] & position[0]);


--state.dw4 is state.dw4 at LC_X13_Y12_N4
--operation mode is normal

state.dw4_lut_out = state.dw3 # state.dw4 & A1L105;
state.dw4 = DFFEAS(state.dw4_lut_out, GLOBAL(clk), VCC, , \k1:cnt1[1], , , reset, );


--fl3 is fl3 at LC_X13_Y12_N2
--operation mode is normal

fl3_lut_out = flag3 & (state.dw4 & (!A1L68) # !state.dw4 & !A1L81);
fl3 = DFFEAS(fl3_lut_out, GLOBAL(clk), VCC, , A1L15, , , , );


--state.dw5 is state.dw5 at LC_X12_Y12_N0
--operation mode is normal

state.dw5_lut_out = A1L82 # !fl3 & !fl1 & state.dw5;
state.dw5 = DFFEAS(state.dw5_lut_out, GLOBAL(clk), VCC, , \k1:cnt1[1], , , reset, );


--\k1:updown is \k1:updown at LC_X13_Y13_N4
--operation mode is normal

\k1:updown_lut_out = A1L15 & (A1L55 # \k1:updown & !A1L78) # !A1L15 & (\k1:updown);
\k1:updown = DFFEAS(\k1:updown_lut_out, GLOBAL(clk), VCC, , , , , , );


--A1L51 is lup[5]~332 at LC_X13_Y13_N0
--operation mode is normal

A1L51 = position[1] & state.dw4 & !position[0];


--A1L52 is lup[5]~333 at LC_X13_Y13_N8
--operation mode is normal

A1L52 = fl3 & (state.dw5 # A1L51 & \k1:updown);


--A1L69 is rtl~53 at LC_X13_Y13_N1
--operation mode is normal

A1L69 = !position[1] & (position[0]);


--A1L100 is state~481 at LC_X13_Y13_N2
--operation mode is normal

A1L100 = A1L69 & state.dw4 & (fl2 # fl3);


--A1L24 is ldown[5]~493 at LC_X11_Y13_N5
--operation mode is normal

A1L24 = !reset & (over # emergency # !state.stop);


--A1L53 is lup[5]~334 at LC_X13_Y13_N9
--operation mode is normal

A1L53 = \k1:cnt1[1] & (A1L52 # A1L100 # !A1L24);


--A1L25 is ldown[5]~494 at LC_X11_Y13_N0
--operation mode is normal

A1L25 = position[1] & fl2 & position[0];


--fl1 is fl1 at LC_X11_Y12_N4
--operation mode is normal

fl1_lut_out = flag1 & (state.dw4 & (!A1L69) # !state.dw4 & !A1L83);
fl1 = DFFEAS(fl1_lut_out, GLOBAL(clk), VCC, , A1L15, , , , );


--A1L26 is ldown[5]~495 at LC_X11_Y13_N8
--operation mode is normal

A1L26 = fl1 & (position[0] # !\k1:updown) # !fl1 & fl2 & (position[0]);


--A1L27 is ldown[5]~496 at LC_X11_Y13_N2
--operation mode is normal

A1L27 = A1L26 & state.dw4 & position[1];


--A1L28 is ldown[5]~497 at LC_X11_Y13_N1
--operation mode is normal

A1L28 = fl3 # !state.dw5 # !fl1;


--A1L29 is ldown[5]~498 at LC_X11_Y13_N6
--operation mode is normal

A1L29 = \k1:cnt1[1] & (A1L27 # !A1L28 # !A1L24);


--A1L74 is Select~2003 at LC_X12_Y14_N2
--operation mode is normal

A1L74 = !over & (!emergency);


--A1L75 is Select~2004 at LC_X13_Y12_N8
--operation mode is normal

A1L75 = state.dw5 & (fl1 # fl3) # !state.dw5 & (state.dw4);


--A1L15 is fl1~2 at LC_X11_Y13_N9
--operation mode is normal

A1L15 = !reset & \k1:cnt1[1];


--A1L54 is lup[5]~335 at LC_X12_Y12_N8
--operation mode is normal

A1L54 = !fl3 # !state.dw5;


--A1L76 is Select~2006 at LC_X13_Y13_N3
--operation mode is normal

A1L76 = A1L51 & \k1:updown & fl3;


--A1L77 is Select~2007 at LC_X13_Y13_N5
--operation mode is normal

A1L77 = fl1 & (!\k1:updown & A1L51);


--A1L55 is lup[5]~336 at LC_X13_Y12_N3
--operation mode is normal

A1L55 = !position[1] & (state.dw4 & position[0]);


--A1L78 is Select~2008 at LC_X13_Y12_N5
--operation mode is normal

A1L78 = position[1] & (state.dw4 & position[0]);


--\k1:cnt1[0] is \k1:cnt1[0] at LC_X11_Y13_N3
--operation mode is normal

\k1:cnt1[0]_lut_out = \k1:cnt1[1] & (\k1:cnt1[0] # !reset) # !\k1:cnt1[1] & (!\k1:cnt1[0]);
\k1:cnt1[0] = DFFEAS(\k1:cnt1[0]_lut_out, GLOBAL(clk), VCC, , , , , , );


--A1L101 is state~482 at LC_X12_Y12_N6
--operation mode is normal

A1L101 = reset # state.up2 # !A1L74 & state.stop;


--A1L102 is state~483 at LC_X12_Y13_N2
--operation mode is normal

A1L102 = !state.down2 & state.up1;


--flag2 is flag2 at LC_X10_Y13_N2
--operation mode is normal

flag2_lut_out = downtwo # A1L20 # !clear2 & flag2;
flag2 = DFFEAS(flag2_lut_out, GLOBAL(clk), VCC, , , , , , );


--state.dw3 is state.dw3 at LC_X14_Y12_N4
--operation mode is normal

state.dw3_lut_out = !reset & state.dw2;
state.dw3 = DFFEAS(state.dw3_lut_out, GLOBAL(clk), VCC, , \k1:cnt1[1], , , , );


--state.dw1 is state.dw1 at LC_X12_Y12_N1
--operation mode is normal

state.dw1_lut_out = !over & state.stop & !reset & !emergency;
state.dw1 = DFFEAS(state.dw1_lut_out, GLOBAL(clk), VCC, , \k1:cnt1[1], , , , );


--state.dw2 is state.dw2 at LC_X14_Y12_N2
--operation mode is normal

state.dw2_lut_out = !reset & state.dw1;
state.dw2 = DFFEAS(state.dw2_lut_out, GLOBAL(clk), VCC, , \k1:cnt1[1], , , , );


--A1L66 is reduce_or~62 at LC_X11_Y12_N6
--operation mode is normal

A1L66 = state.dw1 # state.dw5 # state.dw2 # state.stop;


--A1L65 is reduce_or~9 at LC_X11_Y12_N2
--operation mode is normal

A1L65 = state.dw3 # A1L66;


--A1L79 is Select~2009 at LC_X12_Y13_N9
--operation mode is normal

A1L79 = state.dw4 & (state.up2 # position[0] # !position[1]) # !state.dw4 & state.up2 & (position[1] # !position[0]);


--A1L68 is rtl~0 at LC_X13_Y12_N1
--operation mode is normal

A1L68 = position[1] & (position[0]);


--A1L80 is Select~2010 at LC_X12_Y13_N3
--operation mode is normal

A1L80 = state.down1 & A1L68 & (A1L102 # fl2) # !state.down1 & (A1L102 # fl2);


--flag3 is flag3 at LC_X11_Y15_N2
--operation mode is normal

flag3_lut_out = downthree # three # flag3 & !clear3;
flag3 = DFFEAS(flag3_lut_out, GLOBAL(clk), VCC, , , , , , );


--A1L81 is Select~2012 at LC_X13_Y12_N9
--operation mode is normal

A1L81 = state.up2 & !position[0] & (position[1]);


--A1L82 is Select~2014 at LC_X13_Y13_N6
--operation mode is normal

A1L82 = A1L51 & (\k1:updown & (!fl3) # !\k1:updown & !fl1);


--flag1 is flag1 at LC_X10_Y12_N2
--operation mode is normal

flag1_lut_out = one # upone # !clear1 & flag1;
flag1 = DFFEAS(flag1_lut_out, GLOBAL(clk), VCC, , , , , , );


--A1L83 is Select~2015 at LC_X12_Y12_N3
--operation mode is normal

A1L83 = position[1] & (state.down1 & !position[0]);


--A1L20 is flag2~22 at LC_X10_Y13_N1
--operation mode is normal

A1L20 = two # uptwo;


--clear2 is clear2 at LC_X11_Y12_N8
--operation mode is normal

clear2_lut_out = A1L84 # A1L86 # state.up2 & A1L69;
clear2 = DFFEAS(clear2_lut_out, GLOBAL(clk), VCC, , A1L15, , , , );


--clear3 is clear3 at LC_X11_Y12_N1
--operation mode is normal

clear3_lut_out = A1L81 # A1L78 # A1L88;
clear3 = DFFEAS(clear3_lut_out, GLOBAL(clk), VCC, , A1L15, , , , );


--clear1 is clear1 at LC_X11_Y12_N9
--operation mode is normal

clear1_lut_out = A1L83 # A1L55 # A1L89;
clear1 = DFFEAS(clear1_lut_out, GLOBAL(clk), VCC, , A1L15, , , , );


--A1L84 is Select~2017 at LC_X12_Y12_N9
--operation mode is normal

A1L84 = position[1] & (position[0] & (state.down1) # !position[0] & state.dw4);


--A1L85 is Select~2018 at LC_X12_Y13_N1
--operation mode is normal

A1L85 = !state.down2 & state.up1 & (fl2 # !state.dw4);


--A1L86 is Select~2019 at LC_X11_Y12_N7
--operation mode is normal

A1L86 = fl2 & (!A1L85) # !fl2 & clear2 & (A1L65 # !A1L85);


--A1L103 is state~488 at LC_X12_Y13_N4
--operation mode is normal

A1L103 = fl2 & (state.down2 # !state.up1);


--A1L87 is Select~2021 at LC_X11_Y12_N3
--operation mode is normal

A1L87 = !state.dw3 & !A1L103 & !state.dw4 & !A1L66;


--A1L88 is Select~2022 at LC_X11_Y12_N0
--operation mode is normal

A1L88 = !fl3 & clear3 & (state.up2 # !A1L87);


--A1L89 is Select~2024 at LC_X11_Y12_N5
--operation mode is normal

A1L89 = !fl1 & clear1 & (state.down1 # !A1L87);


--A1L104 is state~491 at LC_X13_Y12_N7
--operation mode is normal

A1L104 = position[0] & !fl2 & (position[1] # !fl3) # !position[0] & (!position[1]);


--A1L105 is state~492 at LC_X13_Y12_N0
--operation mode is normal

A1L105 = A1L104 & (!position[1] # !fl1);


--lock is lock at PIN_41
--operation mode is input

lock = INPUT();


--clk is clk at PIN_29
--operation mode is input

clk = INPUT();


--reset is reset at PIN_218
--operation mode is input

reset = INPUT();


--emergency is emergency at PIN_220
--operation mode is input

emergency = INPUT();


--over is over at PIN_219
--operation mode is input

over = INPUT();


--two is two at PIN_19
--operation mode is input

two = INPUT();


--uptwo is uptwo at PIN_20
--operation mode is input

uptwo = INPUT();


--downtwo is downtwo at PIN_23
--operation mode is input

downtwo = INPUT();


--three is three at PIN_223
--operation mode is input

three = INPUT();


--downthree is downthree at PIN_222
--operation mode is input

downthree = INPUT();


--one is one at PIN_28
--operation mode is input

one = INPUT();


--upone is upone at PIN_39
--operation mode is input

upone = INPUT();


--alarm is alarm at PIN_214
--operation mode is output

alarm = OUTPUT(VCC);


--ovelight is ovelight at PIN_195
--operation mode is output

ovelight = OUTPUT(VCC);


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

locklight = OUTPUT(VCC);


--p[0] is p[0] at PIN_217
--operation mode is output

p[0] = OUTPUT(position[0]);


--p[1] is p[1] at PIN_216
--operation mode is output

p[1] = OUTPUT(position[1]);


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

lightup[0] = OUTPUT(VCC);


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

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


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

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


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

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


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

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


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

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


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

lightup[6] = OUTPUT(VCC);


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

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


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

lightdown[1] = OUTPUT(VCC);


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

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


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

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


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

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


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

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


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

lightdown[6] = OUTPUT(VCC);


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

arrive = OUTPUT(arr);