main.map.eqn

VHDL实现的交通灯程序

G1L72_p1_out = !G1_temp[2] & !G1_temp[0] & G1_a;
G1L72 = G1L72_p1_out;


--G1L2 is StatusSelect:u6|Mux~110
G1L2_p0_out = !C1_temp & !G1_a & !G1_temp[0] & !G1_temp[1];
G1L2_p1_out = C1_temp & G1_t[18] & G1_t[17] & G1_t[16] & G1_t[15] & !G1_t[14] & G1_t[13] & !G1_t[12] & !G1_t[11] & !G1_t[10] & !G1_t[9] & G1_t[8] & !G1_t[7] & !G1_t[6] & !G1_t[5] & G1_t[4] & G1_t[3] & G1_t[2] & G1_t[1] & G1_t[0] & G1_a;
G1L2_p2_out = G1_a & !G1_temp[2] & !G1_temp[0] & G1_temp[1];
G1L2_p3_out = G1_a & !G1_temp[2] & G1_temp[0] & !G1_temp[1];
G1L2_p4_out = !C1_temp & !G1_a & G1_temp[2];
G1L2 = G1L2_p0_out # G1L2_p1_out # G1L2_p2_out # G1L2_p3_out # G1L2_p4_out;


--J1L83 is Display:u8|num_out[6]~2259
J1L83_p1_out = !E1_temp_l[3] & !E1_temp_l[2] & !G1_temp[2] & !G1_temp[1] & G1_temp[0] & E1_temp_l[1];
J1L83_p2_out = !G1_temp[2] & !G1_temp[1] & !G1_temp[0] & !E1_temp_h[2] & !E1_temp_h[3] & E1_temp_h[1];
J1L83 = J1L83_p1_out # J1L83_p2_out;


--J1L93 is Display:u8|num_out[6]~2262
J1L93_p0_out = !G1_temp[2] & G1_temp[1] & G1_temp[0] & !F1_temp_l[2] & F1_temp_l[3] & !F1_temp_l[1];
J1L93_p1_out = !G1_temp[2] & G1_temp[1] & G1_temp[0] & !F1_temp_l[2] & !F1_temp_l[3] & F1_temp_l[1];
J1L93_p2_out = !G1_temp[2] & G1_temp[1] & !G1_temp[0] & !F1_temp_h[2] & !F1_temp_h[3] & F1_temp_h[1];
J1L93_p3_out = !G1_temp[2] & G1_temp[1] & !G1_temp[0] & !F1_temp_h[2] & F1_temp_h[3] & !F1_temp_h[1];
J1L93_p4_out = !G1_temp[2] & !G1_temp[1] & !G1_temp[0] & !E1_temp_h[2] & E1_temp_h[3] & !E1_temp_h[1];
J1L93 = J1L83 # J1L93_p0_out # J1L93_p1_out # J1L93_p2_out # J1L93_p3_out # J1L93_p4_out;


--J1L8 is Display:u8|num_out[2]~2268
J1L8_p0_out = J1L4 & J1L5 & J1L6 & !G1_temp[2] & !G1_temp[0] & G1_temp[1] & F1_temp_h[3] & F1_temp_h[1];
J1L8_p1_out = J1L4 & J1L5 & J1L6 & E1_temp_l[3] & E1_temp_l[2] & !G1_temp[2] & G1_temp[0] & !G1_temp[1];
J1L8_p2_out = J1L4 & J1L5 & J1L6 & E1_temp_l[3] & !G1_temp[2] & G1_temp[0] & !G1_temp[1] & E1_temp_l[1];
J1L8_p3_out = J1L4 & J1L5 & J1L6 & !G1_temp[2] & G1_temp[0] & G1_temp[1] & F1_temp_l[1] & F1_temp_l[3];
J1L8_p4_out = J1L4 & J1L5 & J1L6 & !G1_temp[2] & !G1_temp[0] & !G1_temp[1] & E1_temp_h[1] & E1_temp_h[3];
J1L8 = J1L8_p0_out # J1L8_p1_out # J1L8_p2_out # J1L8_p3_out # J1L8_p4_out;


--J1L81 is Display:u8|num_out[3]~2274
J1L81_p1_out = E1_temp_l[3] & G1_temp[0] & E1_temp_l[1] & !G1_temp[1] & !G1_temp[2];
J1L81_p2_out = E1_temp_l[3] & G1_temp[0] & !G1_temp[1] & !G1_temp[2] & E1_temp_l[2];
J1L81_p3_out = !G1_temp[0] & !G1_temp[1] & !G1_temp[2] & E1_temp_h[1] & E1_temp_h[3];
J1L81 = J1L81_p1_out # J1L81_p2_out # J1L81_p3_out;


--J1L3 is Display:u8|num_out[1]~2278
J1L3_p1_out = !E1_temp_l[3] & E1_temp_l[2] & !E1_temp_l[1] & E1_temp_l[0] & !G1_temp[2] & !G1_temp[1] & G1_temp[0];
J1L3_p2_out = !E1_temp_l[3] & E1_temp_l[2] & E1_temp_l[1] & !E1_temp_l[0] & !G1_temp[2] & !G1_temp[1] & G1_temp[0];
J1L3_p3_out = !G1_temp[2] & !G1_temp[1] & !G1_temp[0] & E1_temp_h[2] & !E1_temp_h[3] & !E1_temp_h[1] & E1_temp_h[0];
J1L3 = J1L3_p1_out # J1L3_p2_out # J1L3_p3_out;


--J1L13 is Display:u8|num_out[5]~2282
J1L13_p0_out = J1L72 & J1L82 & J1L92 & !G1_temp[2] & !G1_temp[0] & G1_temp[1] & !F1_temp_h[2] & F1_temp_h[0] & !F1_temp_h[3];
J1L13_p1_out = J1L72 & J1L82 & J1L92 & !G1_temp[2] & !G1_temp[0] & G1_temp[1] & !F1_temp_h[2] & F1_temp_h[1];
J1L13_p2_out = J1L72 & J1L82 & J1L92 & !G1_temp[2] & G1_temp[0] & !G1_temp[1] & !E1_temp_l[2] & E1_temp_l[0] & !E1_temp_l[3];
J1L13_p3_out = J1L72 & J1L82 & J1L92 & !G1_temp[2] & !G1_temp[0] & !G1_temp[1] & !E1_temp_h[2] & E1_temp_h[0] & !E1_temp_h[3];
J1L13_p4_out = J1L72 & J1L82 & J1L92 & !G1_temp[2] & G1_temp[0] & G1_temp[1] & !F1_temp_l[2] & F1_temp_l[0] & !F1_temp_l[3];
J1L13 = J1L13_p0_out # J1L13_p1_out # J1L13_p2_out # J1L13_p3_out # J1L13_p4_out;


--J1L91 is Display:u8|num_out[3]~2288
J1L91_p0_out = G1_temp[2] & J1L73;
J1L91_p1_out = !F1_temp_h[2] & F1_temp_h[3] & !G1_temp[0] & G1_temp[1] & !F1_temp_h[1] & J1L73;
J1L91_p2_out = G1_temp[0] & G1_temp[1] & !F1_temp_l[2] & !F1_temp_l[1] & F1_temp_l[3] & J1L73;
J1L91_p3_out = !G1_temp[0] & !G1_temp[1] & !E1_temp_h[2] & !E1_temp_h[1] & E1_temp_h[3] & J1L73;
J1L91_p4_out = G1_temp[0] & !G1_temp[1] & !E1_temp_l[2] & !E1_temp_l[1] & E1_temp_l[3] & J1L73;
J1L91 = J1L91_p0_out # J1L91_p1_out # J1L91_p2_out # J1L91_p3_out # J1L91_p4_out;


--J1L02 is Display:u8|num_out[3]~2294
J1L02_p0_out = J1L51 & J1L61 & F1_temp_l[2] & F1_temp_l[3] & !G1_temp[2] & G1_temp[1] & G1_temp[0];
J1L02_p1_out = J1L51 & J1L61 & F1_temp_l[0] & !F1_temp_l[2] & !F1_temp_l[1] & !F1_temp_l[3] & !G1_temp[2] & G1_temp[1] & G1_temp[0];
J1L02_p2_out = J1L51 & J1L61 & !G1_temp[2] & G1_temp[1] & !G1_temp[0] & F1_temp_h[0] & !F1_temp_h[2] & !F1_temp_h[3] & !F1_temp_h[1];
J1L02_p3_out = J1L51 & J1L61 & !G1_temp[2] & G1_temp[1] & !G1_temp[0] & F1_temp_h[2] & F1_temp_h[3];
J1L02_p4_out = J1L51 & J1L61 & !G1_temp[2] & !G1_temp[1] & !G1_temp[0] & E1_temp_h[2] & E1_temp_h[3];
J1L02 = J1L02_p0_out # J1L02_p1_out # J1L02_p2_out # J1L02_p3_out # J1L02_p4_out;


--J1L12 is Display:u8|num_out[3]~2300
J1L12_p0_out = J1L51 & J1L61 & !G1_temp[2] & G1_temp[1] & !G1_temp[0] & F1_temp_h[3] & F1_temp_h[1];
J1L12_p1_out = J1L51 & J1L61 & !G1_temp[2] & !G1_temp[1] & G1_temp[0] & E1_temp_l[2] & E1_temp_l[3];
J1L12_p2_out = J1L51 & J1L61 & !G1_temp[2] & !G1_temp[1] & G1_temp[0] & E1_temp_l[3] & E1_temp_l[1];
J1L12_p3_out = J1L51 & J1L61 & !G1_temp[2] & G1_temp[1] & G1_temp[0] & F1_temp_l[1] & F1_temp_l[3];
J1L12_p4_out = J1L51 & J1L61 & !G1_temp[2] & !G1_temp[1] & !G1_temp[0] & E1_temp_h[1] & E1_temp_h[3];
J1L12 = J1L02 # J1L12_p0_out # J1L12_p1_out # J1L12_p2_out # J1L12_p3_out # J1L12_p4_out;


--J1L62 is Display:u8|num_out[4]~2306
J1L62_p0_out = J1L22 & J1L32 & J1L42 & !G1_temp[2] & !G1_temp[0] & G1_temp[1] & F1_temp_h[0];
J1L62_p1_out = J1L22 & J1L32 & J1L42 & !G1_temp[2] & !G1_temp[0] & G1_temp[1] & F1_temp_h[2] & !F1_temp_h[1];
J1L62_p2_out = J1L22 & J1L32 & J1L42 & !G1_temp[2] & G1_temp[0] & !G1_temp[1] & E1_temp_l[0];
J1L62_p3_out = J1L22 & J1L32 & J1L42 & !G1_temp[2] & !G1_temp[0] & !G1_temp[1] & E1_temp_h[0];
J1L62_p4_out = J1L22 & J1L32 & J1L42 & !G1_temp[2] & G1_temp[0] & G1_temp[1] & F1_temp_l[0];
J1L62 = J1L62_p0_out # J1L62_p1_out # J1L62_p2_out # J1L62_p3_out # J1L62_p4_out;


--~VCC~0 is ~VCC~0
~VCC~0_or_out = GND;
~VCC~0 = !(~VCC~0_or_out);


--~VCC~1 is ~VCC~1
~VCC~1_or_out = GND;
~VCC~1 = !(~VCC~1_or_out);


--J1L51 is Display:u8|num_out[3]~2236bal
J1L51_p0_out = !G1_temp[2] & !G1_temp[1] & G1_temp[0] & E1_temp_l[0] & !E1_temp_l[2] & !E1_temp_l[1] & !E1_temp_l[3];
J1L51_p1_out = !G1_temp[2] & !G1_temp[1] & G1_temp[0] & !E1_temp_l[0] & E1_temp_l[2] & !E1_temp_l[1];
J1L51_p2_out = !G1_temp[2] & !G1_temp[1] & !G1_temp[0] & !E1_temp_h[0] & E1_temp_h[2] & !E1_temp_h[1];
J1L51_p3_out = !G1_temp[2] & G1_temp[1] & G1_temp[0] & !F1_temp_l[0] & F1_temp_l[2] & !F1_temp_l[1];
J1L51_p4_out = !G1_temp[2] & G1_temp[1] & !G1_temp[0] & !F1_temp_h[0] & F1_temp_h[2] & !F1_temp_h[1];
J1L51_or_out = J1L51_p0_out # J1L51_p1_out # J1L51_p2_out # J1L51_p3_out # J1L51_p4_out;
J1L51 = !(J1L51_or_out);


--J1L73 is Display:u8|num_out[6]~2229sexp1bal
J1L73_p1_out = !E1_temp_l[0] & !E1_temp_l[1] & E1_temp_l[2] & !E1_temp_l[3] & !G1_temp[2] & !G1_temp[1] & G1_temp[0];
J1L73_p2_out = !G1_temp[2] & !G1_temp[1] & !G1_temp[0] & E1_temp_h[2] & !E1_temp_h[0] & !E1_temp_h[1] & !E1_temp_h[3];
J1L73_p3_out = !G1_temp[2] & G1_temp[1] & G1_temp[0] & F1_temp_l[2] & !F1_temp_l[0] & !F1_temp_l[1] & !F1_temp_l[3];
J1L73_p4_out = !G1_temp[2] & G1_temp[1] & !G1_temp[0] & !F1_temp_h[3] & F1_temp_h[2] & !F1_temp_h[0] & !F1_temp_h[1];
J1L73_or_out = J1L73_p1_out # J1L73_p2_out # J1L73_p3_out # J1L73_p4_out;
J1L73 = !(J1L73_or_out);


--clk is clk
--operation mode is input

clk = INPUT();


--key is key
--operation mode is input

key = INPUT();


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

catn[3] = OUTPUT(~VCC~0);


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

catn[2] = OUTPUT(~VCC~1);


--y1 is y1
--operation mode is output

y1 = OUTPUT(E1_y);


--y2 is y2
--operation mode is output

y2 = OUTPUT(F1_y);


--t1 is t1
--operation mode is output

t1 = OUTPUT(E1_t);


--t2 is t2
--operation mode is output

t2 = OUTPUT(F1_t);


--g2 is g2
--operation mode is output

g2 = OUTPUT(F1_g);


--r1 is r1
--operation mode is output

r1 = OUTPUT(E1_r);


--r2 is r2
--operation mode is output

r2 = OUTPUT(F1_r);


--g1 is g1
--operation mode is output

g1 = OUTPUT(E1_g);


--voice is voice
--operation mode is output

voice = OUTPUT(G1_voice);


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

catn[5] = OUTPUT(H1L4);


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

catn[4] = OUTPUT(H1L3);


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

catn[1] = OUTPUT(H1L2);


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

catn[0] = OUTPUT(H1L1);


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

num[6] = OUTPUT(J1L63);


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

num[2] = OUTPUT(J1L7);


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

num[1] = OUTPUT(J1L2);


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

num[5] = OUTPUT(J1L03);


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

num[0] = OUTPUT(J1L41);


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

num[4] = OUTPUT(J1L52);


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

num[3] = OUTPUT(J1L71);