traffic.map.eqn

verilog HDL综合实验源代码

cnt[12]_p2_out = cnt[11] & !cnt[10] & cnt[9] & !cnt[8] & !cnt[7] & !cnt[6] & !cnt[5] & !cnt[4] & !cnt[3] & !cnt[2] & !cnt[1] & !cnt[0] & cnt[12] & cnt[25] & !cnt[24] & !cnt[23] & cnt[22] & cnt[21] & !cnt[20] & !cnt[19] & !cnt[18] & cnt[17] & !cnt[16] & !cnt[15] & cnt[14] & !cnt[13];
cnt[12]_or_out = cnt[12]_p1_out # cnt[12]_p2_out;
cnt[12]_reg_input = cnt[12]_or_out;
cnt[12] = TFFE(cnt[12]_reg_input, GLOBAL(clk), GLOBAL(rst), , );


--cnt[13] is cnt[13]
cnt[13]_p1_out = cnt[12] & cnt[11] & cnt[10] & cnt[9] & cnt[8] & cnt[7] & cnt[6] & cnt[5] & cnt[4] & cnt[3] & cnt[2] & cnt[1] & cnt[0];
cnt[13]_or_out = cnt[13];
cnt[13]_reg_input = cnt[13]_p1_out $ cnt[13]_or_out;
cnt[13] = DFFE(cnt[13]_reg_input, GLOBAL(clk), GLOBAL(rst), , );


--cnt[14] is cnt[14]
cnt[14]_p1_out = cnt[13] & cnt[12] & cnt[11] & cnt[10] & cnt[9] & cnt[8] & cnt[7] & cnt[6] & cnt[5] & cnt[4] & cnt[3] & cnt[2] & cnt[1] & cnt[0] & A1L65;
cnt[14]_p2_out = !cnt[13] & cnt[12] & cnt[11] & !cnt[10] & cnt[9] & !cnt[8] & !cnt[7] & !cnt[6] & !cnt[5] & !cnt[4] & !cnt[3] & !cnt[2] & !cnt[1] & !cnt[0] & cnt[14] & cnt[25] & !cnt[24] & !cnt[23] & cnt[22] & cnt[21] & !cnt[20] & !cnt[19] & !cnt[18] & cnt[17] & !cnt[16] & !cnt[15];
cnt[14]_or_out = cnt[14]_p1_out # cnt[14]_p2_out;
cnt[14]_reg_input = cnt[14]_or_out;
cnt[14] = TFFE(cnt[14]_reg_input, GLOBAL(clk), GLOBAL(rst), , );


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


--cnt[16] is cnt[16]
cnt[16]_p1_out = cnt[15] & cnt[14] & cnt[13] & cnt[12] & cnt[11] & cnt[10] & cnt[9] & cnt[8] & cnt[7] & cnt[6] & cnt[5] & cnt[4] & cnt[3] & cnt[2] & cnt[1] & cnt[0];
cnt[16]_or_out = cnt[16]_p1_out;
cnt[16]_reg_input = cnt[16]_or_out;
cnt[16] = TFFE(cnt[16]_reg_input, GLOBAL(clk), GLOBAL(rst), , );


--cnt[17] is cnt[17]
cnt[17]_p1_out = cnt[16] & cnt[15] & cnt[14] & cnt[13] & cnt[12] & cnt[11] & cnt[10] & cnt[9] & cnt[8] & cnt[7] & cnt[6] & cnt[5] & cnt[4] & cnt[3] & cnt[2] & cnt[1] & cnt[0] & A1L65;
cnt[17]_p2_out = !cnt[16] & !cnt[15] & cnt[14] & !cnt[13] & cnt[12] & cnt[11] & !cnt[10] & cnt[9] & !cnt[8] & !cnt[7] & !cnt[6] & !cnt[5] & !cnt[4] & !cnt[3] & !cnt[2] & !cnt[1] & !cnt[0] & cnt[17] & cnt[25] & !cnt[24] & !cnt[23] & cnt[22] & cnt[21] & !cnt[20] & !cnt[19] & !cnt[18];
cnt[17]_or_out = cnt[17]_p1_out # cnt[17]_p2_out;
cnt[17]_reg_input = cnt[17]_or_out;
cnt[17] = TFFE(cnt[17]_reg_input, GLOBAL(clk), GLOBAL(rst), , );


--cnt[18] is cnt[18]
cnt[18]_p1_out = cnt[17] & cnt[16] & cnt[15] & cnt[14] & cnt[13] & cnt[12] & cnt[11] & cnt[10] & cnt[9] & cnt[8] & cnt[7] & cnt[6] & cnt[5] & cnt[4] & cnt[3] & cnt[2] & cnt[1] & cnt[0];
cnt[18]_or_out = cnt[18];
cnt[18]_reg_input = cnt[18]_p1_out $ cnt[18]_or_out;
cnt[18] = DFFE(cnt[18]_reg_input, GLOBAL(clk), GLOBAL(rst), , );


--cnt[19] is cnt[19]
cnt[19]_p1_out = cnt[18] & cnt[17] & cnt[16] & cnt[15] & cnt[14] & cnt[13] & cnt[12] & cnt[11] & cnt[10] & cnt[9] & cnt[8] & cnt[7] & cnt[6] & cnt[5] & cnt[4] & cnt[3] & cnt[2] & cnt[1] & cnt[0];
cnt[19]_or_out = cnt[19];
cnt[19]_reg_input = cnt[19]_p1_out $ cnt[19]_or_out;
cnt[19] = DFFE(cnt[19]_reg_input, GLOBAL(clk), GLOBAL(rst), , );


--cnt[20] is cnt[20]
cnt[20]_p1_out = cnt[19] & cnt[18] & cnt[17] & cnt[16] & cnt[15] & cnt[14] & cnt[13] & cnt[12] & cnt[11] & cnt[10] & cnt[9] & cnt[8] & cnt[7] & cnt[6] & cnt[5] & cnt[4] & cnt[3] & cnt[2] & cnt[1] & cnt[0];
cnt[20]_or_out = cnt[20];
cnt[20]_reg_input = cnt[20]_p1_out $ cnt[20]_or_out;
cnt[20] = DFFE(cnt[20]_reg_input, GLOBAL(clk), GLOBAL(rst), , );


--cnt[21] is cnt[21]
cnt[21]_p1_out = cnt[20] & cnt[19] & cnt[18] & cnt[17] & cnt[16] & cnt[15] & cnt[14] & cnt[13] & cnt[12] & cnt[11] & cnt[10] & cnt[9] & cnt[8] & cnt[7] & cnt[6] & cnt[5] & cnt[4] & cnt[3] & cnt[2] & cnt[1] & cnt[0] & A1L65;
cnt[21]_p2_out = !cnt[20] & !cnt[19] & !cnt[18] & cnt[17] & !cnt[16] & !cnt[15] & cnt[14] & !cnt[13] & cnt[12] & cnt[11] & !cnt[10] & cnt[9] & !cnt[8] & !cnt[7] & !cnt[6] & !cnt[5] & !cnt[4] & !cnt[3] & !cnt[2] & !cnt[1] & !cnt[0] & cnt[21] & cnt[25] & !cnt[24] & !cnt[23] & cnt[22];
cnt[21]_or_out = cnt[21]_p1_out # cnt[21]_p2_out;
cnt[21]_reg_input = cnt[21]_or_out;
cnt[21] = TFFE(cnt[21]_reg_input, GLOBAL(clk), GLOBAL(rst), , );


--cnt[22] is cnt[22]
cnt[22]_p1_out = cnt[21] & cnt[20] & cnt[19] & cnt[18] & cnt[17] & cnt[16] & cnt[15] & cnt[14] & cnt[13] & cnt[12] & cnt[11] & cnt[10] & cnt[9] & cnt[8] & cnt[7] & cnt[6] & cnt[5] & cnt[4] & cnt[3] & cnt[2] & cnt[1] & cnt[0] & A1L65;
cnt[22]_p2_out = cnt[21] & !cnt[20] & !cnt[19] & !cnt[18] & cnt[17] & !cnt[16] & !cnt[15] & cnt[14] & !cnt[13] & cnt[12] & cnt[11] & !cnt[10] & cnt[9] & !cnt[8] & !cnt[7] & !cnt[6] & !cnt[5] & !cnt[4] & !cnt[3] & !cnt[2] & !cnt[1] & !cnt[0] & cnt[22] & cnt[25] & !cnt[24] & !cnt[23];
cnt[22]_or_out = cnt[22]_p1_out # cnt[22]_p2_out;
cnt[22]_reg_input = cnt[22]_or_out;
cnt[22] = TFFE(cnt[22]_reg_input, GLOBAL(clk), GLOBAL(rst), , );


--cnt[23] is cnt[23]
cnt[23]_p1_out = cnt[22] & cnt[21] & cnt[20] & cnt[19] & cnt[18] & cnt[17] & cnt[16] & cnt[15] & cnt[14] & cnt[13] & cnt[12] & cnt[11] & cnt[10] & cnt[9] & cnt[8] & cnt[7] & cnt[6] & cnt[5] & cnt[4] & cnt[3] & cnt[2] & cnt[1] & cnt[0];
cnt[23]_or_out = cnt[23];
cnt[23]_reg_input = cnt[23]_p1_out $ cnt[23]_or_out;
cnt[23] = DFFE(cnt[23]_reg_input, GLOBAL(clk), GLOBAL(rst), , );


--cnt[24] is cnt[24]
cnt[24]_p1_out = cnt[23] & cnt[22] & cnt[21] & cnt[20] & cnt[19] & cnt[18] & cnt[17] & cnt[16] & cnt[15] & cnt[14] & cnt[13] & cnt[12] & cnt[11] & cnt[10] & cnt[9] & cnt[8] & cnt[7] & cnt[6] & cnt[5] & cnt[4] & cnt[3] & cnt[2] & cnt[1] & cnt[0];
cnt[24]_or_out = cnt[24]_p1_out;
cnt[24]_reg_input = cnt[24]_or_out;
cnt[24] = TFFE(cnt[24]_reg_input, GLOBAL(clk), GLOBAL(rst), , );


--cnt[25] is cnt[25]
cnt[25]_p1_out = cnt[24] & cnt[23] & cnt[22] & cnt[21] & cnt[20] & cnt[19] & cnt[18] & cnt[17] & cnt[16] & cnt[15] & cnt[14] & cnt[13] & cnt[12] & cnt[11] & cnt[10] & cnt[9] & cnt[8] & cnt[7] & cnt[6] & cnt[5] & cnt[4] & cnt[3] & cnt[2] & cnt[1] & cnt[0] & A1L65;
cnt[25]_p2_out = !cnt[24] & !cnt[23] & cnt[22] & cnt[21] & !cnt[20] & !cnt[19] & !cnt[18] & cnt[17] & !cnt[16] & !cnt[15] & cnt[14] & !cnt[13] & cnt[12] & cnt[11] & !cnt[10] & cnt[9] & !cnt[8] & !cnt[7] & !cnt[6] & !cnt[5] & !cnt[4] & !cnt[3] & !cnt[2] & !cnt[1] & !cnt[0] & cnt[25];
cnt[25]_or_out = cnt[25]_p1_out # cnt[25]_p2_out;
cnt[25]_reg_input = cnt[25]_or_out;
cnt[25] = TFFE(cnt[25]_reg_input, GLOBAL(clk), GLOBAL(rst), , );


--A1L77Q is state~48
A1L77Q_p1_out = !A1L67Q & !cnt[25] & !cnt[24] & !cnt[23] & cnt[22] & cnt[21] & !cnt[20] & !cnt[19] & !cnt[18] & cnt[17] & !cnt[16] & !cnt[15] & cnt[14] & !cnt[13] & cnt[12] & cnt[11] & !cnt[10] & cnt[9] & !cnt[8] & !cnt[7] & !cnt[6] & !cnt[5] & !cnt[4] & !cnt[3] & !cnt[2] & !cnt[1] & !cnt[0] & !first[3] & !first[2] & !first[0] & !first[1] & !second[2] & second[0] & second[1];
A1L77Q_p2_out = !cnt[25] & !cnt[24] & !cnt[23] & cnt[22] & cnt[21] & !cnt[20] & !cnt[19] & !cnt[18] & cnt[17] & !cnt[16] & !cnt[15] & cnt[14] & !cnt[13] & cnt[12] & cnt[11] & !cnt[10] & cnt[9] & !cnt[8] & !cnt[7] & !cnt[6] & !cnt[5] & !cnt[4] & !cnt[3] & !cnt[2] & !cnt[1] & !cnt[0] & !first[3] & !first[2] & !first[0] & !first[1] & !second[2] & second[0] & second[1] & A1L77Q;
A1L77Q_or_out = A1L77Q_p1_out # A1L77Q_p2_out;
A1L77Q_reg_input = A1L77Q_or_out;
A1L77Q = TFFE(A1L77Q_reg_input, GLOBAL(clk), GLOBAL(rst), , );


--A1L87 is state~181
A1L87_or_out = !A1L77Q;
A1L87 = A1L87_or_out;


--A1L67Q is state~47
A1L67Q_p1_out = A1L77Q & !cnt[25] & !cnt[24] & !cnt[23] & cnt[22] & cnt[21] & !cnt[20] & !cnt[19] & !cnt[18] & cnt[17] & !cnt[16] & !cnt[15] & cnt[14] & !cnt[13] & cnt[12] & cnt[11] & !cnt[10] & cnt[9] & !cnt[8] & !cnt[7] & !cnt[6] & !cnt[5] & !cnt[4] & !cnt[3] & !cnt[2] & !cnt[1] & !cnt[0] & !first[3] & !first[2] & !first[0] & !first[1] & !second[2] & second[0] & second[1] & !A1L67Q;
A1L67Q_p2_out = !A1L77Q & !cnt[25] & !cnt[24] & !cnt[23] & cnt[22] & cnt[21] & !cnt[20] & !cnt[19] & !cnt[18] & cnt[17] & !cnt[16] & !cnt[15] & cnt[14] & !cnt[13] & cnt[12] & cnt[11] & !cnt[10] & cnt[9] & !cnt[8] & !cnt[7] & !cnt[6] & !cnt[5] & !cnt[4] & !cnt[3] & !cnt[2] & !cnt[1] & !cnt[0] & !first[3] & !first[2] & !first[0] & !first[1] & !second[2] & second[0] & second[1] & A1L67Q;
A1L67Q_or_out = A1L67Q_p1_out # A1L67Q_p2_out;
A1L67Q_reg_input = A1L67Q_or_out;
A1L67Q = TFFE(A1L67Q_reg_input, GLOBAL(clk), GLOBAL(rst), , );


--A1L57 is state.red~16
A1L57_p1_out = !A1L77Q & !A1L67Q;
A1L57_or_out = A1L57_p1_out;
A1L57 = !(A1L57_or_out);


--A1L97 is state~187
A1L97_or_out = !A1L67Q;
A1L97 = A1L97_or_out;


--second[0] is second[0]
second[0]_p0_out = A1L67Q & !second[0];
second[0]_p1_out = second[2] & A1L67Q;
second[0]_p2_out = A1L67Q & !second[1];
second[0]_p4_out = !first[3] & !first[2] & !first[0] & !first[1];
second[0]_or_out = second[0]_p0_out # second[0]_p1_out # second[0]_p2_out # second[0]_p4_out;
second[0]_reg_input = second[0]_or_out;
second[0]_p3_out = !cnt[25] & !cnt[24] & !cnt[23] & cnt[22] & cnt[21] & !cnt[20] & !cnt[19] & !cnt[18] & cnt[17] & !cnt[16] & !cnt[15] & cnt[14] & !cnt[13] & cnt[12] & cnt[11] & !cnt[10] & cnt[9] & !cnt[8] & !cnt[7] & !cnt[6] & !cnt[5] & !cnt[4] & !cnt[3] & !cnt[2] & !cnt[1] & !cnt[0];
second[0] = TFFE(second[0]_reg_input, GLOBAL(clk), GLOBAL(rst), , second[0]_p3_out);


--second[1] is second[1]
second[1]_p0_out = A1L67Q & second[0] & !second[1];
second[1]_p1_out = !first[3] & !first[2] & !first[0] & !first[1] & A1L67Q & second[0];
second[1]_p2_out = A1L67Q & second[0] & second[2];
second[1]_p4_out = !first[3] & !first[2] & !first[0] & !first[1] & second[0] & !second[1];
second[1]_or_out = A1L1 # second[1]_p0_out # second[1]_p1_out # second[1]_p2_out # second[1]_p4_out;
second[1]_reg_input = second[1]_or_out;
second[1]_p3_out = !cnt[25] & !cnt[24] & !cnt[23] & cnt[22] & cnt[21] & !cnt[20] & !cnt[19] & !cnt[18] & cnt[17] & !cnt[16] & !cnt[15] & cnt[14] & !cnt[13] & cnt[12] & cnt[11] & !cnt[10] & cnt[9] & !cnt[8] & !cnt[7] & !cnt[6] & !cnt[5] & !cnt[4] & !cnt[3] & !cnt[2] & !cnt[1] & !cnt[0];
second[1] = TFFE(second[1]_reg_input, GLOBAL(clk), GLOBAL(rst), , second[1]_p3_out);


--second[2] is second[2]
second[2]_p1_out = A1L67Q & second[0] & second[1] & !cnt[25] & !cnt[24] & !cnt[23] & cnt[22] & cnt[21] & !cnt[20] & !cnt[19] & !cnt[18] & cnt[17] & !cnt[16] & !cnt[15] & cnt[14] & !cnt[13] & cnt[12] & cnt[11] & !cnt[10] & cnt[9] & !cnt[8] & !cnt[7] & !cnt[6] & !cnt[5] & !cnt[4] & !cnt[3] & !cnt[2] & !cnt[1] & !cnt[0] & second[2];
second[2]_p2_out = second[0] & second[1] & !cnt[25] & !cnt[24] & !cnt[23] & cnt[22] & cnt[21] & !cnt[20] & !cnt[19] & !cnt[18] & cnt[17] & !cnt[16] & !cnt[15] & cnt[14] & !cnt[13] & cnt[12] & cnt[11] & !cnt[10] & cnt[9] & !cnt[8] & !cnt[7] & !cnt[6] & !cnt[5] & !cnt[4] & !cnt[3] & !cnt[2] & !cnt[1] & !cnt[0] & second[2] & !first[3] & !first[2] & !first[0] & !first[1];
second[2]_or_out = second[2]_p1_out # second[2]_p2_out;
second[2]_reg_input = second[2]_or_out;
second[2] = TFFE(second[2]_reg_input, GLOBAL(clk), GLOBAL(rst), , );


--first[1] is first[1]
first[1]_p0_out = first[0] & first[1] & !second[2] & second[0] & second[1];
first[1]_p1_out = first[2] & !A1L67Q & !first[0] & !first[1];
first[1]_p2_out = first[2] & !first[0] & !first[1] & !second[2] & second[0] & second[1];
first[1]_p4_out = !A1L67Q & first[0] & first[1];
first[1]_or_out = A1L2 # first[1]_p0_out # first[1]_p1_out # first[1]_p2_out # first[1]_p4_out;
first[1]_reg_input = first[1]_or_out;
first[1]_p3_out = !cnt[25] & !cnt[24] & !cnt[23] & cnt[22] & cnt[21] & !cnt[20] & !cnt[19] & !cnt[18] & cnt[17] & !cnt[16] & !cnt[15] & cnt[14] & !cnt[13] & cnt[12] & cnt[11] & !cnt[10] & cnt[9] & !cnt[8] & !cnt[7] & !cnt[6] & !cnt[5] & !cnt[4] & !cnt[3] & !cnt[2] & !cnt[1] & !cnt[0];
first[1] = DFFE(first[1]_reg_input, GLOBAL(clk), GLOBAL(rst), , first[1]_p3_out);


--first[2] is first[2]
first[2]_p0_out = first[2] & !second[2] & second[0] & second[1] & first[1];
first[2]_p1_out = !A1L67Q & first[0] & first[2];
first[2]_p2_out = first[0] & first[2] & !second[2] & second[0] & second[1];
first[2]_p4_out = !A1L67Q & first[2] & first[1];
first[2]_or_out = A1L3 # first[2]_p0_out # first[2]_p1_out # first[2]_p2_out # first[2]_p4_out;
first[2]_reg_input = first[2]_or_out;
first[2]_p3_out = !cnt[25] & !cnt[24] & !cnt[23] & cnt[22] & cnt[21] & !cnt[20] & !cnt[19] & !cnt[18] & cnt[17] & !cnt[16] & !cnt[15] & cnt[14] & !cnt[13] & cnt[12] & cnt[11] & !cnt[10] & cnt[9] & !cnt[8] & !cnt[7] & !cnt[6] & !cnt[5] & !cnt[4] & !cnt[3] & !cnt[2] & !cnt[1] & !cnt[0];
first[2] = DFFE(first[2]_reg_input, GLOBAL(clk), GLOBAL(rst), , first[2]_p3_out);


--first[3] is first[3]
first[3]_p0_out = !A1L67Q & !first[3] & first[1];
first[3]_p1_out = first[2] & !A1L67Q & !first[3];
first[3]_p2_out = !A1L67Q & !first[3] & first[0];
first[3]_p4_out = !first[2] & !A1L67Q & first[3] & !first[0] & !first[1];
first[3]_or_out = A1L4 # first[3]_p0_out # first[3]_p1_out # first[3]_p2_out # first[3]_p4_out;
first[3]_reg_input = !(first[3]_or_out);
first[3]_p3_out = !cnt[25] & !cnt[24] & !cnt[23] & cnt[22] & cnt[21] & !cnt[20] & !cnt[19] & !cnt[18] & cnt[17] & !cnt[16] & !cnt[15] & cnt[14] & !cnt[13] & cnt[12] & cnt[11] & !cnt[10] & cnt[9] & !cnt[8] & !cnt[7] & !cnt[6] & !cnt[5] & !cnt[4] & !cnt[3] & !cnt[2] & !cnt[1] & !cnt[0];
first[3] = DFFE(first[3]_reg_input, GLOBAL(clk), GLOBAL(rst), , first[3]_p3_out);


--first[0] is first[0]
first[0]_p1_out = !first[3] & !first[2] & !first[1] & !second[2] & second[0] & second[1];
first[0]_p2_out = !second[2] & second[0] & second[1] & first[0];
first[0]_p4_out = first[0] & !A1L67Q;
first[0]_or_out = first[0]_p1_out # first[0]_p2_out # first[0]_p4_out;
first[0]_reg_input = !(first[0]_or_out);
first[0]_p3_out = !cnt[25] & !cnt[24] & !cnt[23] & cnt[22] & cnt[21] & !cnt[20] & !cnt[19] & !cnt[18] & cnt[17] & !cnt[16] & !cnt[15] & cnt[14] & !cnt[13] & cnt[12] & cnt[11] & !cnt[10] & cnt[9] & !cnt[8] & !cnt[7] & !cnt[6] & !cnt[5] & !cnt[4] & !cnt[3] & !cnt[2] & !cnt[1] & !cnt[0];
first[0] = DFFE(first[0]_reg_input, GLOBAL(clk), GLOBAL(rst), , first[0]_p3_out);


--A1L75 is reduce_or~2422
A1L75_p0_out = A1L44Q & !second[2] & second[1];
A1L75_p1_out = first[0] & !first[3] & A1L64Q & first[2] & !A1L44Q & first[1];
A1L75_p2_out = !A1L64Q & !second[0] & second[2] & !second[1];
A1L75_p3_out = !A1L64Q & !second[2] & second[1];
A1L75_p4_out = A1L44Q & !second[0] & second[2] & !second[1];
A1L75_or_out = A1L46 # A1L75_p0_out # A1L75_p1_out # A1L75_p2_out # A1L75_p3_out # A1L75_p4_out;
A1L75 = A1L75_or_out;


--A1L85 is reduce_or~2433
A1L85_p0_out = !A1L64Q & !second[2] & !second[1];
A1L85_p1_out = first[0] & first[2] & !first[1] & A1L64Q & first[3] & !A1L44Q;
A1L85_p2_out = first[0] & !first[2] & A1L64Q & !first[3] & !A1L44Q;
A1L85_p3_out = !first[2] & first[1] & A1L64Q & !first[3] & !A1L44Q;
A1L85_p4_out = !A1L64Q & !second[2] & !second[0];