main.fit.eqn

VHDL实现的交通灯程序

--B1_temp[0] is Frequency1:u1|temp[0] at LC104
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] at LC102
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] at LC103
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] at LC105
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] at LC109
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] at LC110
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] at LC82
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] at LC94
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] at LC96
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] at LC95
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] at LC92
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] at LC88
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] at LC86
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] at LC93
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] at LC91
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] at LC90
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] at LC89
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] at LC87
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] at LC85
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] at LC84
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 at LC83
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 at LC106
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 at LC112
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 at LC97
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] at LC30
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 at LC43
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 at LC37
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 at LC14
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 at LC15
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] at LC22
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] at LC52
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] at LC36
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] at LC17
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] at LC50
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] at LC33
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] at LC31
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] at LC41
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];
F1_temp_l[2]_p4_out = !F1_temp_l[0] & !F1_temp_l[1] & !C1_temp & F1_reset & F1_temp_l[2];