main.map.eqn

VHDL实现的交通灯程序

F1_temp_l[2]_p4_out = !F1_temp_l[0] & !F1_temp_l[1] & !C1_temp & F1_reset & F1_temp_l[2];
F1_temp_l[2]_or_out = F1_temp_l[2]_p0_out # F1_temp_l[2]_p1_out # F1_temp_l[2]_p2_out # F1_temp_l[2]_p4_out;
F1_temp_l[2]_reg_input = F1_temp_l[2]_or_out;
F1_temp_l[2] = TFFE(F1_temp_l[2]_reg_input, B1_clk_out, , , );


--E1_temp_l[2] is ControlA:u4|temp_l[2]
E1_temp_l[2]_p0_out = E1_temp_l[2] & C1_temp;
E1_temp_l[2]_p1_out = E1_temp_l[1] & E1_reset & E1_temp_l[2];
E1_temp_l[2]_p2_out = !E1_reset & !E1L5Q & E1L6Q & !C1_temp;
E1_temp_l[2]_p4_out = !E1_reset & E1L5Q & !E1L6Q & !C1_temp;
E1_temp_l[2]_or_out = E1L61 # E1_temp_l[2]_p0_out # E1_temp_l[2]_p1_out # E1_temp_l[2]_p2_out # E1_temp_l[2]_p4_out;
E1_temp_l[2]_reg_input = E1_temp_l[2]_or_out;
E1_temp_l[2] = DFFE(E1_temp_l[2]_reg_input, B1_clk_out, , , );


--G1_t[4] is StatusSelect:u6|t[4]
G1_t[4]_p1_out = G1_t[3] & G1_t[2] & G1_t[0] & G1_t[1];
G1_t[4]_or_out = G1_t[4];
G1_t[4]_reg_input = G1_t[4]_p1_out $ G1_t[4]_or_out;
G1_t[4] = DFFE(G1_t[4]_reg_input, GLOBAL(clk), , , C1_temp);


--G1_t[5] is StatusSelect:u6|t[5]
G1_t[5]_p0_out = !G1_t[5] & !G1_t[1];
G1_t[5]_p1_out = !G1_t[2] & !G1_t[5];
G1_t[5]_p2_out = !G1_t[5] & !G1_t[0];
G1_t[5]_p4_out = G1_t[2] & G1_t[5] & G1_t[0] & G1_t[4] & G1_t[3] & G1_t[1];
G1_t[5]_or_out = G1L82 # G1_t[5]_p0_out # G1_t[5]_p1_out # G1_t[5]_p2_out # G1_t[5]_p4_out;
G1_t[5]_reg_input = !(G1_t[5]_or_out);
G1_t[5] = DFFE(G1_t[5]_reg_input, GLOBAL(clk), , , C1_temp);


--F1_temp_l[3] is ControlB:u5|temp_l[3]
F1_temp_l[3]_p1_out = F1L5Q & !F1_reset & !F1_temp_l[3] & !C1_temp;
F1_temp_l[3]_p2_out = !F1L5Q & !F1_reset & F1_temp_l[3] & !C1_temp;
F1_temp_l[3]_p4_out = F1_reset & !C1_temp & !F1_temp_l[2] & !F1_temp_l[0] & !F1_temp_l[1];
F1_temp_l[3]_or_out = F1_temp_l[3]_p1_out # F1_temp_l[3]_p2_out # F1_temp_l[3]_p4_out;
F1_temp_l[3]_reg_input = F1_temp_l[3]_or_out;
F1_temp_l[3] = TFFE(F1_temp_l[3]_reg_input, B1_clk_out, , , );


--E1_temp_l[3] is ControlA:u4|temp_l[3]
E1_temp_l[3]_p0_out = E1_reset & !C1_temp & !E1_temp_l[2] & !E1_temp_l[0] & !E1_temp_l[1];
E1_temp_l[3]_p1_out = !E1L5Q & !E1L6Q & !E1_reset & !E1_temp_l[3] & !C1_temp;
E1_temp_l[3]_p2_out = !E1L5Q & E1L6Q & !E1_reset & E1_temp_l[3] & !C1_temp;
E1_temp_l[3]_p4_out = E1L5Q & !E1L6Q & !E1_reset & E1_temp_l[3] & !C1_temp;
E1_temp_l[3]_or_out = E1L81 # E1_temp_l[3]_p0_out # E1_temp_l[3]_p1_out # E1_temp_l[3]_p2_out # E1_temp_l[3]_p4_out;
E1_temp_l[3]_reg_input = E1_temp_l[3]_or_out;
E1_temp_l[3] = TFFE(E1_temp_l[3]_reg_input, B1_clk_out, , , );


--G1_t[6] is StatusSelect:u6|t[6]
G1_t[6]_p1_out = G1_t[5] & G1_t[4] & G1_t[3] & G1_t[2] & G1_t[0] & G1_t[1];
G1_t[6]_or_out = G1_t[6];
G1_t[6]_reg_input = G1_t[6]_p1_out $ G1_t[6]_or_out;
G1_t[6] = DFFE(G1_t[6]_reg_input, GLOBAL(clk), , , C1_temp);


--E1_temp_h[0] is ControlA:u4|temp_h[0]
E1_temp_h[0]_p1_out = E1_reset & !E1_temp_l[3] & !E1_temp_l[2] & !E1_temp_l[0] & !E1_temp_l[1] & !C1_temp;
E1_temp_h[0]_p2_out = !E1_reset & !C1_temp & E1_temp_h[0];
E1_temp_h[0]_or_out = E1_temp_h[0]_p1_out # E1_temp_h[0]_p2_out;
E1_temp_h[0]_reg_input = E1_temp_h[0]_or_out;
E1_temp_h[0] = TFFE(E1_temp_h[0]_reg_input, B1_clk_out, , , );


--F1_temp_h[0] is ControlB:u5|temp_h[0]
F1_temp_h[0]_p1_out = F1_reset & !F1_temp_l[0] & !F1_temp_l[3] & !F1_temp_l[1] & !F1_temp_l[2] & !C1_temp;
F1_temp_h[0]_p2_out = !F1_reset & !C1_temp & F1_temp_h[0];
F1_temp_h[0]_or_out = F1_temp_h[0]_p1_out # F1_temp_h[0]_p2_out;
F1_temp_h[0]_reg_input = F1_temp_h[0]_or_out;
F1_temp_h[0] = TFFE(F1_temp_h[0]_reg_input, B1_clk_out, , , );


--G1_t[7] is StatusSelect:u6|t[7]
G1_t[7]_p1_out = G1_t[6] & G1_t[5] & G1_t[4] & G1_t[3] & G1_t[2] & G1_t[0] & G1_t[1];
G1_t[7]_or_out = G1_t[7];
G1_t[7]_reg_input = G1_t[7]_p1_out $ G1_t[7]_or_out;
G1_t[7] = DFFE(G1_t[7]_reg_input, GLOBAL(clk), , , C1_temp);


--E1_temp_h[1] is ControlA:u4|temp_h[1]
E1_temp_h[1]_p0_out = E1_reset & !C1_temp & !E1_temp_h[0] & !E1_temp_l[3] & !E1_temp_l[2] & !E1_temp_l[0] & !E1_temp_l[1];
E1_temp_h[1]_p1_out = !E1L5Q & E1L6Q & !E1_reset & !E1_temp_h[1] & !C1_temp;
E1_temp_h[1]_p2_out = E1L5Q & !E1_reset & E1_temp_h[1] & !C1_temp;
E1_temp_h[1]_p4_out = !E1L6Q & !E1_reset & E1_temp_h[1] & !C1_temp;
E1_temp_h[1]_or_out = E1_temp_h[1]_p0_out # E1_temp_h[1]_p1_out # E1_temp_h[1]_p2_out # E1_temp_h[1]_p4_out;
E1_temp_h[1]_reg_input = E1_temp_h[1]_or_out;
E1_temp_h[1] = TFFE(E1_temp_h[1]_reg_input, B1_clk_out, , , );


--F1_temp_h[1] is ControlB:u5|temp_h[1]
F1_temp_h[1]_p0_out = F1_reset & !C1_temp & !F1_temp_h[0] & !F1_temp_l[0] & !F1_temp_l[3] & !F1_temp_l[1] & !F1_temp_l[2];
F1_temp_h[1]_p1_out = !F1L5Q & !F1L6Q & !F1_reset & !F1_temp_h[1] & !C1_temp;
F1_temp_h[1]_p2_out = F1L5Q & !F1_reset & F1_temp_h[1] & !C1_temp;
F1_temp_h[1]_p4_out = F1L6Q & !F1_reset & F1_temp_h[1] & !C1_temp;
F1_temp_h[1]_or_out = F1_temp_h[1]_p0_out # F1_temp_h[1]_p1_out # F1_temp_h[1]_p2_out # F1_temp_h[1]_p4_out;
F1_temp_h[1]_reg_input = F1_temp_h[1]_or_out;
F1_temp_h[1] = TFFE(F1_temp_h[1]_reg_input, B1_clk_out, , , );


--G1_t[8] is StatusSelect:u6|t[8]
G1_t[8]_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[7] & !G1_t[6] & !G1_t[5] & G1_t[4] & G1_t[3] & G1_t[2] & G1_t[1] & G1_t[8] & G1_t[0];
G1_t[8]_p2_out = 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_t[8]_or_out = G1_t[8]_p1_out # G1_t[8]_p2_out;
G1_t[8]_reg_input = G1_t[8]_or_out;
G1_t[8] = TFFE(G1_t[8]_reg_input, GLOBAL(clk), , , C1_temp);


--G1_t[9] is StatusSelect:u6|t[9]
G1_t[9]_p1_out = 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_t[8];
G1_t[9]_or_out = G1_t[9];
G1_t[9]_reg_input = G1_t[9]_p1_out $ G1_t[9]_or_out;
G1_t[9] = DFFE(G1_t[9]_reg_input, GLOBAL(clk), , , C1_temp);


--E1_temp_h[2] is ControlA:u4|temp_h[2]
E1_temp_h[2]_p1_out = E1_reset & !E1_temp_h[0] & !E1_temp_h[1] & !E1_temp_l[3] & !E1_temp_l[2] & !E1_temp_l[0] & !E1_temp_l[1] & !C1_temp;
E1_temp_h[2]_p2_out = !E1_reset & !C1_temp & E1_temp_h[2];
E1_temp_h[2]_or_out = E1_temp_h[2]_p1_out # E1_temp_h[2]_p2_out;
E1_temp_h[2]_reg_input = E1_temp_h[2]_or_out;
E1_temp_h[2] = TFFE(E1_temp_h[2]_reg_input, B1_clk_out, , , );


--F1_temp_h[2] is ControlB:u5|temp_h[2]
F1_temp_h[2]_p1_out = F1_reset & !F1_temp_h[0] & !F1_temp_h[1] & !F1_temp_l[0] & !F1_temp_l[3] & !F1_temp_l[1] & !F1_temp_l[2] & !C1_temp;
F1_temp_h[2]_p2_out = !F1_reset & !C1_temp & F1_temp_h[2];
F1_temp_h[2]_or_out = F1_temp_h[2]_p1_out # F1_temp_h[2]_p2_out;
F1_temp_h[2]_reg_input = F1_temp_h[2]_or_out;
F1_temp_h[2] = TFFE(F1_temp_h[2]_reg_input, B1_clk_out, , , );


--G1_t[10] is StatusSelect:u6|t[10]
G1_t[10]_p1_out = G1_t[9] & 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_t[8];
G1_t[10]_or_out = G1_t[10];
G1_t[10]_reg_input = G1_t[10]_p1_out $ G1_t[10]_or_out;
G1_t[10] = DFFE(G1_t[10]_reg_input, GLOBAL(clk), , , C1_temp);


--E1_temp_h[3] is ControlA:u4|temp_h[3]
E1_temp_h[3]_p1_out = E1_reset & !E1_temp_h[2] & !E1_temp_h[0] & !E1_temp_h[1] & !E1_temp_l[3] & !E1_temp_l[2] & !E1_temp_l[0] & !E1_temp_l[1] & !C1_temp;
E1_temp_h[3]_p2_out = !E1_reset & !C1_temp & E1_temp_h[3];
E1_temp_h[3]_or_out = E1_temp_h[3]_p1_out # E1_temp_h[3]_p2_out;
E1_temp_h[3]_reg_input = E1_temp_h[3]_or_out;
E1_temp_h[3] = TFFE(E1_temp_h[3]_reg_input, B1_clk_out, , , );


--F1_temp_h[3] is ControlB:u5|temp_h[3]
F1_temp_h[3]_p1_out = F1_reset & !F1_temp_h[2] & !F1_temp_h[0] & !F1_temp_h[1] & !F1_temp_l[0] & !F1_temp_l[3] & !F1_temp_l[1] & !F1_temp_l[2] & !C1_temp;
F1_temp_h[3]_p2_out = !F1_reset & !C1_temp & F1_temp_h[3];
F1_temp_h[3]_or_out = F1_temp_h[3]_p1_out # F1_temp_h[3]_p2_out;
F1_temp_h[3]_reg_input = F1_temp_h[3]_or_out;
F1_temp_h[3] = TFFE(F1_temp_h[3]_reg_input, B1_clk_out, , , );


--G1_t[11] is StatusSelect:u6|t[11]
G1_t[11]_p1_out = G1_t[10] & G1_t[9] & 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_t[8];
G1_t[11]_or_out = G1_t[11];
G1_t[11]_reg_input = G1_t[11]_p1_out $ G1_t[11]_or_out;
G1_t[11] = DFFE(G1_t[11]_reg_input, GLOBAL(clk), , , C1_temp);


--F1L6Q is ControlB:u5|temp_color~33
F1L6Q_p1_out = F1L5Q & !C1_temp & !F1_temp_h[3] & F1_temp_l[0] & F1_reset & !F1_temp_l[3] & !F1_temp_l[1] & !F1_temp_l[2] & !F1_temp_h[2] & !F1_temp_h[0] & !F1_temp_h[1] & !F1L6Q;
F1L6Q_p2_out = !F1L5Q & !C1_temp & !F1_temp_h[3] & F1_temp_l[0] & F1_reset & !F1_temp_l[3] & !F1_temp_l[1] & !F1_temp_l[2] & !F1_temp_h[2] & !F1_temp_h[0] & !F1_temp_h[1] & F1L6Q;
F1L6Q_or_out = F1L6Q_p1_out # F1L6Q_p2_out;
F1L6Q_reg_input = F1L6Q_or_out;
F1L6Q = TFFE(F1L6Q_reg_input, B1_clk_out, , , );


--E1L6Q is ControlA:u4|temp_color~33
E1L6Q_p1_out = !C1_temp & !E1_temp_h[3] & E1_temp_l[0] & E1_reset & !E1_temp_h[2] & !E1_temp_h[0] & !E1_temp_h[1] & !E1_temp_l[3] & !E1_temp_l[1] & !E1_temp_l[2];
E1L6Q_or_out = E1L6Q_p1_out;
E1L6Q_reg_input = E1L6Q_or_out;
E1L6Q = TFFE(E1L6Q_reg_input, B1_clk_out, , , );


--G1_t[12] is StatusSelect:u6|t[12]
G1_t[12]_p1_out = G1_t[11] & G1_t[10] & G1_t[9] & 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_t[8];
G1_t[12]_or_out = G1_t[12];
G1_t[12]_reg_input = G1_t[12]_p1_out $ G1_t[12]_or_out;
G1_t[12] = DFFE(G1_t[12]_reg_input, GLOBAL(clk), , , C1_temp);


--E1_t is ControlA:u4|t
E1_t_p1_out = !C1_temp & E1L5Q & E1L6Q;
E1_t_or_out = E1_t_p1_out;
E1_t_reg_input = E1_t_or_out;
E1_t = DFFE(E1_t_reg_input, B1_clk_out, , , );


--F1_t is ControlB:u5|t
F1_t_p1_out = !C1_temp & F1L5Q & F1L6Q;
F1_t_or_out = F1_t_p1_out;
F1_t_reg_input = F1_t_or_out;
F1_t = DFFE(F1_t_reg_input, B1_clk_out, , , );


--F1L5Q is ControlB:u5|temp_color~32
F1L5Q_p1_out = !F1L6Q & !C1_temp & !F1_temp_h[3] & F1_temp_l[0] & F1_reset & !F1_temp_l[3] & !F1_temp_l[1] & !F1_temp_l[2] & !F1_temp_h[2] & !F1_temp_h[0] & !F1_temp_h[1] & !F1L5Q;
F1L5Q_p2_out = F1L6Q & !C1_temp & !F1_temp_h[3] & F1_temp_l[0] & F1_reset & !F1_temp_l[3] & !F1_temp_l[1] & !F1_temp_l[2] & !F1_temp_h[2] & !F1_temp_h[0] & !F1_temp_h[1] & F1L5Q;
F1L5Q_or_out = F1L5Q_p1_out # F1L5Q_p2_out;
F1L5Q_reg_input = F1L5Q_or_out;
F1L5Q = TFFE(F1L5Q_reg_input, B1_clk_out, , , );


--E1L5Q is ControlA:u4|temp_color~32
E1L5Q_p1_out = !E1L6Q & !C1_temp & !E1_temp_h[3] & E1_temp_l[0] & E1_reset & !E1_temp_h[2] & !E1_temp_h[0] & !E1_temp_h[1] & !E1_temp_l[3] & !E1_temp_l[1] & !E1_temp_l[2];
E1L5Q_or_out = E1L5Q_p1_out;
E1L5Q_reg_input = E1L5Q_or_out;
E1L5Q = TFFE(E1L5Q_reg_input, B1_clk_out, , , );


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


--F1_g is ControlB:u5|g
F1_g_p1_out = !C1_temp & F1L5Q;
F1_g_or_out = F1_g_p1_out;
F1_g_reg_input = F1_g_or_out;
F1_g = DFFE(F1_g_reg_input, B1_clk_out, , , );


--E1_r is ControlA:u4|r
E1_r_p1_out = !C1_temp & E1L5Q;
E1_r_p2_out = !C1_temp & !E1L6Q;
E1_r_or_out = E1_r_p1_out # E1_r_p2_out;
E1_r_reg_input = !(E1_r_or_out);
E1_r = DFFE(E1_r_reg_input, B1_clk_out, , , );


--F1_r is ControlB:u5|r
F1_r_p1_out = !F1L5Q & !F1L6Q;
F1_r_or_out = F1_r_p1_out # C1_temp;
F1_r_reg_input = F1_r_or_out;
F1_r = DFFE(F1_r_reg_input, B1_clk_out, , , );


--E1_g is ControlA:u4|g
E1_g_p1_out = !E1L5Q & E1L6Q;
E1_g_p2_out = E1L5Q & !E1L6Q;
E1_g_or_out = E1_g_p1_out # E1_g_p2_out # C1_temp;
E1_g_reg_input = !(E1_g_or_out);
E1_g = DFFE(E1_g_reg_input, B1_clk_out, , , );


--G1_t[14] is StatusSelect:u6|t[14]
G1_t[14]_p1_out = G1_t[13] & G1_t[12] & G1_t[11] & G1_t[10] & G1_t[9] & 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_t[8];
G1_t[14]_or_out = G1_t[14];
G1_t[14]_reg_input = G1_t[14]_p1_out $ G1_t[14]_or_out;
G1_t[14] = DFFE(G1_t[14]_reg_input, GLOBAL(clk), , , C1_temp);


--G1_t[15] is StatusSelect:u6|t[15]
G1_t[15]_p1_out = G1_t[18] & G1_t[17] & G1_t[16] & !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[15] & G1_t[0];
G1_t[15]_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[13] & G1_t[8] & G1_t[4] & G1_t[3] & G1_t[2] & G1_t[1] & G1_t[0];
G1_t[15]_or_out = G1_t[15]_p1_out # G1_t[15]_p2_out;
G1_t[15]_reg_input = G1_t[15]_or_out;
G1_t[15] = TFFE(G1_t[15]_reg_input, GLOBAL(clk), , , C1_temp);


--G1_t[16] is StatusSelect:u6|t[16]
G1_t[16]_p1_out = G1_t[18] & G1_t[17] & !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[15] & G1_t[13] & G1_t[8] & G1_t[4] & G1_t[3] & G1_t[2] & G1_t[1] & G1_t[16] & G1_t[0];
G1_t[16]_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[15] & G1_t[13] & G1_t[8] & G1_t[4] & G1_t[3] & G1_t[2] & G1_t[1] & G1_t[0];