lift_comtrol_main.map.eqn

verilog语言写的一个四层电梯程序

-- 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.
--A1L06Q is led1~reg0
--operation mode is normal

A1L06Q_lut_out = A1L12;
A1L06Q = DFFEAS(A1L06Q_lut_out, clk0, VCC, , , VCC, , , Reset);


--A1L26Q is led2~reg0
--operation mode is normal

A1L26Q_lut_out = !Now_Floor[0] & !Now_Floor[2];
A1L26Q = DFFEAS(A1L26Q_lut_out, clk0, VCC, , A1L66, , , Reset, );


--A1L46Q is led3~reg0
--operation mode is normal

A1L46Q_lut_out = Now_Floor[1] & Now_Floor[0];
A1L46Q = DFFEAS(A1L46Q_lut_out, clk0, VCC, , A1L66, ~GND, , Reset, Now_Floor[2]);


--A1L76Q is led4~reg0
--operation mode is normal

A1L76Q_lut_out = Now_Floor[2] & (!Reset);
A1L76Q = DFFEAS(A1L76Q_lut_out, clk0, VCC, , A1L66, , , , );


--A1L621Q is upled~reg0
--operation mode is normal

A1L621Q_lut_out = A1L421 & A1L521 & (!Reset);
A1L621Q = DFFEAS(A1L621Q_lut_out, clk0, VCC, , , , , , );


--A1L85Q is downled~reg0
--operation mode is normal

A1L85Q_lut_out = A1L521 & A1L75 & (!Reset);
A1L85Q = DFFEAS(A1L85Q_lut_out, clk0, VCC, , , , , , );


--A1L77Q is openled~reg0
--operation mode is normal

A1L77Q_lut_out = A1L521 & !Time8 & Time2 # !A1L521 & (A1L77Q);
A1L77Q = DFFEAS(A1L77Q_lut_out, clk0, VCC, , , , , Reset, );


--A1L42Q is Start~reg0
--operation mode is normal

A1L42Q_lut_out = A1L68 # !Now_Floor[2] & (A1L98 # A1L38);
A1L42Q = DFFEAS(A1L42Q_lut_out, clk0, VCC, , A1L69, , , Reset, );


--A1L08Q is overweighted~reg0
--operation mode is normal

A1L08Q_lut_out = overweight;
A1L08Q = DFFEAS(A1L08Q_lut_out, clk0, VCC, , , , , , );


--A1L96Q is num1~reg0
--operation mode is normal

A1L96Q_lut_out = In_num1 # A1L96Q & (A1L18 # !A1L77Q);
A1L96Q = DFFEAS(A1L96Q_lut_out, clk0, VCC, , , , , Reset, );


--A1L17Q is num2~reg0
--operation mode is normal

A1L17Q_lut_out = In_num2 # A1L17Q & (!A1L79 # !A1L77Q);
A1L17Q = DFFEAS(A1L17Q_lut_out, clk0, VCC, , , , , Reset, );


--A1L37Q is num3~reg0
--operation mode is normal

A1L37Q_lut_out = In_num3 # A1L37Q & (A1L28 # !A1L77Q);
A1L37Q = DFFEAS(A1L37Q_lut_out, clk0, VCC, , , , , Reset, );


--A1L57Q is num4~reg0
--operation mode is normal

A1L57Q_lut_out = In_num4 # A1L57Q & (!A1L58 # !A1L77Q);
A1L57Q = DFFEAS(A1L57Q_lut_out, clk0, VCC, , , , , Reset, );


--A1L411Q is up1~reg0
--operation mode is normal

A1L411Q_lut_out = A1L92 # A1L82 # A1L411Q & !A1L13;
A1L411Q = DFFEAS(A1L411Q_lut_out, clk0, VCC, , , , , Reset, );


--A1L811Q is up2~reg0
--operation mode is normal

A1L811Q_lut_out = A1L711 & (A1L79 # !A1L23 # !Reset);
A1L811Q = DFFEAS(A1L811Q_lut_out, clk0, VCC, , , , , , );


--A1L221Q is up3~reg0
--operation mode is normal

A1L221Q_lut_out = A1L121 # A1L33 # A1L28 & Out_up3;
A1L221Q = DFFEAS(A1L221Q_lut_out, clk0, VCC, , , , , Reset, );


--A1L94Q is down2~reg0
--operation mode is normal

A1L94Q_lut_out = A1L84 # A1L43 # !A1L79 & Out_down2;
A1L94Q = DFFEAS(A1L94Q_lut_out, clk0, VCC, , , , , Reset, );


--A1L25Q is down3~reg0
--operation mode is normal

A1L25Q_lut_out = A1L15 # A1L53 # A1L28 & Out_down3;
A1L25Q = DFFEAS(A1L25Q_lut_out, clk0, VCC, , , , , Reset, );


--A1L55Q is down4~reg0
--operation mode is normal

A1L55Q_lut_out = A1L45 # A1L63 # !A1L58 & Out_down4;
A1L55Q = DFFEAS(A1L55Q_lut_out, clk0, VCC, , , , , Reset, );


--Now_Floor[2] is Now_Floor[2]
--operation mode is normal

Now_Floor[2]_lut_out = !Reset & (Now_Floor[2] $ !A1L72);
Now_Floor[2] = DFFEAS(Now_Floor[2]_lut_out, clk0, VCC, , A1L11, , , , );


--Now_Floor[0] is Now_Floor[0]
--operation mode is normal

Now_Floor[0]_lut_out = A1L521 & (A1L31) # !A1L521 & Now_Floor[0];
Now_Floor[0] = DFFEAS(Now_Floor[0]_lut_out, clk0, VCC, , , VCC, , , Reset);


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

Now_Floor[1]_lut_out = !Reset & (Now_Floor[0] $ Now_Floor[1] $ !A1L34);
Now_Floor[1] = DFFEAS(Now_Floor[1]_lut_out, clk0, VCC, , A1L11, , , , );


--A1L12 is Select~216
--operation mode is normal

A1L12 = Now_Floor[2] & A1L06Q & (Now_Floor[0] # Now_Floor[1]) # !Now_Floor[2] & !Now_Floor[1] & (A1L06Q # Now_Floor[0]);


--A1L66 is led4~143
--operation mode is normal

A1L66 = Reset # Now_Floor[2] $ (Now_Floor[0] # Now_Floor[1]);


--up is up
--operation mode is normal

up_lut_out = A1L301 # A1L401 & (A1L24 # A1L501);
up = DFFEAS(up_lut_out, clk0, VCC, , A1L69, , , , );


--down is down
--operation mode is normal

down_lut_out = A1L48 # Now_Floor[1] & !Now_Floor[2] & A1L111;
down = DFFEAS(down_lut_out, clk0, VCC, , A1L69, , , Reset, );


--A1L421 is upled~75
--operation mode is normal

A1L421 = !A1L42Q & (up # down & A1L621Q);


--A1L521 is upled~76
--operation mode is normal

A1L521 = !Lock & !overweight & !Alarm;


--A1L75 is downled~95
--operation mode is normal

A1L75 = !A1L42Q & (up & A1L85Q # !up & (down));


--A1L58 is rtl~1567
--operation mode is normal

A1L58 = Now_Floor[2] & (!Now_Floor[0] & !Now_Floor[1]);


--A1L83 is always10~307
--operation mode is normal

A1L83 = !A1L57Q & !A1L55Q;


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

A1L68 = A1L58 & !Time8 & (A1L42Q # !A1L83);


--A1L78 is rtl~1569
--operation mode is normal

A1L78 = Now_Floor[0] & (!Time8);


--A1L88 is rtl~1570
--operation mode is normal

A1L88 = !A1L96Q & !A1L411Q;


--A1L98 is rtl~1571
--operation mode is normal

A1L98 = A1L78 & !Now_Floor[1] & (A1L42Q # !A1L88);


--A1L09 is rtl~1572
--operation mode is normal

A1L09 = up # !down & !Time8;


--A1L19 is rtl~1573
--operation mode is normal

A1L19 = A1L09 & (Now_Floor[0] & A1L221Q # !Now_Floor[0] & (A1L811Q));


--A1L29 is rtl~1574
--operation mode is normal

A1L29 = down # !up & !Time8;


--A1L39 is rtl~1575
--operation mode is normal

A1L39 = A1L29 & (Now_Floor[0] & A1L25Q # !Now_Floor[0] & (A1L94Q));


--A1L32 is Start~28
--operation mode is normal

A1L32 = A1L42Q & (!Time8);


--A1L49 is rtl~1576
--operation mode is normal

A1L49 = A1L32 # Now_Floor[0] & A1L37Q # !Now_Floor[0] & (A1L17Q);


--A1L38 is rtl~4
--operation mode is normal

A1L38 = Now_Floor[1] & (A1L19 # A1L39 # A1L49);


--A1L59 is rtl~1577
--operation mode is normal

A1L59 = Now_Floor[2] $ (Now_Floor[0] # Now_Floor[1]);


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

A1L69 = Reset # A1L521 & A1L59;


--A1L18 is reduce_nor~0
--operation mode is normal

A1L18 = Now_Floor[1] # Now_Floor[2] # !Now_Floor[0];


--A1L79 is rtl~1579
--operation mode is normal

A1L79 = Now_Floor[1] & (!Now_Floor[0] & !Now_Floor[2]);


--A1L28 is reduce_nor~2
--operation mode is normal

A1L28 = Now_Floor[2] # !Now_Floor[1] # !Now_Floor[0];


--A1L03 is always4~98
--operation mode is normal

A1L03 = !down & !up;


--A1L13 is always4~99
--operation mode is normal

A1L13 = A1L411Q & !A1L18 & (A1L77Q # A1L03);


--A1L23 is always5~60
--operation mode is normal

A1L23 = !A1L621Q & !A1L85Q;


--A1L92 is always4~4
--operation mode is normal

A1L92 = Out_up1 & A1L23 & !A1L77Q & !A1L18;


--A1L82 is always4~0
--operation mode is normal

A1L82 = Out_up1 & (Now_Floor[1] # Now_Floor[2] # !Now_Floor[0]);


--A1L611 is up2~377
--operation mode is normal

A1L611 = Out_up2 & (A1L23 & !A1L77Q # !A1L79);


--A1L021 is up3~111
--operation mode is normal

A1L021 = up & A1L77Q # !up & (!down);


--A1L711 is up2~378
--operation mode is normal

A1L711 = A1L611 # A1L811Q & (!A1L021 # !A1L79);


--A1L121 is up3~112
--operation mode is normal

A1L121 = A1L221Q & (A1L28 # !A1L021);


--A1L33 is always6~4
--operation mode is normal

A1L33 = A1L23 & Out_up3 & !A1L77Q & !A1L28;


--A1L74 is down2~120
--operation mode is normal

A1L74 = down & A1L77Q # !down & (!up);


--A1L84 is down2~121
--operation mode is normal

A1L84 = A1L94Q & (!A1L74 # !A1L79);


--A1L43 is always7~4
--operation mode is normal

A1L43 = A1L79 & A1L23 & Out_down2 & !A1L77Q;


--A1L15 is down3~108
--operation mode is normal

A1L15 = A1L25Q & (A1L28 # !A1L74);


--A1L53 is always8~4
--operation mode is normal

A1L53 = A1L23 & Out_down3 & !A1L77Q & !A1L28;


--A1L45 is down4~102
--operation mode is normal

A1L45 = A1L55Q & (!A1L77Q & !A1L03 # !A1L58);


--A1L63 is always9~4
--operation mode is normal

A1L63 = A1L58 & A1L23 & Out_down4 & !A1L77Q;


--A1L72 is add~376
--operation mode is normal

A1L72 = Now_Floor[0] & (!Floor_Time # !A1L621Q # !Now_Floor[1]) # !Now_Floor[0] & (Now_Floor[1] # A1L621Q & Floor_Time);


--A1L11 is Now_Floor[1]~428
--operation mode is normal

A1L11 = Reset # !A1L23 & A1L521 & Floor_Time;


--A1L31 is Now_Floor~429
--operation mode is normal

A1L31 = Now_Floor[0] $ (Floor_Time & (A1L621Q # A1L85Q));


--A1L34 is always14~0
--operation mode is normal

A1L34 = A1L621Q & Floor_Time;


--A1L89 is rtl~1580
--operation mode is normal

A1L89 = Now_Floor[0] & (!Now_Floor[2] & !Reset);


--A1L99 is rtl~1581
--operation mode is normal

A1L99 = A1L57Q & A1L221Q;


--A1L001 is rtl~1582
--operation mode is normal

A1L001 = !A1L17Q & !A1L94Q & !A1L811Q;


--A1L93 is always10~308
--operation mode is normal

A1L93 = !A1L37Q & !A1L221Q & !A1L25Q;


--A1L101 is rtl~1583
--operation mode is normal

A1L101 = A1L99 # !Now_Floor[1] & (!A1L93 # !A1L001);


--A1L201 is rtl~1584
--operation mode is normal

A1L201 = up # A1L88 & A1L001 # !Now_Floor[1];


--A1L301 is rtl~1585
--operation mode is normal

A1L301 = A1L89 & (A1L101 # A1L201 & !A1L83);


--A1L73 is always10~9
--operation mode is normal

A1L73 = A1L96Q & (down # A1L94Q) # !A1L96Q & down & A1L411Q;


--A1L401 is rtl~1586
--operation mode is normal

A1L401 = A1L79 & (!Reset & !A1L73);


--A1L04 is always10~309
--operation mode is normal

A1L04 = A1L37Q # A1L57Q;


--A1L14 is always10~310
--operation mode is normal

A1L14 = A1L93 & (!A1L57Q & !A1L55Q);


--A1L24 is always10~311
--operation mode is normal

A1L24 = A1L811Q & (A1L04 # up & !A1L14) # !A1L811Q & (up & !A1L14);


--A1L501 is rtl~1587
--operation mode is normal

A1L501 = A1L88 & !A1L14 & (down # !up);


--A1L48 is rtl~16
--operation mode is normal

A1L48 = A1L58 & (!A1L93 # !A1L001 # !A1L88);


--A1L601 is rtl~1589
--operation mode is normal

A1L601 = A1L57Q & !A1L221Q & (!up) # !A1L57Q & (!up # !A1L55Q);


--A1L701 is rtl~1590
--operation mode is normal

A1L701 = Now_Floor[0] & A1L601 & (!A1L001 # !A1L88);


--A1L801 is rtl~1591
--operation mode is normal

A1L801 = A1L73 & (!Now_Floor[0]);


--A1L901 is rtl~1592
--operation mode is normal

A1L901 = !Now_Floor[0] & (A1L96Q # A1L411Q);


--A1L011 is rtl~1593
--operation mode is normal

A1L011 = A1L901 & (up & A1L14 # !up & (!down));


--A1L111 is rtl~1594
--operation mode is normal

A1L111 = A1L701 # A1L801 # A1L011 & !A1L24;


--~GND is ~GND
--operation mode is normal

~GND = GND;


--clk0 is clk0
--operation mode is input

clk0 = INPUT();


--Reset is Reset
--operation mode is input

Reset = INPUT();


--Lock is Lock
--operation mode is input

Lock = INPUT();


--overweight is overweight
--operation mode is input

overweight = INPUT();


--Alarm is Alarm
--operation mode is input

Alarm = INPUT();


--Time8 is Time8
--operation mode is input

Time8 = INPUT();


--Time2 is Time2
--operation mode is input

Time2 = INPUT();


--In_num1 is In_num1
--operation mode is input

In_num1 = INPUT();


--In_num2 is In_num2
--operation mode is input

In_num2 = INPUT();


--In_num3 is In_num3
--operation mode is input

In_num3 = INPUT();


--In_num4 is In_num4
--operation mode is input

In_num4 = INPUT();


--Out_up1 is Out_up1
--operation mode is input

Out_up1 = INPUT();


--Out_up2 is Out_up2
--operation mode is input

Out_up2 = INPUT();


--Out_up3 is Out_up3
--operation mode is input

Out_up3 = INPUT();


--Out_down2 is Out_down2
--operation mode is input

Out_down2 = INPUT();


--Out_down3 is Out_down3
--operation mode is input

Out_down3 = INPUT();


--Out_down4 is Out_down4
--operation mode is input

Out_down4 = INPUT();


--Floor_Time is Floor_Time
--operation mode is input

Floor_Time = INPUT();


--led1 is led1
--operation mode is output

led1 = OUTPUT(A1L06Q);


--led2 is led2
--operation mode is output

led2 = OUTPUT(A1L26Q);


--led3 is led3
--operation mode is output

led3 = OUTPUT(A1L46Q);


--led4 is led4
--operation mode is output

led4 = OUTPUT(A1L76Q);


--upled is upled
--operation mode is output

upled = OUTPUT(A1L621Q);


--downled is downled
--operation mode is output

downled = OUTPUT(A1L85Q);


--openled is openled
--operation mode is output

openled = OUTPUT(A1L77Q);


--Start is Start
--operation mode is output

Start = OUTPUT(A1L42Q);


--overweighted is overweighted
--operation mode is output

overweighted = OUTPUT(A1L08Q);


--num1 is num1
--operation mode is output

num1 = OUTPUT(A1L96Q);


--num2 is num2
--operation mode is output

num2 = OUTPUT(A1L17Q);


--num3 is num3
--operation mode is output

num3 = OUTPUT(A1L37Q);


--num4 is num4
--operation mode is output

num4 = OUTPUT(A1L57Q);


--up1 is up1
--operation mode is output

up1 = OUTPUT(A1L411Q);


--up2 is up2
--operation mode is output

up2 = OUTPUT(A1L811Q);


--up3 is up3
--operation mode is output

up3 = OUTPUT(A1L221Q);


--down2 is down2
--operation mode is output

down2 = OUTPUT(A1L94Q);


--down3 is down3
--operation mode is output

down3 = OUTPUT(A1L25Q);


--down4 is down4
--operation mode is output

down4 = OUTPUT(A1L55Q);