control.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.
--position[0] is position[0]
--operation mode is normal

position[0]_lut_out = A1L72;
position[0] = DFFEAS(position[0]_lut_out, clk, VCC, , \k1:cnt1[1], VCC, , , reset);


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

position[1]_lut_out = A1L73;
position[1] = DFFEAS(position[1]_lut_out, clk, VCC, , \k1:cnt1[1], , , reset, );


--lup[5] is lup[5]
--operation mode is normal

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


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

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


--arr is arr
--operation mode is normal

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


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

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


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

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


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

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


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

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


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

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


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

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


--A1L72 is Select~2001
--operation mode is normal

A1L72 = A1L70 # position[0] & A1L71 & !state.down1;


--\k1:cnt1[1] is \k1:cnt1[1]
--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, clk, VCC, , , , , , );


--A1L73 is Select~2002
--operation mode is normal

A1L73 = position[1] & (position[0] # !state.down1) # !position[1] & (!A1L71 & !state.down1);


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

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


--fl2 is fl2
--operation mode is normal

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


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

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


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

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


--fl3 is fl3
--operation mode is normal

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


--fl1 is fl1
--operation mode is normal

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


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

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


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

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


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

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


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

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


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

A1L74 = !emergency & !over;


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

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


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

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


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

A1L54 = !fl3 # !state.dw5;


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

A1L76 = fl3 & \k1:updown & A1L51;


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

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


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

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


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

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


--\k1:cnt1[0] is \k1:cnt1[0]
--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, clk, VCC, , , , , , );


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

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


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

A1L102 = state.up1 & (!state.down2);


--flag2 is flag2
--operation mode is normal

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


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

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


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

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


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

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


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

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


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

A1L65 = state.dw3 # A1L66;


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

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


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

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


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

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


--flag3 is flag3
--operation mode is normal

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


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

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


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

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


--flag1 is flag1
--operation mode is normal

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


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

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


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

A1L20 = two # uptwo;


--clear2 is clear2
--operation mode is normal

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


--clear3 is clear3
--operation mode is normal

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


--clear1 is clear1
--operation mode is normal

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


--lock is lock
--operation mode is input

lock = INPUT();


--clk is clk
--operation mode is input

clk = INPUT();


--reset is reset
--operation mode is input

reset = INPUT();


--emergency is emergency
--operation mode is input

emergency = INPUT();


--over is over
--operation mode is input

over = INPUT();


--two is two
--operation mode is input

two = INPUT();


--uptwo is uptwo
--operation mode is input

uptwo = INPUT();


--downtwo is downtwo
--operation mode is input

downtwo = INPUT();


--three is three
--operation mode is input

three = INPUT();


--downthree is downthree
--operation mode is input

downthree = INPUT();


--one is one
--operation mode is input

one = INPUT();


--upone is upone
--operation mode is input

upone = INPUT();


--alarm is alarm
--operation mode is output

alarm = OUTPUT(VCC);


--ovelight is ovelight
--operation mode is output

ovelight = OUTPUT(VCC);


--locklight is locklight
--operation mode is output

locklight = OUTPUT(VCC);


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

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


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

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


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

lightup[0] = OUTPUT(VCC);


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

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


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

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


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

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


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

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


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

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


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

lightup[6] = OUTPUT(VCC);


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

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


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

lightdown[1] = OUTPUT(VCC);


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

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


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

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


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

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


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

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


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

lightdown[6] = OUTPUT(VCC);


--arrive is arrive
--operation mode is output

arrive = OUTPUT(arr);