jiaotongdeng.map.eqn

用Verilog HDL语言编写的交通灯程序

C1L9_or_out = C1L9_p0_out # C1L9_p2_out # C1L9_p3_out # C1L9_p4_out;
C1L9 = C1L9_p1_out $ C1L9_or_out;


--C1L10 is xianshi:inst1|reduce_or~1765
C1L10_p0_out = !J1_dffs[12] & B1_count_down[1] & B1_count_down[2] & B1_count_down[0];
C1L10_p1_out = !J1_dffs[12] & B1_count_down[3] & B1_count_down[1];
C1L10_p2_out = !J1_dffs[12] & !B1_count_down[3] & !B1_count_down[1] & !B1_count_down[2] & B1_count_down[0];
C1L10_p3_out = J1_dffs[12] & !B1_count_down[6] & B1_count_down[4] & !B1_count_down[5] & !B1_count_down[7];
C1L10_p4_out = J1_dffs[12] & B1_count_down[6] & B1_count_down[4] & B1_count_down[5];
C1L10_or_out = C1L16 # C1L10_p0_out # C1L10_p1_out # C1L10_p2_out # C1L10_p3_out # C1L10_p4_out;
C1L10 = C1L10_or_out;


--C1L11 is xianshi:inst1|reduce_or~1770
C1L11_p1_out = B1_count_down[1] & !B1_count_down[3] & !B1_count_down[0] & !J1_dffs[12];
C1L11_p2_out = !B1_count_down[1] & !B1_count_down[0] & !J1_dffs[12] & !B1_count_down[2];
C1L11_p3_out = J1_dffs[12] & !B1_count_down[6] & !B1_count_down[5] & !B1_count_down[4];
C1L11_p4_out = J1_dffs[12] & B1_count_down[5] & !B1_count_down[4] & !B1_count_down[7];
C1L11_or_out = C1L11_p1_out # C1L11_p2_out # C1L11_p3_out # C1L11_p4_out;
C1L11 = !(C1L11_or_out);


--B1L51Q is jiaotongdeng:inst|current_state~16
B1L51Q_p1_out = B1L49Q & B1L50Q;
B1L51Q_or_out = B1L51Q_p1_out;
B1L51Q_reg_input = B1L51Q_or_out;
B1L51Q = TFFE(B1L51Q_reg_input, B1_CLK1, GLOBAL(ST), , );


--B1L48 is jiaotongdeng:inst|current_state.state7~10
B1L48_p1_out = B1L51Q & B1L49Q;
B1L48_or_out = B1L48_p1_out;
B1L48 = B1L48_or_out;


--B1L45 is jiaotongdeng:inst|current_state.state3~31
B1L45_p1_out = !B1L51Q & B1L49Q;
B1L45_or_out = B1L45_p1_out;
B1L45 = B1L45_or_out;


--B1L52 is jiaotongdeng:inst|current_state~182
B1L52_or_out = !B1L51Q;
B1L52 = B1L52_or_out;


--B1L33 is jiaotongdeng:inst|count_down[2]~469
B1L33_p1_out = B1L50Q & !B1_temp & GLOBAL(ST) & !B1_count_down[2];
B1L33 = B1L33_p1_out;


--B1L35 is jiaotongdeng:inst|count_down[3]~471
B1L35_p1_out = B1_count_down[7] & B1_temp & !B1_count_down[2] & !B1_count_down[1] & !B1_count_down[0] & GLOBAL(ST);
B1L35_p2_out = B1_temp & !B1_count_down[2] & !B1_count_down[1] & !B1_count_down[0] & GLOBAL(ST) & B1_count_down[6];
B1L35 = B1L35_p1_out # B1L35_p2_out;


--B1L37 is jiaotongdeng:inst|count_down[4]~474
B1L37_p1_out = B1_count_down[7] & !B1_count_down[3] & !B1_count_down[2] & !B1_count_down[1] & !B1_count_down[0] & GLOBAL(ST) & B1_temp;
B1L37_p2_out = !B1_count_down[3] & !B1_count_down[2] & !B1_count_down[1] & !B1_count_down[0] & GLOBAL(ST) & B1_temp & B1_count_down[6];
B1L37_p3_out = !B1_count_down[3] & !B1_count_down[2] & !B1_count_down[1] & !B1_count_down[0] & GLOBAL(ST) & B1_temp & B1_count_down[5];
B1L37_p4_out = GLOBAL(ST) & !B1_temp & B1L50Q & !B1L49Q & !B1_count_down[4];
B1L37 = B1L37_p1_out # B1L37_p2_out # B1L37_p3_out # B1L37_p4_out;


--B1L39 is jiaotongdeng:inst|count_down[5]~479
B1L39_p1_out = B1_count_down[7] & !B1_count_down[4] & !B1_count_down[3] & !B1_count_down[2] & !B1_count_down[1] & !B1_count_down[0] & GLOBAL(ST) & B1_temp;
B1L39_p2_out = !B1_count_down[4] & !B1_count_down[3] & !B1_count_down[2] & !B1_count_down[1] & !B1_count_down[0] & GLOBAL(ST) & B1_temp & B1_count_down[6];
B1L39_p3_out = GLOBAL(ST) & !B1_temp & !B1L50Q & B1L51Q & !B1L49Q & !B1_count_down[5];
B1L39 = B1L39_p1_out # B1L39_p2_out # B1L39_p3_out;


--B1L41 is jiaotongdeng:inst|count_down[6]~483
B1L41_p1_out = B1_count_down[7] & !B1_count_down[5] & !B1_count_down[4] & !B1_count_down[3] & !B1_count_down[2] & !B1_count_down[1] & !B1_count_down[0] & GLOBAL(ST) & B1_temp;
B1L41_p2_out = GLOBAL(ST) & !B1_temp & !B1L50Q & !B1L51Q & !B1L49Q & !B1_count_down[6];
B1L41 = B1L41_p1_out # B1L41_p2_out;


--C1L12 is xianshi:inst1|reduce_or~1772
C1L12_p1_out = !J1_dffs[12] & B1_count_down[3] & B1_count_down[2];
C1L12 = C1L12_p1_out;


--C1L13 is xianshi:inst1|reduce_or~1774
C1L13_p1_out = B1_count_down[3] & B1_count_down[2] & !J1_dffs[12];
C1L13_p2_out = J1_dffs[12] & B1_count_down[6] & B1_count_down[7];
C1L13_p3_out = J1_dffs[12] & B1_count_down[7] & B1_count_down[5];
C1L13 = C1L13_p1_out # C1L13_p2_out # C1L13_p3_out;


--C1L14 is xianshi:inst1|reduce_or~1778
C1L14_p1_out = !B1_count_down[3] & B1_count_down[2] & !B1_count_down[0] & !J1_dffs[12];
C1L14_p2_out = J1_dffs[12] & B1_count_down[6] & !B1_count_down[4] & !B1_count_down[7];
C1L14_p3_out = !B1_count_down[3] & !B1_count_down[2] & !J1_dffs[12] & B1_count_down[1];
C1L14 = C1L14_p1_out # C1L14_p2_out # C1L14_p3_out;


--C1L15 is xianshi:inst1|reduce_or~1782
C1L15_p1_out = B1_count_down[1] & !B1_count_down[2] & !J1_dffs[12];
C1L15_p2_out = J1_dffs[12] & !B1_count_down[6] & B1_count_down[5];
C1L15_p3_out = J1_dffs[12] & B1_count_down[5] & B1_count_down[4];
C1L15 = C1L15_p1_out # C1L15_p2_out # C1L15_p3_out;


--C1L16 is xianshi:inst1|reduce_or~1786
C1L16_p0_out = J1_dffs[12] & B1_count_down[5] & B1_count_down[7];
C1L16_p1_out = !J1_dffs[12] & B1_count_down[2] & !B1_count_down[0] & !B1_count_down[1];
C1L16_p2_out = J1_dffs[12] & B1_count_down[6] & !B1_count_down[4] & !B1_count_down[5];
C1L16_p3_out = !J1_dffs[12] & B1_count_down[2] & B1_count_down[3];
C1L16_p4_out = J1_dffs[12] & B1_count_down[6] & B1_count_down[7];
C1L16 = C1L16_p0_out # C1L16_p1_out # C1L16_p2_out # C1L16_p3_out # C1L16_p4_out;


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


--CLK is CLK
--operation mode is input

CLK = INPUT();


--ST is ST
--operation mode is input

ST = INPUT();


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

seg[7] = OUTPUT(~VCC~0);


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

LAMP[5] = OUTPUT(B1L43);


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

LAMP[4] = OUTPUT(B1L44);


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

LAMP[1] = OUTPUT(B1L46);


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

LAMP[0] = OUTPUT(B1L47);


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

sl[1] = OUTPUT(J1_dffs[12]);


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

sl[0] = OUTPUT(J1L15);


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

seg[6] = OUTPUT(C1L3);


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

seg[2] = OUTPUT(C1L1);


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

seg[1] = OUTPUT(C1L2);


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

seg[5] = OUTPUT(C1L4);


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

seg[0] = OUTPUT(C1L9);


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

seg[4] = OUTPUT(C1L11);


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

seg[3] = OUTPUT(C1L10);


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

LAMP[7] = OUTPUT(B1L51Q);


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

LAMP[6] = OUTPUT(B1L45);


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

LAMP[3] = OUTPUT(B1L52);


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

LAMP[2] = OUTPUT(B1L48);