main.map.eqn

VHDL实现的交通灯程序

--B1_temp[0] is Frequency1:u1|temp[0]
B1_temp[0]_reg_input = VCC;
B1_temp[0] = TFFE(B1_temp[0]_reg_input, GLOBAL(clk), , , );


--B1_temp[1] is Frequency1:u1|temp[1]
B1_temp[1]_or_out = B1_temp[1];
B1_temp[1]_reg_input = B1_temp[0] $ B1_temp[1]_or_out;
B1_temp[1] = DFFE(B1_temp[1]_reg_input, GLOBAL(clk), , , );


--B1_temp[2] is Frequency1:u1|temp[2]
B1_temp[2]_p1_out = B1_temp[0] & B1_temp[1];
B1_temp[2]_or_out = B1_temp[2];
B1_temp[2]_reg_input = B1_temp[2]_p1_out $ B1_temp[2]_or_out;
B1_temp[2] = DFFE(B1_temp[2]_reg_input, GLOBAL(clk), , , );


--B1_temp[3] is Frequency1:u1|temp[3]
B1_temp[3]_p1_out = B1_temp[2] & B1_temp[0] & B1_temp[1];
B1_temp[3]_or_out = B1_temp[3];
B1_temp[3]_reg_input = B1_temp[3]_p1_out $ B1_temp[3]_or_out;
B1_temp[3] = DFFE(B1_temp[3]_reg_input, GLOBAL(clk), , , );


--B1_temp[4] is Frequency1:u1|temp[4]
B1_temp[4]_p1_out = B1_temp[3] & B1_temp[2] & B1_temp[0] & B1_temp[1];
B1_temp[4]_or_out = B1_temp[4];
B1_temp[4]_reg_input = B1_temp[4]_p1_out $ B1_temp[4]_or_out;
B1_temp[4] = DFFE(B1_temp[4]_reg_input, GLOBAL(clk), , , );


--B1_temp[5] is Frequency1:u1|temp[5]
B1_temp[5]_p1_out = B1_temp[4] & B1_temp[3] & B1_temp[2] & B1_temp[0] & B1_temp[1];
B1_temp[5]_or_out = B1_temp[5];
B1_temp[5]_reg_input = B1_temp[5]_p1_out $ B1_temp[5]_or_out;
B1_temp[5] = DFFE(B1_temp[5]_reg_input, GLOBAL(clk), , , );


--B1_temp[6] is Frequency1:u1|temp[6]
B1_temp[6]_p0_out = !B1_temp[6] & !B1_temp[1];
B1_temp[6]_p1_out = !B1_temp[3] & !B1_temp[6];
B1_temp[6]_p2_out = !B1_temp[6] & !B1_temp[2];
B1_temp[6]_p3_out = !B1_temp[6] & !B1_temp[0];
B1_temp[6]_p4_out = B1_temp[3] & B1_temp[6] & B1_temp[2] & B1_temp[0] & B1_temp[5] & B1_temp[4] & B1_temp[1];
B1_temp[6]_or_out = B1L32 # B1_temp[6]_p0_out # B1_temp[6]_p1_out # B1_temp[6]_p2_out # B1_temp[6]_p3_out # B1_temp[6]_p4_out;
B1_temp[6]_reg_input = !(B1_temp[6]_or_out);
B1_temp[6] = DFFE(B1_temp[6]_reg_input, GLOBAL(clk), , , );


--B1_temp[7] is Frequency1:u1|temp[7]
B1_temp[7]_p1_out = B1_temp[6] & B1_temp[5] & B1_temp[4] & B1_temp[3] & B1_temp[2] & B1_temp[0] & B1_temp[1];
B1_temp[7]_or_out = B1_temp[7];
B1_temp[7]_reg_input = B1_temp[7]_p1_out $ B1_temp[7]_or_out;
B1_temp[7] = DFFE(B1_temp[7]_reg_input, GLOBAL(clk), , , );


--B1_temp[8] is Frequency1:u1|temp[8]
B1_temp[8]_p1_out = B1_temp[7] & B1_temp[6] & B1_temp[5] & B1_temp[4] & B1_temp[3] & B1_temp[2] & B1_temp[1] & B1_temp[0];
B1_temp[8]_or_out = B1_temp[8]_p1_out;
B1_temp[8]_reg_input = B1_temp[8]_or_out;
B1_temp[8] = TFFE(B1_temp[8]_reg_input, GLOBAL(clk), , , );


--B1_temp[9] is Frequency1:u1|temp[9]
B1_temp[9]_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[19] & !B1_temp[7] & !B1_temp[6] & !B1_temp[8] & B1_temp[5] & B1_temp[4] & B1_temp[3] & B1_temp[2] & B1_temp[1] & B1_temp[9] & B1_temp[0];
B1_temp[9]_p2_out = B1_temp[7] & B1_temp[6] & B1_temp[8] & B1_temp[5] & B1_temp[4] & B1_temp[3] & B1_temp[2] & B1_temp[1] & B1_temp[0];
B1_temp[9]_or_out = B1_temp[9]_p1_out # B1_temp[9]_p2_out;
B1_temp[9]_reg_input = B1_temp[9]_or_out;
B1_temp[9] = TFFE(B1_temp[9]_reg_input, GLOBAL(clk), , , );


--B1_temp[10] is Frequency1:u1|temp[10]
B1_temp[10]_p1_out = B1_temp[9] & B1_temp[7] & B1_temp[6] & B1_temp[5] & B1_temp[4] & B1_temp[3] & B1_temp[2] & B1_temp[1] & B1_temp[0] & B1_temp[8];
B1_temp[10]_or_out = B1_temp[10];
B1_temp[10]_reg_input = B1_temp[10]_p1_out $ B1_temp[10]_or_out;
B1_temp[10] = DFFE(B1_temp[10]_reg_input, GLOBAL(clk), , , );


--B1_temp[11] is Frequency1:u1|temp[11]
B1_temp[11]_p1_out = B1_temp[10] & B1_temp[9] & B1_temp[7] & B1_temp[6] & B1_temp[5] & B1_temp[4] & B1_temp[3] & B1_temp[2] & B1_temp[1] & B1_temp[0] & B1_temp[8];
B1_temp[11]_or_out = B1_temp[11];
B1_temp[11]_reg_input = B1_temp[11]_p1_out $ B1_temp[11]_or_out;
B1_temp[11] = DFFE(B1_temp[11]_reg_input, GLOBAL(clk), , , );


--B1_temp[12] is Frequency1:u1|temp[12]
B1_temp[12]_p1_out = B1_temp[11] & B1_temp[10] & B1_temp[9] & B1_temp[7] & B1_temp[6] & B1_temp[5] & B1_temp[4] & B1_temp[3] & B1_temp[2] & B1_temp[1] & B1_temp[0] & B1_temp[8];
B1_temp[12]_or_out = B1_temp[12];
B1_temp[12]_reg_input = B1_temp[12]_p1_out $ B1_temp[12]_or_out;
B1_temp[12] = DFFE(B1_temp[12]_reg_input, GLOBAL(clk), , , );


--B1_temp[13] is Frequency1:u1|temp[13]
B1_temp[13]_p1_out = B1_temp[12] & B1_temp[11] & B1_temp[10] & B1_temp[9] & B1_temp[7] & B1_temp[6] & B1_temp[5] & B1_temp[4] & B1_temp[3] & B1_temp[2] & B1_temp[1] & B1_temp[0] & B1_temp[8];
B1_temp[13]_or_out = B1_temp[13];
B1_temp[13]_reg_input = B1_temp[13]_p1_out $ B1_temp[13]_or_out;
B1_temp[13] = DFFE(B1_temp[13]_reg_input, GLOBAL(clk), , , );


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


--B1_temp[15] is Frequency1:u1|temp[15]
B1_temp[15]_p1_out = B1_temp[14] & B1_temp[13] & B1_temp[12] & B1_temp[11] & B1_temp[10] & B1_temp[9] & B1_temp[7] & B1_temp[6] & B1_temp[5] & B1_temp[4] & B1_temp[3] & B1_temp[2] & B1_temp[1] & B1_temp[0] & B1_temp[8];
B1_temp[15]_or_out = B1_temp[15];
B1_temp[15]_reg_input = B1_temp[15]_p1_out $ B1_temp[15]_or_out;
B1_temp[15] = DFFE(B1_temp[15]_reg_input, GLOBAL(clk), , , );


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


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


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


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


--B1_clk_out is Frequency1:u1|clk_out
B1_clk_out_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[6] & B1_temp[19] & B1_temp[5] & B1_temp[4] & B1_temp[3] & B1_temp[2] & B1_temp[1] & B1_temp[0];
B1_clk_out_or_out = B1_clk_out_p1_out;
B1_clk_out_reg_input = !(B1_clk_out_or_out);
B1_clk_out = DFFE(B1_clk_out_reg_input, GLOBAL(clk), , , );


--D1_temp1 is Debounce:u3|temp1
D1_temp1_or_out = key;
D1_temp1_reg_input = D1_temp1_or_out;
D1_temp1 = DFFE(D1_temp1_reg_input, !B1_clk_out, , , );


--D1_temp2 is Debounce:u3|temp2
D1_temp2_or_out = D1_temp1;
D1_temp2_reg_input = D1_temp2_or_out;
D1_temp2 = DFFE(D1_temp2_reg_input, !B1_clk_out, , , );


--C1_temp is Emergency:u2|temp
C1_temp_reg_input = VCC;
C1_temp_p3_out = B1_clk_out & D1_temp1 & !D1_temp2;
C1_temp = TFFE(C1_temp_reg_input, C1_temp_p3_out, , , );


--G1_t[0] is StatusSelect:u6|t[0]
G1_t[0]_reg_input = VCC;
G1_t[0] = TFFE(G1_t[0]_reg_input, GLOBAL(clk), , , C1_temp);


--E1_y is ControlA:u4|y
E1_y_p1_out = !C1_temp & E1L5Q & !E1L6Q;
E1_y_or_out = E1_y_p1_out;
E1_y_reg_input = E1_y_or_out;
E1_y = DFFE(E1_y_reg_input, B1_clk_out, , , );


--F1_y is ControlB:u5|y
F1_y_p1_out = !C1_temp & !F1L5Q & F1L6Q;
F1_y_or_out = F1_y_p1_out;
F1_y_reg_input = F1_y_or_out;
F1_y = DFFE(F1_y_reg_input, B1_clk_out, , , );


--E1_reset is ControlA:u4|reset
E1_reset_p1_out = !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] & !C1_temp;
E1_reset_p2_out = !E1_reset & C1_temp;
E1_reset_or_out = E1_reset_p1_out # E1_reset_p2_out;
E1_reset_reg_input = !(E1_reset_or_out);
E1_reset = DFFE(E1_reset_reg_input, B1_clk_out, , , );


--F1_reset is ControlB:u5|reset
F1_reset_p1_out = !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] & !C1_temp;
F1_reset_p2_out = !F1_reset & C1_temp;
F1_reset_or_out = F1_reset_p1_out # F1_reset_p2_out;
F1_reset_reg_input = !(F1_reset_or_out);
F1_reset = DFFE(F1_reset_reg_input, B1_clk_out, , , );


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


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


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


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


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


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


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


--F1_temp_l[2] is ControlB:u5|temp_l[2]
F1_temp_l[2]_p0_out = !C1_temp & !F1_reset & F1L5Q & F1_temp_l[2];
F1_temp_l[2]_p1_out = F1_temp_l[3] & !F1_temp_l[0] & !F1_temp_l[1] & !C1_temp & F1_reset;
F1_temp_l[2]_p2_out = !C1_temp & !F1_reset & !F1L5Q & !F1_temp_l[2];