dianti.map.eqn

用VHDL 语言描述度八层电梯

--A1L101 is en_dw~1656
--operation mode is normal

A1L101 = !dd_cc[5] & !dd_cc[4];


--d55 is d55
--operation mode is normal

d55_lut_out = d5 & (A1L232 # d55 & !A1L236) # !d5 & (d55 & !A1L236);
d55 = DFFEAS(d55_lut_out, clk, VCC, , A1L218, , , , );


--c_u55 is c_u55
--operation mode is normal

c_u55_lut_out = A1L237 # c_u55 & (!A1L236 # !updown);
c_u55 = DFFEAS(c_u55_lut_out, clk, VCC, , A1L219, , , , );


--c_d55 is c_d55
--operation mode is normal

c_d55_lut_out = A1L238 # c_d55 & (updown # !A1L236);
c_d55 = DFFEAS(c_d55_lut_out, clk, VCC, , A1L220, , , , );


--A1L185 is opendoor~2451
--operation mode is normal

A1L185 = d55 # updown & c_u55 # !updown & (c_d55);


--A1L102 is en_dw~1657
--operation mode is normal

A1L102 = g5 & !g3 & !g4 & !A1L185;


--A1L103 is en_dw~1658
--operation mode is normal

A1L103 = A1L95 # A1L100 # A1L101 & A1L102;


--A1L105 is en_up~1707
--operation mode is normal

A1L105 = updown & (!c_u22) # !updown & A1L182 & !c_d22;


--A1L106 is en_up~1708
--operation mode is normal

A1L106 = A1L179 & A1L105 & !A1L181 & !d22;


--A1L107 is en_up~1709
--operation mode is normal

A1L107 = !g3 & !g2 & !g4;


--A1L108 is en_up~1710
--operation mode is normal

A1L108 = A1L107 & (!g1 & !g5);


--A1L109 is en_up~1711
--operation mode is normal

A1L109 = en_up & (g6 # !A1L108);


--d11 is d11
--operation mode is normal

d11_lut_out = d11 & (A1L52 # d1 & !q) # !d11 & (d1 & !q);
d11 = DFFEAS(d11_lut_out, clk, VCC, , A1L248, , , , );


--c_u11 is c_u11
--operation mode is normal

c_u11_lut_out = c_u11 & (A1L52 # c_u1 & !q) # !c_u11 & (c_u1 & !q);
c_u11 = DFFEAS(c_u11_lut_out, clk, VCC, , A1L248, , , , );


--A1L110 is en_up~1712
--operation mode is normal

A1L110 = !d11 & !c_u11;


--A1L111 is en_up~1713
--operation mode is normal

A1L111 = A1L109 # g1 & A1L182 & A1L110;


--A1L112 is en_up~1714
--operation mode is normal

A1L112 = !g1 & !g2;


--A1L113 is en_up~1715
--operation mode is normal

A1L113 = updown & (!c_u33) # !updown & !A1L181 & !c_d33;


--A1L114 is en_up~1716
--operation mode is normal

A1L114 = g3 & A1L113 & !d33 & !A1L183;


--A1L115 is en_up~1717
--operation mode is normal

A1L115 = A1L94 & A1L93 & !A1L101 & !d44;


--A1L116 is en_up~1718
--operation mode is normal

A1L116 = A1L114 # A1L115 # dd_cc[5] & A1L102;


--A1L209 is q2[0]~159
--operation mode is normal

A1L209 = opendoor # clr;


--A1L210 is q2[0]~160
--operation mode is normal

A1L210 = clr # !full & A1L201 & A1L217;


--A1L205 is q1~339
--operation mode is normal

A1L205 = !full & !opendoor & !deng & !clr;


--A1L202 is q1[0]~341
--operation mode is normal

A1L202 = !A1L222 & q & A1L217 # !A1L248;


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

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


--A1L186 is opendoor~2452
--operation mode is normal

A1L186 = opendoor & dd_cc[0] & !A1L182 # !A1L110;


--A1L187 is opendoor~2453
--operation mode is normal

A1L187 = d22 # updown & c_u22 # !updown & (c_d22);


--A1L188 is opendoor~2454
--operation mode is normal

A1L188 = A1L187 # opendoor & A1L181 & dd_cc[1];


--A1L189 is opendoor~2455
--operation mode is normal

A1L189 = g1 & A1L186 # !g1 & (g2 & A1L188);


--A1L190 is opendoor~2456
--operation mode is normal

A1L190 = opendoor & A1L183 & dd_cc[2] # !A1L99;


--A1L191 is opendoor~2457
--operation mode is normal

A1L191 = A1L185 # opendoor & dd_cc[4] & !dd_cc[5];


--A1L192 is opendoor~2458
--operation mode is normal

A1L192 = g5 & A1L107 & (!g1);


--A1L56 is d33~278
--operation mode is normal

A1L56 = g3 & (!g1 & !g2);


--A1L193 is opendoor~2459
--operation mode is normal

A1L193 = A1L190 & (A1L56 # A1L191 & A1L192) # !A1L190 & A1L191 & A1L192;


--A1L194 is opendoor~2460
--operation mode is normal

A1L194 = g6 & (opendoor $ (d66 # c_d66));


--A1L195 is opendoor~2461
--operation mode is normal

A1L195 = A1L108 & (opendoor & (dd_cc[5] # !A1L194) # !opendoor & (A1L194));


--A1L13 is c_d44~268
--operation mode is normal

A1L13 = g4 & !g1 & !g3 & !g2;


--A1L196 is opendoor~2462
--operation mode is normal

A1L196 = opendoor & dd_cc[3] & !dd_cc[5] & !dd_cc[4];


--A1L197 is opendoor~2463
--operation mode is normal

A1L197 = A1L13 & (d44 # A1L196 # !A1L93);


--A1L228 is rtl~1720
--operation mode is normal

A1L228 = !full & !q & !clr;


--A1L243 is updown~384
--operation mode is normal

A1L243 = q & A1L248 & !A1L222 & !opendoor;


--A1L9 is c_d22~271
--operation mode is normal

A1L9 = A1L222 # updown # !A1L179 # !q;


--A1L25 is c_u22~301
--operation mode is normal

A1L25 = !q & !c_u1;


--A1L26 is c_u22~302
--operation mode is normal

A1L26 = A1L222 # !updown # !A1L179 # !q;


--A1L54 is d22~349
--operation mode is normal

A1L54 = d2 & (!q & !d1);


--A1L14 is c_d44~269
--operation mode is normal

A1L14 = c_d44 & (updown # !A1L13);


--A1L15 is c_d44~270
--operation mode is normal

A1L15 = c_d44 # c_d4 & !c_d2 & !c_d3;


--A1L229 is rtl~1721
--operation mode is normal

A1L229 = c_u4 & !c_u3 & (A1L222 # !q);


--A1L230 is rtl~1722
--operation mode is normal

A1L230 = q & A1L94 & !A1L222 & !g2;


--A1L219 is rtl~20
--operation mode is normal

A1L219 = A1L91 # A1L248 & A1L25 & !c_u2;


--A1L231 is rtl~1724
--operation mode is normal

A1L231 = !d3 & (A1L222 # !q);


--A1L218 is rtl~17
--operation mode is normal

A1L218 = A1L91 # A1L228 & !d1 & !d2;


--A1L232 is rtl~1726
--operation mode is normal

A1L232 = !d4 & !d3 & (A1L222 # !q);


--A1L233 is rtl~1727
--operation mode is normal

A1L233 = d6 & (!d5);


--A1L234 is rtl~1728
--operation mode is normal

A1L234 = g5 # !A1L107 # !g6 # !A1L201;


--A1L235 is rtl~1730
--operation mode is normal

A1L235 = c_d6 & !A1L201 & !c_d5 & !c_d4;


--A1L220 is rtl~30
--operation mode is normal

A1L220 = A1L91 # A1L228 & !c_d2 & !c_d3;


--A1L11 is c_d33~329
--operation mode is normal

A1L11 = c_d33 & (updown # !A1L56 # !A1L201);


--A1L28 is c_u33~324
--operation mode is normal

A1L28 = c_u33 & (!A1L56 # !updown # !A1L201);


--A1L57 is d33~279
--operation mode is normal

A1L57 = d33 & (g1 # g2 # !g3);


--A1L58 is d33~280
--operation mode is normal

A1L58 = d33 # d3 & !d1 & !d2;


--A1L236 is rtl~1732
--operation mode is normal

A1L236 = q & g5 & A1L107 & !A1L222;


--A1L237 is rtl~1734
--operation mode is normal

A1L237 = c_u5 & !A1L201 & !c_u3 & !c_u4;


--A1L238 is rtl~1736
--operation mode is normal

A1L238 = c_d5 & !c_d4 & (A1L222 # !q);


--A1L52 is d11~187
--operation mode is normal

A1L52 = A1L222 # !g1 # !q;


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

~GND = GND;


--full is full
--operation mode is input

full = INPUT();


--quick is quick
--operation mode is input

quick = INPUT();


--deng is deng
--operation mode is input

deng = INPUT();


--clk is clk
--operation mode is input

clk = INPUT();


--clr is clr
--operation mode is input

clr = INPUT();


--g1 is g1
--operation mode is input

g1 = INPUT();


--g6 is g6
--operation mode is input

g6 = INPUT();


--g4 is g4
--operation mode is input

g4 = INPUT();


--g5 is g5
--operation mode is input

g5 = INPUT();


--g3 is g3
--operation mode is input

g3 = INPUT();


--g2 is g2
--operation mode is input

g2 = INPUT();


--c_d2 is c_d2
--operation mode is input

c_d2 = INPUT();


--c_u2 is c_u2
--operation mode is input

c_u2 = INPUT();


--c_u1 is c_u1
--operation mode is input

c_u1 = INPUT();


--d2 is d2
--operation mode is input

d2 = INPUT();


--d1 is d1
--operation mode is input

d1 = INPUT();


--c_d4 is c_d4
--operation mode is input

c_d4 = INPUT();


--c_d3 is c_d3
--operation mode is input

c_d3 = INPUT();


--c_u4 is c_u4
--operation mode is input

c_u4 = INPUT();


--c_u3 is c_u3
--operation mode is input

c_u3 = INPUT();


--d4 is d4
--operation mode is input

d4 = INPUT();


--d3 is d3
--operation mode is input

d3 = INPUT();


--d6 is d6
--operation mode is input

d6 = INPUT();


--d5 is d5
--operation mode is input

d5 = INPUT();


--c_d6 is c_d6
--operation mode is input

c_d6 = INPUT();


--c_d5 is c_d5
--operation mode is input

c_d5 = INPUT();


--c_u5 is c_u5
--operation mode is input

c_u5 = INPUT();


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

door[0] = OUTPUT(A1L79Q);


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

door[1] = OUTPUT(A1L81Q);


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

led[0] = OUTPUT(A1L130Q);


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

led[1] = OUTPUT(A1L132Q);


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

led[2] = OUTPUT(A1L134Q);


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

led[3] = OUTPUT(A1L141Q);


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

led[4] = OUTPUT(A1L137Q);


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

led[5] = OUTPUT(A1L139Q);


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

led[6] = OUTPUT(A1L141Q);


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

led_c_u[0] = OUTPUT(A1L156Q);


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

led_c_u[1] = OUTPUT(A1L158Q);


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

led_c_u[2] = OUTPUT(A1L160Q);


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

led_c_u[3] = OUTPUT(A1L162Q);


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

led_c_u[4] = OUTPUT(A1L164Q);


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

led_c_u[5] = OUTPUT(GND);


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

led_c_d[0] = OUTPUT(GND);


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

led_c_d[1] = OUTPUT(A1L145Q);


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

led_c_d[2] = OUTPUT(A1L147Q);


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

led_c_d[3] = OUTPUT(A1L149Q);


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

led_c_d[4] = OUTPUT(A1L151Q);


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

led_c_d[5] = OUTPUT(A1L153Q);


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

led_d[0] = OUTPUT(A1L168Q);


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

led_d[1] = OUTPUT(A1L170Q);


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

led_d[2] = OUTPUT(A1L172Q);


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

led_d[3] = OUTPUT(A1L174Q);


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

led_d[4] = OUTPUT(A1L176Q);


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

led_d[5] = OUTPUT(A1L178Q);


--wahaha is wahaha
--operation mode is output

wahaha = OUTPUT(A1L249Q);


--ud is ud
--operation mode is output

ud = OUTPUT(A1L240Q);


--alarm is alarm
--operation mode is output

alarm = OUTPUT(A1L2Q);


--up is up
--operation mode is output

up = OUTPUT(A1L245Q);


--down is down
--operation mode is output

down = OUTPUT(A1L87Q);