traffic.map.eqn

用verlog语言编的又一个很好的综合实验(交通灯的控制),特别适合于FPGA/CPLD的初学者

A1L85_or_out = A1L96 # A1L85_p0_out # A1L85_p1_out # A1L85_p2_out # A1L85_p3_out # A1L85_p4_out;
A1L85 = A1L85_or_out;


--A1L95 is reduce_or~2439
A1L95_p0_out = A1L44Q & !second[0];
A1L95_p1_out = !A1L64Q & second[1] & second[2];
A1L95_p2_out = second[1] & second[2] & A1L44Q;
A1L95_p3_out = A1L64Q & !A1L44Q & first[0] & !first[3];
A1L95_p4_out = !A1L64Q & !second[0];
A1L95_or_out = A1L56 # A1L95_p0_out # A1L95_p1_out # A1L95_p2_out # A1L95_p3_out # A1L95_p4_out;
A1L95 = A1L95_or_out;


--A1L06 is reduce_or~2445
A1L06_p0_out = A1L44Q & second[0] & !second[1] & !second[2];
A1L06_p1_out = first[2] & first[1] & first[3] & A1L64Q & !A1L44Q;
A1L06_p2_out = first[2] & first[3] & A1L64Q & !A1L44Q & !first[0];
A1L06_p3_out = !first[2] & first[1] & !first[3] & A1L64Q & !A1L44Q & !first[0];
A1L06_p4_out = !A1L64Q & second[0] & !second[1] & !second[2];
A1L06_or_out = A1L06_p0_out # A1L06_p1_out # A1L06_p2_out # A1L06_p3_out # A1L06_p4_out;
A1L06 = A1L06_or_out;


--A1L16 is reduce_or~2451
A1L16_p0_out = first[0] & A1L64Q & !A1L44Q & first[3] & first[1] & !first[2];
A1L16_p1_out = first[0] & A1L64Q & !A1L44Q & !first[3] & !first[1] & !first[2];
A1L16_p2_out = !A1L64Q & !second[0] & second[1] & !second[2];
A1L16_p3_out = A1L44Q & !second[0] & second[1] & !second[2];
A1L16_p4_out = first[0] & A1L64Q & !A1L44Q & first[3] & !first[1] & first[2];
A1L16_or_out = A1L66 # A1L16_p0_out # A1L16_p1_out # A1L16_p2_out # A1L16_p3_out # A1L16_p4_out;
A1L16 = A1L16_or_out;


--A1L26 is reduce_or~2457
A1L26_p0_out = A1L44Q & !second[0] & second[1] & second[2];
A1L26_p1_out = A1L44Q & second[0] & !second[1] & second[2];
A1L26_p2_out = !A1L44Q & !first[3] & !first[1] & first[2] & A1L64Q & first[0];
A1L26_p3_out = !A1L44Q & first[3] & first[1] & A1L64Q & first[0];
A1L26_p4_out = !second[0] & second[1] & second[2] & !A1L64Q;
A1L26_or_out = A1L76 # A1L26_p0_out # A1L26_p1_out # A1L26_p2_out # A1L26_p3_out # A1L26_p4_out;
A1L26 = A1L26_or_out;


--A1L36 is reduce_or~2463
A1L36_p0_out = A1L64Q & !A1L44Q & !first[2] & first[0] & !first[1];
A1L36_p1_out = A1L64Q & !A1L44Q & first[2] & first[0] & first[1];
A1L36_p2_out = !A1L64Q & !second[0] & second[2] & !second[1];
A1L36_p3_out = A1L44Q & !second[0] & second[2] & !second[1];
A1L36_p4_out = A1L64Q & !A1L44Q & !first[2] & !first[0] & first[1] & first[3];
A1L36_or_out = A1L86 # A1L36_p0_out # A1L36_p1_out # A1L36_p2_out # A1L36_p3_out # A1L36_p4_out;
A1L36 = A1L36_or_out;


--A1L1 is Select~1203
A1L1_p1_out = !A1L77Q & !first[3] & !first[2] & !first[0] & !first[1] & second[0];
A1L1_p2_out = !first[3] & !first[2] & !first[0] & !first[1] & second[0] & second[2];
A1L1 = A1L1_p1_out # A1L1_p2_out;


--A1L2 is Select~1206
A1L2_p1_out = first[3] & !A1L67Q & !first[0] & !first[1];
A1L2_p2_out = first[3] & !first[0] & !first[1] & !second[2] & second[0] & second[1];
A1L2 = A1L2_p1_out # A1L2_p2_out;


--A1L3 is Select~1209
A1L3_p1_out = first[3] & !A1L67Q & !first[0] & !first[1] & !first[2];
A1L3_p2_out = first[3] & !first[0] & !first[1] & !first[2] & !second[2] & second[0] & second[1];
A1L3 = A1L3_p1_out # A1L3_p2_out;


--A1L4 is Select~1212
A1L4_p1_out = !second[2] & second[0] & second[1] & !first[2] & !first[0] & !first[1];
A1L4_p2_out = !second[2] & second[0] & second[1] & !first[3];
A1L4 = A1L4_p1_out # A1L4_p2_out;


--A1L46 is reduce_or~2464
A1L46_p1_out = !first[0] & first[3] & A1L64Q & first[2] & !A1L44Q & !first[1];
A1L46_p2_out = !first[3] & A1L64Q & !first[2] & !A1L44Q & !first[1];
A1L46 = A1L46_p1_out # A1L46_p2_out;


--A1L56 is reduce_or~2467
A1L56_p1_out = first[0] & !first[1] & !first[2] & A1L64Q & !A1L44Q;
A1L56_p2_out = !first[1] & first[2] & A1L64Q & !A1L44Q & !first[3];
A1L56 = A1L56_p1_out # A1L56_p2_out;


--A1L66 is reduce_or~2470
A1L66_p1_out = !first[0] & A1L64Q & !A1L44Q & !first[3] & !first[1] & first[2];
A1L66_p2_out = !A1L64Q & second[0] & second[1] & second[2];
A1L66_p3_out = A1L44Q & second[0] & second[1] & second[2];
A1L66 = A1L66_p1_out # A1L66_p2_out # A1L66_p3_out;


--A1L76 is reduce_or~2474
A1L76_p1_out = first[3] & first[2] & A1L64Q & !A1L44Q & !first[0];
A1L76_p2_out = first[2] & A1L64Q & !A1L44Q & !first[0] & first[1];
A1L76_p3_out = !A1L64Q & second[0] & !second[1] & second[2];
A1L76 = A1L76_p1_out # A1L76_p2_out # A1L76_p3_out;


--A1L86 is reduce_or~2478
A1L86_p0_out = A1L44Q & !second[0] & !second[2] & second[1];
A1L86_p1_out = A1L64Q & !A1L44Q & !first[3] & first[2] & !first[0] & !first[1];
A1L86_p2_out = !A1L64Q & second[0] & second[2] & second[1];
A1L86_p3_out = A1L44Q & second[0] & second[2] & second[1];
A1L86_p4_out = !A1L64Q & !second[0] & !second[2] & second[1];
A1L86 = A1L86_p0_out # A1L86_p1_out # A1L86_p2_out # A1L86_p3_out # A1L86_p4_out;


--~VCC~0 is ~VCC~0
~VCC~0_or_out = GND;
~VCC~0 = !(~VCC~0_or_out);


--A1L65 is reduce_or~2415sexp
A1L65 = EXP(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]);


--A1L96 is reduce_or~2485
A1L96_p0_out = A1L44Q & !second[1] & !second[2];
A1L96_p1_out = first[1] & first[0] & A1L64Q & !first[3] & !A1L44Q;
A1L96_p2_out = !A1L64Q & !second[1] & !second[0];
A1L96_p3_out = A1L44Q & !second[1] & !second[0];
A1L96_p4_out = A1L44Q & !second[0] & !second[2];
A1L96 = A1L96_p0_out # A1L96_p1_out # A1L96_p2_out # A1L96_p3_out # A1L96_p4_out;


--clk is clk
--operation mode is input

clk = INPUT();


--rst is rst
--operation mode is input

rst = INPUT();


--dataout[0] is dataout[0]
--operation mode is output

dataout[0] = OUTPUT(~VCC~0);


--en[0] is en[0]
--operation mode is output

en[0] = OUTPUT(A1L44Q);


--en[1] is en[1]
--operation mode is output

en[1] = OUTPUT(A1L64Q);


--light[0] is light[0]
--operation mode is output

light[0] = OUTPUT(A1L87);


--light[1] is light[1]
--operation mode is output

light[1] = OUTPUT(A1L97);


--light[2] is light[2]
--operation mode is output

light[2] = OUTPUT(A1L57);


--dataout[1] is dataout[1]
--operation mode is output

dataout[1] = OUTPUT(A1L75);


--dataout[2] is dataout[2]
--operation mode is output

dataout[2] = OUTPUT(A1L85);


--dataout[3] is dataout[3]
--operation mode is output

dataout[3] = OUTPUT(A1L95);


--dataout[5] is dataout[5]
--operation mode is output

dataout[5] = OUTPUT(A1L06);


--dataout[6] is dataout[6]
--operation mode is output

dataout[6] = OUTPUT(A1L26);


--dataout[7] is dataout[7]
--operation mode is output

dataout[7] = OUTPUT(A1L16);


--dataout[4] is dataout[4]
--operation mode is output

dataout[4] = OUTPUT(A1L36);