main.fit.eqn

VHDL实现的交通灯程序

G1_t[16] = TFFE(G1_t[16]_reg_input, GLOBAL(clk), , , C1_temp);


--G1_t[17] is StatusSelect:u6|t[17] at LC79
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] at LC80
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 at LC72
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 at LC11
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] at LC71
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] at LC75
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] at LC66
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 at LC49
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 at LC51
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 at LC57
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 at LC59
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 at SEXP21
J1L23 = EXP(E1_temp_l[0] & E1_temp_l[1]);


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


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


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


--J1L63 is Display:u8|num_out[6]~2186 at LC25
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 at SEXP16
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 at SEXP15
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 at SEXP14
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 at LC5
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 at LC101
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 at LC99
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 at LC6
J1L2_p1_out = !J1L9 & !J1L1;
J1L2_or_out = J1L2_p1_out;
J1L2 = J1L2_or_out;


--J1L72 is Display:u8|num_out[5]~2211 at SEXP31
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 at SEXP30
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 at SEXP17
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 at LC27
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 at SEXP6
J1L01 = EXP(!F1_temp_h[2] & F1_temp_h[0] & !F1_temp_h[1]);


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


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


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


--J1L41 is Display:u8|num_out[3]~2235 at LC8
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 at SEXP12
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 at LC3
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 at SEXP23
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 at SEXP22
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 at SEXP20
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 at LC29
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 at LC81
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 at LC62
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 at LC69
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 at LC54
E1L81_p1_out = E1L5Q & E1L6Q & !E1_reset & !E1_temp_l[3] & !C1_temp;
E1L81 = E1L81_p1_out;


--G1L72 is StatusSelect:u6|temp~136 at LC74
G1L72_p1_out = !G1_temp[2] & !G1_temp[0] & G1_a;
G1L72 = G1L72_p1_out;