main.map.eqn

VHDL实现的交通灯程序

G1_t[16]_or_out = G1_t[16]_p1_out # G1_t[16]_p2_out;
G1_t[16]_reg_input = G1_t[16]_or_out;
G1_t[16] = TFFE(G1_t[16]_reg_input, GLOBAL(clk), , , C1_temp);


--G1_t[17] is StatusSelect:u6|t[17]
G1_t[17]_p1_out = G1_t[18] & !G1_t[14] & !G1_t[12] & !G1_t[11] & !G1_t[10] & !G1_t[9] & !G1_t[7] & !G1_t[6] & !G1_t[5] & G1_t[16] & G1_t[15] & G1_t[13] & G1_t[8] & G1_t[4] & G1_t[3] & G1_t[2] & G1_t[1] & G1_t[17] & G1_t[0];
G1_t[17]_p2_out = G1_t[14] & G1_t[12] & G1_t[11] & G1_t[10] & G1_t[9] & G1_t[7] & G1_t[6] & G1_t[5] & G1_t[16] & G1_t[15] & G1_t[13] & G1_t[8] & G1_t[4] & G1_t[3] & G1_t[2] & G1_t[1] & G1_t[0];
G1_t[17]_or_out = G1_t[17]_p1_out # G1_t[17]_p2_out;
G1_t[17]_reg_input = G1_t[17]_or_out;
G1_t[17] = TFFE(G1_t[17]_reg_input, GLOBAL(clk), , , C1_temp);


--G1_t[18] is StatusSelect:u6|t[18]
G1_t[18]_p1_out = G1_t[17] & G1_t[16] & G1_t[15] & !G1_t[14] & !G1_t[12] & !G1_t[11] & !G1_t[10] & !G1_t[9] & !G1_t[7] & !G1_t[6] & !G1_t[5] & G1_t[13] & G1_t[8] & G1_t[4] & G1_t[3] & G1_t[2] & G1_t[1] & G1_t[18] & G1_t[0];
G1_t[18]_p2_out = G1_t[17] & G1_t[16] & G1_t[15] & G1_t[14] & G1_t[12] & G1_t[11] & G1_t[10] & G1_t[9] & G1_t[7] & G1_t[6] & G1_t[5] & G1_t[13] & G1_t[8] & G1_t[4] & G1_t[3] & G1_t[2] & G1_t[1] & G1_t[0];
G1_t[18]_or_out = G1_t[18]_p1_out # G1_t[18]_p2_out;
G1_t[18]_reg_input = G1_t[18]_or_out;
G1_t[18] = TFFE(G1_t[18]_reg_input, GLOBAL(clk), , , C1_temp);


--G1_a is StatusSelect:u6|a
G1_a_reg_input = VCC;
G1_a_p3_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 = TFFE(G1_a_reg_input, GLOBAL(clk), , , G1_a_p3_out);


--G1_voice is StatusSelect:u6|voice
G1_voice_p1_out = C1_temp & G1_a;
G1_voice_or_out = G1_voice_p1_out;
G1_voice_reg_input = G1_voice_or_out;
G1_voice = DFFE(G1_voice_reg_input, GLOBAL(clk), , , );


--G1_temp[2] is StatusSelect:u6|temp[2]
G1_temp[2]_p2_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_temp[2]_p3_out = !C1_temp & !G1_a;
G1_temp[2]_or_out = G1_temp[2]_p2_out # G1_temp[2]_p3_out;
G1_temp[2]_reg_input = !G1_a $ G1_temp[2]_or_out;
G1_temp[2] = DFFE(G1_temp[2]_reg_input, GLOBAL(clk), , , );


--G1_temp[0] is StatusSelect:u6|temp[0]
G1_temp[0]_p0_out = G1_temp[0] & !C1_temp & !G1_a;
G1_temp[0]_p2_out = G1_temp[0] & 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_temp[0]_p3_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_temp[2];
G1_temp[0]_p4_out = !C1_temp & G1_temp[2] & !G1_a;
G1_temp[0]_or_out = G1L72 # G1_temp[0]_p0_out # G1_temp[0]_p2_out # G1_temp[0]_p3_out # G1_temp[0]_p4_out;
G1_temp[0]_reg_input = !G1_a $ G1_temp[0]_or_out;
G1_temp[0] = DFFE(G1_temp[0]_reg_input, GLOBAL(clk), , , );


--G1_temp[1] is StatusSelect:u6|temp[1]
G1_temp[1]_p0_out = !G1_a & G1_temp[0] & G1_temp[1] & 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_temp[1]_p2_out = !C1_temp & !G1_a & G1_temp[0] & G1_temp[1];
G1_temp[1]_p3_out = !G1_a & G1_temp[2] & 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_temp[1]_p4_out = !G1_a & !G1_temp[0] & !G1_temp[1] & 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_temp[1]_or_out = G1L2 # G1_temp[1]_p0_out # G1_temp[1]_p2_out # G1_temp[1]_p3_out # G1_temp[1]_p4_out;
G1_temp[1]_reg_input = !G1_a $ G1_temp[1]_or_out;
G1_temp[1] = DFFE(G1_temp[1]_reg_input, GLOBAL(clk), , , );


--H1L4 is TimeSelect:u7|catn[5]~45
H1L4_p1_out = G1_temp[1] & !G1_temp[2] & G1_temp[0];
H1L4_or_out = H1L4_p1_out;
H1L4 = !(H1L4_or_out);


--H1L3 is TimeSelect:u7|catn[4]~48
H1L3_p1_out = G1_temp[1] & !G1_temp[2] & !G1_temp[0];
H1L3_or_out = H1L3_p1_out;
H1L3 = !(H1L3_or_out);


--H1L2 is TimeSelect:u7|catn[1]~51
H1L2_p1_out = !G1_temp[1] & !G1_temp[2] & G1_temp[0];
H1L2_or_out = H1L2_p1_out;
H1L2 = !(H1L2_or_out);


--H1L1 is TimeSelect:u7|catn[0]~54
H1L1_p1_out = !G1_temp[1] & !G1_temp[2] & !G1_temp[0];
H1L1_or_out = H1L1_p1_out;
H1L1 = !(H1L1_or_out);


--J1L23 is Display:u8|num_out[6]~2177
J1L23 = EXP(E1_temp_l[0] & E1_temp_l[1]);


--J1L33 is Display:u8|num_out[6]~2178
J1L33 = EXP(E1_temp_h[0] & E1_temp_h[1]);


--J1L43 is Display:u8|num_out[6]~2179
J1L43 = EXP(F1_temp_l[0] & F1_temp_l[1]);


--J1L53 is Display:u8|num_out[6]~2180
J1L53 = EXP(F1_temp_h[0] & F1_temp_h[1]);


--J1L63 is Display:u8|num_out[6]~2186
J1L63_p0_out = !G1_temp[2] & G1_temp[1] & !G1_temp[0] & J1L53 & F1_temp_h[2] & !F1_temp_h[3];
J1L63_p1_out = E1_temp_l[3] & !E1_temp_l[2] & !G1_temp[2] & !G1_temp[1] & G1_temp[0] & !E1_temp_l[1];
J1L63_p2_out = !E1_temp_l[3] & E1_temp_l[2] & !G1_temp[2] & !G1_temp[1] & G1_temp[0] & J1L23;
J1L63_p3_out = !G1_temp[2] & !G1_temp[1] & !G1_temp[0] & J1L33 & E1_temp_h[2] & !E1_temp_h[3];
J1L63_p4_out = !G1_temp[2] & G1_temp[1] & G1_temp[0] & J1L43 & F1_temp_l[2] & !F1_temp_l[3];
J1L63_or_out = J1L93 # J1L63_p0_out # J1L63_p1_out # J1L63_p2_out # J1L63_p3_out # J1L63_p4_out;
J1L63 = J1L63_or_out;


--J1L4 is Display:u8|num_out[2]~2187
J1L4 = EXP(F1_temp_h[3] & F1_temp_h[2] & !G1_temp[2] & !G1_temp[0] & G1_temp[1]);


--J1L5 is Display:u8|num_out[2]~2188
J1L5 = EXP(E1_temp_h[3] & E1_temp_h[2] & !G1_temp[2] & !G1_temp[0] & !G1_temp[1]);


--J1L6 is Display:u8|num_out[2]~2189
J1L6 = EXP(F1_temp_l[3] & F1_temp_l[2] & !G1_temp[2] & G1_temp[0] & G1_temp[1]);


--J1L7 is Display:u8|num_out[2]~2194
J1L7_p1_out = J1L4 & J1L5 & J1L6;
J1L7_p0_out = J1L4 & J1L5 & J1L6 & !G1_temp[2] & !G1_temp[0] & G1_temp[1] & !F1_temp_h[2] & !F1_temp_h[0] & F1_temp_h[1];
J1L7_p2_out = J1L4 & J1L5 & J1L6 & E1_temp_l[1] & !E1_temp_l[0] & !E1_temp_l[2] & !G1_temp[2] & G1_temp[0] & !G1_temp[1];
J1L7_p3_out = J1L4 & J1L5 & J1L6 & !G1_temp[2] & !G1_temp[0] & !G1_temp[1] & E1_temp_h[1] & !E1_temp_h[0] & !E1_temp_h[2];
J1L7_p4_out = J1L4 & J1L5 & J1L6 & !G1_temp[2] & G1_temp[0] & G1_temp[1] & F1_temp_l[1] & !F1_temp_l[0] & !F1_temp_l[2];
J1L7_or_out = J1L8 # J1L7_p0_out # J1L7_p2_out # J1L7_p3_out # J1L7_p4_out;
J1L7 = J1L7_p1_out $ J1L7_or_out;


--J1L9 is Display:u8|num_out[3]~2202
J1L9_p0_out = G1_temp[0] & G1_temp[1] & !G1_temp[2] & F1_temp_l[3] & F1_temp_l[2];
J1L9_p1_out = !G1_temp[0] & !G1_temp[1] & !G1_temp[2] & E1_temp_h[3] & E1_temp_h[2];
J1L9_p2_out = !G1_temp[0] & G1_temp[1] & !G1_temp[2] & F1_temp_h[1] & F1_temp_h[3];
J1L9_p3_out = !G1_temp[0] & G1_temp[1] & !G1_temp[2] & F1_temp_h[3] & F1_temp_h[2];
J1L9_p4_out = G1_temp[0] & G1_temp[1] & !G1_temp[2] & F1_temp_l[1] & F1_temp_l[3];
J1L9_or_out = J1L81 # J1L9_p0_out # J1L9_p1_out # J1L9_p2_out # J1L9_p3_out # J1L9_p4_out;
J1L9 = J1L9_or_out;


--J1L1 is Display:u8|num_out[1]~2208
J1L1_p0_out = !G1_temp[2] & G1_temp[1] & !G1_temp[0] & F1_temp_h[2] & !F1_temp_h[3] & !F1_temp_h[0] & F1_temp_h[1];
J1L1_p1_out = E1_temp_h[2] & !E1_temp_h[3] & E1_temp_h[1] & !E1_temp_h[0] & !G1_temp[2] & !G1_temp[1] & !G1_temp[0];
J1L1_p2_out = !G1_temp[2] & G1_temp[1] & G1_temp[0] & F1_temp_l[2] & !F1_temp_l[3] & !F1_temp_l[1] & F1_temp_l[0];
J1L1_p3_out = !G1_temp[2] & G1_temp[1] & G1_temp[0] & F1_temp_l[2] & !F1_temp_l[3] & F1_temp_l[1] & !F1_temp_l[0];
J1L1_p4_out = !G1_temp[2] & G1_temp[1] & !G1_temp[0] & F1_temp_h[2] & !F1_temp_h[3] & F1_temp_h[0] & !F1_temp_h[1];
J1L1_or_out = J1L3 # J1L1_p0_out # J1L1_p1_out # J1L1_p2_out # J1L1_p3_out # J1L1_p4_out;
J1L1 = J1L1_or_out;


--J1L2 is Display:u8|num_out[1]~2209
J1L2_p1_out = !J1L9 & !J1L1;
J1L2_or_out = J1L2_p1_out;
J1L2 = J1L2_or_out;


--J1L72 is Display:u8|num_out[5]~2211
J1L72 = EXP(!E1_temp_l[2] & E1_temp_l[1] & !G1_temp[2] & G1_temp[0] & !G1_temp[1]);


--J1L82 is Display:u8|num_out[5]~2212
J1L82 = EXP(!G1_temp[2] & !G1_temp[0] & !G1_temp[1] & !E1_temp_h[2] & E1_temp_h[1]);


--J1L92 is Display:u8|num_out[5]~2213
J1L92 = EXP(!G1_temp[2] & G1_temp[0] & G1_temp[1] & !F1_temp_l[2] & F1_temp_l[1]);


--J1L03 is Display:u8|num_out[5]~2218
J1L03_p1_out = J1L72 & J1L82 & J1L92;
J1L03_p0_out = J1L72 & J1L82 & J1L92 & !G1_temp[2] & G1_temp[0] & !G1_temp[1] & E1_temp_l[2] & E1_temp_l[3];
J1L03_p2_out = J1L72 & J1L82 & J1L92 & !G1_temp[2] & !G1_temp[0] & G1_temp[1] & F1_temp_h[2] & F1_temp_h[3];
J1L03_p3_out = J1L72 & J1L82 & J1L92 & !G1_temp[2] & !G1_temp[0] & !G1_temp[1] & E1_temp_h[2] & E1_temp_h[3];
J1L03_p4_out = J1L72 & J1L82 & J1L92 & !G1_temp[2] & G1_temp[0] & G1_temp[1] & F1_temp_l[2] & F1_temp_l[3];
J1L03_or_out = J1L13 # J1L03_p0_out # J1L03_p2_out # J1L03_p3_out # J1L03_p4_out;
J1L03 = J1L03_p1_out $ J1L03_or_out;


--J1L01 is Display:u8|num_out[3]~2221
J1L01 = EXP(!F1_temp_h[2] & F1_temp_h[0] & !F1_temp_h[1]);


--J1L11 is Display:u8|num_out[3]~2222
J1L11 = EXP(!F1_temp_l[2] & F1_temp_l[0] & !F1_temp_l[1]);


--J1L21 is Display:u8|num_out[3]~2223
J1L21 = EXP(!E1_temp_h[2] & E1_temp_h[0] & !E1_temp_h[1]);


--J1L31 is Display:u8|num_out[3]~2224
J1L31 = EXP(!E1_temp_l[2] & E1_temp_l[0] & !E1_temp_l[1]);


--J1L41 is Display:u8|num_out[3]~2235
J1L41_p0_out = !G1_temp[1] & G1_temp[0] & J1L31 & !E1_temp_l[3] & J1L73;
J1L41_p1_out = !F1_temp_h[3] & G1_temp[1] & !F1_temp_l[2] & !F1_temp_l[1] & !F1_temp_l[0] & !F1_temp_h[0] & J1L73;
J1L41_p2_out = !F1_temp_h[3] & G1_temp[1] & J1L01 & !G1_temp[0] & J1L73;
J1L41_p3_out = G1_temp[1] & G1_temp[0] & J1L11 & !F1_temp_l[3] & J1L73;
J1L41_p4_out = !G1_temp[1] & !G1_temp[0] & J1L21 & !E1_temp_h[3] & J1L73;
J1L41_or_out = J1L91 # J1L41_p0_out # J1L41_p1_out # J1L41_p2_out # J1L41_p3_out # J1L41_p4_out;
J1L41 = J1L41_or_out;


--J1L61 is Display:u8|num_out[3]~2241
J1L61 = EXP(E1_temp_h[0] & !E1_temp_h[2] & !E1_temp_h[1] & !E1_temp_h[3] & !G1_temp[2] & !G1_temp[1] & !G1_temp[0]);


--J1L71 is Display:u8|num_out[3]~2246
J1L71_p1_out = J1L51 & J1L61;
J1L71_p0_out = J1L51 & J1L61 & !G1_temp[2] & !G1_temp[1] & G1_temp[0] & E1_temp_l[0] & E1_temp_l[2] & E1_temp_l[1];
J1L71_p2_out = J1L51 & J1L61 & F1_temp_h[0] & F1_temp_h[2] & F1_temp_h[1] & !G1_temp[2] & G1_temp[1] & !G1_temp[0];
J1L71_p3_out = J1L51 & J1L61 & !G1_temp[2] & G1_temp[1] & G1_temp[0] & F1_temp_l[0] & F1_temp_l[2] & F1_temp_l[1];
J1L71_p4_out = J1L51 & J1L61 & !G1_temp[2] & !G1_temp[1] & !G1_temp[0] & E1_temp_h[0] & E1_temp_h[2] & E1_temp_h[1];
J1L71_or_out = J1L12 # J1L71_p0_out # J1L71_p2_out # J1L71_p3_out # J1L71_p4_out;
J1L71 = J1L71_p1_out $ J1L71_or_out;


--J1L22 is Display:u8|num_out[4]~2249
J1L22 = EXP(E1_temp_l[2] & !E1_temp_l[1] & !G1_temp[2] & G1_temp[0] & !G1_temp[1]);


--J1L32 is Display:u8|num_out[4]~2250
J1L32 = EXP(!G1_temp[2] & !G1_temp[0] & !G1_temp[1] & E1_temp_h[2] & !E1_temp_h[1]);


--J1L42 is Display:u8|num_out[4]~2251
J1L42 = EXP(!G1_temp[2] & G1_temp[0] & G1_temp[1] & F1_temp_l[2] & !F1_temp_l[1]);


--J1L52 is Display:u8|num_out[4]~2256
J1L52_p1_out = J1L22 & J1L32 & J1L42;
J1L52_p0_out = J1L22 & J1L32 & J1L42 & !G1_temp[2] & !G1_temp[0] & G1_temp[1] & F1_temp_h[1] & F1_temp_h[3];
J1L52_p2_out = J1L22 & J1L32 & J1L42 & E1_temp_l[1] & !G1_temp[2] & G1_temp[0] & !G1_temp[1] & E1_temp_l[3];
J1L52_p3_out = J1L22 & J1L32 & J1L42 & !G1_temp[2] & G1_temp[0] & G1_temp[1] & F1_temp_l[1] & F1_temp_l[3];
J1L52_p4_out = J1L22 & J1L32 & J1L42 & !G1_temp[2] & !G1_temp[0] & !G1_temp[1] & E1_temp_h[1] & E1_temp_h[3];
J1L52_or_out = J1L62 # J1L52_p0_out # J1L52_p2_out # J1L52_p3_out # J1L52_p4_out;
J1L52 = J1L52_p1_out $ J1L52_or_out;


--B1L32 is Frequency1:u1|temp~600
B1L32_p1_out = B1_temp[18] & B1_temp[17] & B1_temp[16] & !B1_temp[15] & B1_temp[14] & !B1_temp[13] & !B1_temp[12] & !B1_temp[11] & !B1_temp[10] & B1_temp[9] & !B1_temp[8] & !B1_temp[7] & B1_temp[19] & B1_temp[5] & B1_temp[4] & B1_temp[3] & B1_temp[2] & B1_temp[0] & B1_temp[1];
B1L32_p2_out = !B1_temp[5] & !B1_temp[6];
B1L32_p3_out = !B1_temp[4] & !B1_temp[6];
B1L32 = B1L32_p1_out # B1L32_p2_out # B1L32_p3_out;


--E1L61 is ControlA:u4|temp_l[2]~139
E1L61_p1_out = E1_temp_l[3] & !E1_temp_l[0] & !E1_temp_l[1] & E1_reset & !E1_temp_l[2] & !C1_temp;
E1L61_p2_out = E1_temp_l[0] & E1_reset & E1_temp_l[2];
E1L61 = E1L61_p1_out # E1L61_p2_out;


--G1L82 is StatusSelect:u6|t~604
G1L82_p1_out = 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[4] & G1_t[3] & G1_t[2] & G1_t[0] & G1_t[1];
G1L82_p2_out = !G1_t[4] & !G1_t[5];
G1L82_p3_out = !G1_t[3] & !G1_t[5];
G1L82 = G1L82_p1_out # G1L82_p2_out # G1L82_p3_out;


--E1L81 is ControlA:u4|temp_l[3]~142
E1L81_p1_out = E1L5Q & E1L6Q & !E1_reset & !E1_temp_l[3] & !C1_temp;
E1L81 = E1L81_p1_out;


--G1L72 is StatusSelect:u6|temp~136