dianti.map.eqn

用VHDL 语言描述度八层电梯

-- 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.
--A1L79Q is door[0]~reg0
--operation mode is normal

A1L79Q_lut_out = A1L223 & A1L83 & !opendoor & !deng;
A1L79Q = DFFEAS(A1L79Q_lut_out, clk, VCC, , A1L224, , , , );


--A1L81Q is door[1]~reg0
--operation mode is normal

A1L81Q_lut_out = A1L226 # !A1L223 & (q1[2] # !A1L180);
A1L81Q = DFFEAS(A1L81Q_lut_out, clk, VCC, , A1L224, , , , );


--A1L130Q is led[0]~reg0
--operation mode is normal

A1L130Q_lut_out = g1;
A1L130Q = DFFEAS(A1L130Q_lut_out, clk, VCC, , A1L129, , , , );


--A1L132Q is led[1]~reg0
--operation mode is normal

A1L132Q_lut_out = g3 # g2;
A1L132Q = DFFEAS(A1L132Q_lut_out, clk, VCC, , A1L129, VCC, , , g1);


--A1L134Q is led[2]~reg0
--operation mode is normal

A1L134Q_lut_out = !g2 & (A1L127 # g3);
A1L134Q = DFFEAS(A1L134Q_lut_out, clk, VCC, , A1L129, VCC, , , g1);


--A1L141Q is led[6]~reg0
--operation mode is normal

A1L141Q_lut_out = g4 & !g3 & (!g2);
A1L141Q = DFFEAS(A1L141Q_lut_out, clk, VCC, , A1L129, VCC, , , g1);


--A1L137Q is led[4]~reg0
--operation mode is normal

A1L137Q_lut_out = A1L179;
A1L137Q = DFFEAS(A1L137Q_lut_out, clk, VCC, , A1L129, , , , );


--A1L139Q is led[5]~reg0
--operation mode is normal

A1L139Q_lut_out = !g4 & !g3;
A1L139Q = DFFEAS(A1L139Q_lut_out, clk, VCC, , A1L129, ~GND, , g1, g2);


--A1L156Q is led_c_u[0]~reg0
--operation mode is normal

A1L156Q_lut_out = cc_u[0];
A1L156Q = DFFEAS(A1L156Q_lut_out, clk, VCC, , , , , , );


--A1L158Q is led_c_u[1]~reg0
--operation mode is normal

A1L158Q_lut_out = cc_u[1];
A1L158Q = DFFEAS(A1L158Q_lut_out, clk, VCC, , , , , , );


--A1L160Q is led_c_u[2]~reg0
--operation mode is normal

A1L160Q_lut_out = cc_u[2];
A1L160Q = DFFEAS(A1L160Q_lut_out, clk, VCC, , , , , , );


--A1L162Q is led_c_u[3]~reg0
--operation mode is normal

A1L162Q_lut_out = cc_u[3];
A1L162Q = DFFEAS(A1L162Q_lut_out, clk, VCC, , , , , , );


--A1L164Q is led_c_u[4]~reg0
--operation mode is normal

A1L164Q_lut_out = cc_u[4];
A1L164Q = DFFEAS(A1L164Q_lut_out, clk, VCC, , , , , , );


--A1L145Q is led_c_d[1]~reg0
--operation mode is normal

A1L145Q_lut_out = cc_d[1];
A1L145Q = DFFEAS(A1L145Q_lut_out, clk, VCC, , , , , , );


--A1L147Q is led_c_d[2]~reg0
--operation mode is normal

A1L147Q_lut_out = cc_d[2];
A1L147Q = DFFEAS(A1L147Q_lut_out, clk, VCC, , , , , , );


--A1L149Q is led_c_d[3]~reg0
--operation mode is normal

A1L149Q_lut_out = cc_d[3];
A1L149Q = DFFEAS(A1L149Q_lut_out, clk, VCC, , , , , , );


--A1L151Q is led_c_d[4]~reg0
--operation mode is normal

A1L151Q_lut_out = cc_d[4];
A1L151Q = DFFEAS(A1L151Q_lut_out, clk, VCC, , , , , , );


--A1L153Q is led_c_d[5]~reg0
--operation mode is normal

A1L153Q_lut_out = cc_d[5];
A1L153Q = DFFEAS(A1L153Q_lut_out, clk, VCC, , , , , , );


--A1L168Q is led_d[0]~reg0
--operation mode is normal

A1L168Q_lut_out = dd[0];
A1L168Q = DFFEAS(A1L168Q_lut_out, clk, VCC, , , , , , );


--A1L170Q is led_d[1]~reg0
--operation mode is normal

A1L170Q_lut_out = dd[1];
A1L170Q = DFFEAS(A1L170Q_lut_out, clk, VCC, , , , , , );


--A1L172Q is led_d[2]~reg0
--operation mode is normal

A1L172Q_lut_out = dd[2];
A1L172Q = DFFEAS(A1L172Q_lut_out, clk, VCC, , , , , , );


--A1L174Q is led_d[3]~reg0
--operation mode is normal

A1L174Q_lut_out = dd[3];
A1L174Q = DFFEAS(A1L174Q_lut_out, clk, VCC, , , , , , );


--A1L176Q is led_d[4]~reg0
--operation mode is normal

A1L176Q_lut_out = dd[4];
A1L176Q = DFFEAS(A1L176Q_lut_out, clk, VCC, , , , , , );


--A1L178Q is led_d[5]~reg0
--operation mode is normal

A1L178Q_lut_out = dd[5];
A1L178Q = DFFEAS(A1L178Q_lut_out, clk, VCC, , , , , , );


--A1L249Q is wahaha~reg0
--operation mode is normal

A1L249Q_lut_out = A1L247 # q & A1L222 & A1L248;
A1L249Q = DFFEAS(A1L249Q_lut_out, clk, VCC, , , , , , );


--A1L240Q is ud~reg0
--operation mode is normal

A1L240Q_lut_out = updown;
A1L240Q = DFFEAS(A1L240Q_lut_out, clk, VCC, , , , , , );


--A1L2Q is alarm~reg0
--operation mode is normal

A1L2Q_lut_out = clr & A1L2Q # !clr & (full);
A1L2Q = DFFEAS(A1L2Q_lut_out, clk, VCC, , , , , , );


--A1L245Q is up~reg0
--operation mode is normal

A1L245Q_lut_out = A1L245Q # A1L244;
A1L245Q = DFFEAS(A1L245Q_lut_out, clk, VCC, , A1L126, , , opendoor, );


--A1L87Q is down~reg0
--operation mode is normal

A1L87Q_lut_out = A1L87Q # A1L86;
A1L87Q = DFFEAS(A1L87Q_lut_out, clk, VCC, , A1L126, , , opendoor, );


--q is q
--operation mode is normal

q_lut_out = !q;
q = DFFEAS(q_lut_out, clk, VCC, , A1L248, , , , );


--en_dw is en_dw
--operation mode is normal

en_dw_lut_out = A1L92 # A1L103 & A1L91 & !g2;
en_dw = DFFEAS(en_dw_lut_out, clk, VCC, , , , , , );


--en_up is en_up
--operation mode is normal

en_up_lut_out = A1L106 # A1L111 # A1L112 & A1L116;
en_up = DFFEAS(en_up_lut_out, clk, VCC, , A1L126, , , , );


--A1L221 is rtl~1711
--operation mode is normal

A1L221 = !en_dw & !en_up;


--q2[0] is q2[0]
--operation mode is arithmetic

q2[0]_lut_out = deng $ q2[0];
q2[0] = DFFEAS(q2[0]_lut_out, clk, VCC, , A1L210, , , A1L209, );

--A1L208 is q2[0]~144
--operation mode is arithmetic

A1L208 = CARRY(deng & q2[0]);


--q2[1] is q2[1]
--operation mode is arithmetic

q2[1]_carry_eqn = A1L208;
q2[1]_lut_out = q2[1] $ (q2[1]_carry_eqn);
q2[1] = DFFEAS(q2[1]_lut_out, clk, VCC, , A1L210, , , A1L209, );

--A1L212 is q2[1]~148
--operation mode is arithmetic

A1L212 = CARRY(!A1L208 # !q2[1]);


--q2[2] is q2[2]
--operation mode is arithmetic

q2[2]_carry_eqn = A1L212;
q2[2]_lut_out = q2[2] $ (!q2[2]_carry_eqn);
q2[2] = DFFEAS(q2[2]_lut_out, clk, VCC, , A1L210, , , A1L209, );

--A1L214 is q2[2]~152
--operation mode is arithmetic

A1L214 = CARRY(q2[2] & (!A1L212));


--q2[3] is q2[3]
--operation mode is normal

q2[3]_carry_eqn = A1L214;
q2[3]_lut_out = q2[3] $ (q2[3]_carry_eqn);
q2[3] = DFFEAS(q2[3]_lut_out, clk, VCC, , A1L210, , , A1L209, );


--A1L222 is rtl~1712
--operation mode is normal

A1L222 = q2[0] & q2[1] & !q2[2] & !q2[3];


--A1L223 is rtl~1713
--operation mode is normal

A1L223 = q & !A1L221 & !full & !A1L222;


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

q1[0]_lut_out = A1L205 & (quick # q1[0] $ !A1L227);
q1[0] = DFFEAS(q1[0]_lut_out, clk, VCC, , A1L202, , , , );


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

q1[2]_lut_out = A1L205 & !quick & (A1L180 $ !q1[2]);
q1[2] = DFFEAS(q1[2]_lut_out, clk, VCC, , A1L202, , , , );


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

q1[1]_lut_out = A1L205 & (quick # q1[0] $ q1[1]);
q1[1] = DFFEAS(q1[1]_lut_out, clk, VCC, , A1L202, , , , );


--A1L82 is door~201
--operation mode is normal

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


--A1L83 is door~202
--operation mode is normal

A1L83 = quick & A1L79Q # !quick & (A1L82);


--opendoor is opendoor
--operation mode is normal

opendoor_lut_out = A1L189 # A1L193 # A1L195 # A1L197;
opendoor = DFFEAS(opendoor_lut_out, clk, VCC, , A1L126, , , , );


--A1L201 is q1[0]~338
--operation mode is normal

A1L201 = q & (!A1L222);


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

A1L217 = en_dw # en_up # opendoor;


--A1L224 is rtl~1715
--operation mode is normal

A1L224 = !clr & (full # A1L201 & A1L217);


--A1L225 is rtl~1716
--operation mode is normal

A1L225 = !A1L221 & (deng # A1L81Q & quick);


--A1L226 is rtl~1717
--operation mode is normal

A1L226 = A1L201 & !full & (opendoor # A1L225);


--A1L180 is LessThan~593
--operation mode is normal

A1L180 = !q1[1] # !q1[0];


--A1L126 is led[0]~248
--operation mode is normal

A1L126 = q & !full & !A1L222 & !clr;


--A1L127 is led[0]~249
--operation mode is normal

A1L127 = g4 # g5;


--A1L128 is led[0]~250
--operation mode is normal

A1L128 = !g1 & !g3 & !g2;


--A1L129 is led[0]~251
--operation mode is normal

A1L129 = A1L126 & (g6 # A1L127 # !A1L128);


--A1L179 is led~252
--operation mode is normal

A1L179 = g2 & (!g1);


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

cc_u[0]_lut_out = c_u11;
cc_u[0] = DFFEAS(cc_u[0]_lut_out, clk, VCC, , A1L228, , , , );


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

cc_u[1]_lut_out = c_u22;
cc_u[1] = DFFEAS(cc_u[1]_lut_out, clk, VCC, , A1L228, , , , );


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

cc_u[2]_lut_out = c_u33;
cc_u[2] = DFFEAS(cc_u[2]_lut_out, clk, VCC, , A1L228, , , , );


--cc_u[3] is cc_u[3]
--operation mode is normal

cc_u[3]_lut_out = c_u44;
cc_u[3] = DFFEAS(cc_u[3]_lut_out, clk, VCC, , A1L228, , , , );


--cc_u[4] is cc_u[4]
--operation mode is normal

cc_u[4]_lut_out = c_u55;
cc_u[4] = DFFEAS(cc_u[4]_lut_out, clk, VCC, , A1L228, , , , );


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

cc_d[1]_lut_out = c_d22;
cc_d[1] = DFFEAS(cc_d[1]_lut_out, clk, VCC, , A1L228, , , , );


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

cc_d[2]_lut_out = c_d33;
cc_d[2] = DFFEAS(cc_d[2]_lut_out, clk, VCC, , A1L228, , , , );


--cc_d[3] is cc_d[3]
--operation mode is normal

cc_d[3]_lut_out = c_d44;
cc_d[3] = DFFEAS(cc_d[3]_lut_out, clk, VCC, , A1L228, , , , );


--cc_d[4] is cc_d[4]
--operation mode is normal

cc_d[4]_lut_out = c_d55;
cc_d[4] = DFFEAS(cc_d[4]_lut_out, clk, VCC, , A1L228, , , , );


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

cc_d[5]_lut_out = c_d66;
cc_d[5] = DFFEAS(cc_d[5]_lut_out, clk, VCC, , A1L228, , , , );


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

dd[0]_lut_out = d11;
dd[0] = DFFEAS(dd[0]_lut_out, clk, VCC, , A1L228, , , , );


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

dd[1]_lut_out = d22;
dd[1] = DFFEAS(dd[1]_lut_out, clk, VCC, , A1L228, , , , );


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

dd[2]_lut_out = d33;
dd[2] = DFFEAS(dd[2]_lut_out, clk, VCC, , A1L228, , , , );


--dd[3] is dd[3]
--operation mode is normal

dd[3]_lut_out = d44;
dd[3] = DFFEAS(dd[3]_lut_out, clk, VCC, , A1L228, , , , );


--dd[4] is dd[4]
--operation mode is normal

dd[4]_lut_out = d55;
dd[4] = DFFEAS(dd[4]_lut_out, clk, VCC, , A1L228, , , , );


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

dd[5]_lut_out = d66;
dd[5] = DFFEAS(dd[5]_lut_out, clk, VCC, , A1L228, , , , );


--A1L247 is wahaha~74
--operation mode is normal

A1L247 = A1L249Q & (!clr);


--A1L248 is wahaha~75
--operation mode is normal

A1L248 = !full & !clr;


--updown is updown
--operation mode is normal

updown_lut_out = A1L243 & (A1L244 # updown & !A1L85) # !A1L243 & (updown);
updown = DFFEAS(updown_lut_out, clk, VCC, , , , , , );


--A1L227 is rtl~1719
--operation mode is normal

A1L227 = q1[1] & q1[2] & (!q1[0]);


--A1L244 is up~88
--operation mode is normal

A1L244 = en_up & A1L227 & !quick & !deng;


--A1L85 is down~119
--operation mode is normal

A1L85 = en_dw & A1L227 & !quick & !deng;


--A1L86 is down~120
--operation mode is normal

A1L86 = A1L85 & (!en_up);


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

dd_cc[5]_lut_out = cc_d[5] # dd[5];
dd_cc[5] = DFFEAS(dd_cc[5]_lut_out, clk, VCC, , A1L228, , , , );


--dd_cc[4] is dd_cc[4]
--operation mode is normal

dd_cc[4]_lut_out = cc_u[4] # cc_d[4] # dd[4];
dd_cc[4] = DFFEAS(dd_cc[4]_lut_out, clk, VCC, , A1L228, , , , );


--dd_cc[3] is dd_cc[3]
--operation mode is normal

dd_cc[3]_lut_out = cc_u[3] # cc_d[3] # dd[3];
dd_cc[3] = DFFEAS(dd_cc[3]_lut_out, clk, VCC, , A1L228, , , , );


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

dd_cc[2]_lut_out = cc_u[2] # cc_d[2] # dd[2];
dd_cc[2] = DFFEAS(dd_cc[2]_lut_out, clk, VCC, , A1L228, , , , );


--A1L181 is LessThan~594
--operation mode is normal

A1L181 = !dd_cc[5] & !dd_cc[4] & !dd_cc[3] & !dd_cc[2];


--c_d22 is c_d22
--operation mode is normal

c_d22_lut_out = c_d22 & (A1L9 # c_d2 & !q) # !c_d22 & (c_d2 & !q);
c_d22 = DFFEAS(c_d22_lut_out, clk, VCC, , A1L248, , , , );


--c_u22 is c_u22
--operation mode is normal

c_u22_lut_out = c_u22 & (A1L26 # c_u2 & A1L25) # !c_u22 & c_u2 & A1L25;
c_u22 = DFFEAS(c_u22_lut_out, clk, VCC, , A1L248, , , , );


--A1L89 is en_dw~1644
--operation mode is normal

A1L89 = updown & A1L181 & (!c_u22) # !updown & (!c_d22);


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

dd_cc[1]_lut_out = cc_u[1] # cc_d[1] # dd[1];
dd_cc[1] = DFFEAS(dd_cc[1]_lut_out, clk, VCC, , A1L228, , , , );


--A1L182 is LessThan~595
--operation mode is normal

A1L182 = dd_cc[1] # !A1L181;


--d22 is d22
--operation mode is normal

d22_lut_out = A1L54 # d22 & (!A1L179 # !A1L201);
d22 = DFFEAS(d22_lut_out, clk, VCC, , A1L248, , , , );


--A1L90 is en_dw~1645
--operation mode is normal

A1L90 = g2 & A1L89 & !A1L182 & !d22;


--A1L91 is en_dw~1646
--operation mode is normal

A1L91 = q & A1L248 & !A1L222 & !g1;


--A1L92 is en_dw~1647
--operation mode is normal

A1L92 = A1L91 & (A1L90 # en_dw & g2) # !A1L91 & en_dw;


--A1L183 is LessThan~596
--operation mode is normal

A1L183 = !dd_cc[5] & !dd_cc[4] & !dd_cc[3];


--c_d44 is c_d44
--operation mode is normal

c_d44_lut_out = A1L222 & (c_d44) # !A1L222 & A1L14;
c_d44 = DFFEAS(c_d44_lut_out, clk, VCC, , A1L248, A1L15, , , !q);


--c_u44 is c_u44
--operation mode is normal

c_u44_lut_out = A1L229 # c_u44 & (!A1L230 # !updown);
c_u44 = DFFEAS(c_u44_lut_out, clk, VCC, , A1L219, , , , );


--A1L93 is en_dw~1648
--operation mode is normal

A1L93 = updown & (!c_u44) # !updown & !c_d44;


--A1L94 is en_dw~1649
--operation mode is normal

A1L94 = g4 & (!g3);


--d44 is d44
--operation mode is normal

d44_lut_out = d4 & (A1L231 # d44 & !A1L230) # !d4 & (d44 & !A1L230);
d44 = DFFEAS(d44_lut_out, clk, VCC, , A1L218, , , , );


--A1L95 is en_dw~1650
--operation mode is normal

A1L95 = A1L183 & A1L93 & A1L94 & !d44;


--d66 is d66
--operation mode is normal

d66_lut_out = d66 & (A1L234 # A1L232 & A1L233) # !d66 & A1L232 & A1L233;
d66 = DFFEAS(d66_lut_out, clk, VCC, , A1L218, , , , );


--c_d66 is c_d66
--operation mode is normal

c_d66_lut_out = A1L235 # c_d66 & A1L234;
c_d66 = DFFEAS(c_d66_lut_out, clk, VCC, , A1L220, , , , );


--A1L96 is en_dw~1651
--operation mode is normal

A1L96 = g6 & !dd_cc[5] & !d66 & !c_d66;


--A1L97 is en_dw~1652
--operation mode is normal

A1L97 = !g3 & !g4 & !g5;


--A1L98 is en_dw~1653
--operation mode is normal

A1L98 = A1L97 & (A1L96 # en_dw & g6) # !A1L97 & en_dw;


--c_d33 is c_d33
--operation mode is normal

c_d33_lut_out = A1L11 # c_d3 & !q & !c_d2;
c_d33 = DFFEAS(c_d33_lut_out, clk, VCC, , A1L248, , , , );


--c_u33 is c_u33
--operation mode is normal

c_u33_lut_out = A1L28 # c_u3 & A1L25 & !c_u2;
c_u33 = DFFEAS(c_u33_lut_out, clk, VCC, , A1L248, , , , );


--d33 is d33
--operation mode is normal

d33_lut_out = A1L222 & (d33) # !A1L222 & A1L57;
d33 = DFFEAS(d33_lut_out, clk, VCC, , A1L248, A1L58, , , !q);


--A1L99 is en_dw~1654
--operation mode is normal

A1L99 = !d33 & (updown & (!c_u33) # !updown & !c_d33);


--A1L100 is en_dw~1655
--operation mode is normal

A1L100 = A1L98 # g3 & A1L181 & A1L99;