trafficlight.map.eqn

Verilog hdl开发的交通灯完整实例

--B1_sdata[1] is scan:inst|sdata[1]
--operation mode is normal

B1_sdata[1]_lut_out = !B1_sdata[1];
B1_sdata[1] = DFFEAS(B1_sdata[1]_lut_out, B1_EN_in, VCC, , B1_sdata[0], , , , );


--M1L3 is control:inst14|Red1~14
--operation mode is normal

M1L3 = B1_sdata[1] & Reset & SW;


--M1L4 is control:inst14|Yellow1~11
--operation mode is normal

M1L4 = Reset & SW & !B1_sdata[1];


--B1_sdata[0] is scan:inst|sdata[0]
--operation mode is normal

B1_sdata[0]_lut_out = !B1_sdata[0];
B1_sdata[0] = DFFEAS(B1_sdata[0]_lut_out, B1_EN_in, VCC, , , , , , );


--M1L5 is control:inst14|Yellow1~12
--operation mode is normal

M1L5 = Reset & SW & B1_sdata[0] & !B1_sdata[1];


--M1L6 is control:inst14|Yellow2~10
--operation mode is normal

M1L6 = B1_sdata[1] & Reset & SW & B1_sdata[0];


--M1L1 is control:inst14|Green1~1
--operation mode is normal

M1L1 = B1_sdata[1] # B1_sdata[0] # !SW # !Reset;


--M1L2 is control:inst14|Green2~10
--operation mode is normal

M1L2 = B1_sdata[1] & Reset & SW & !B1_sdata[0];


--J1_D_OUT[0] is dispselect:inst9|D_OUT[0]
--operation mode is normal

J1_D_OUT[0]_lut_out = !J1_D_OUT[0];
J1_D_OUT[0] = DFFEAS(J1_D_OUT[0]_lut_out, L1_clk_out, VCC, , , , , , );


--P2_safe_q[0] is counter55:inst2|lpm_counter:CData0_rtl_0|cntr_0b7:auto_generated|safe_q[0]
--operation mode is arithmetic

P2_safe_q[0]_lut_out = !P2_safe_q[0];
P2_safe_q[0] = DFFEAS(P2_safe_q[0]_lut_out, K1_clk_out, VCC, , , , , D1L1, );

--P2L2 is counter55:inst2|lpm_counter:CData0_rtl_0|cntr_0b7:auto_generated|counter_cella0~COUT
--operation mode is arithmetic

P2L2 = CARRY(P2_safe_q[0]);


--P1_safe_q[0] is counter05:inst1|lpm_counter:CData0_rtl_1|cntr_0b7:auto_generated|safe_q[0]
--operation mode is arithmetic

P1_safe_q[0]_lut_out = !P1_safe_q[0];
P1_safe_q[0] = DFFEAS(P1_safe_q[0]_lut_out, K1_clk_out, VCC, , , , , C1L1, );

--P1L2 is counter05:inst1|lpm_counter:CData0_rtl_1|cntr_0b7:auto_generated|counter_cella0~COUT
--operation mode is arithmetic

P1L2 = CARRY(P1_safe_q[0]);


--P1_safe_q[3] is counter05:inst1|lpm_counter:CData0_rtl_1|cntr_0b7:auto_generated|safe_q[3]
--operation mode is normal

P1_safe_q[3]_carry_eqn = P1L6;
P1_safe_q[3]_lut_out = P1_safe_q[3] $ (P1_safe_q[3]_carry_eqn);
P1_safe_q[3] = DFFEAS(P1_safe_q[3]_lut_out, K1_clk_out, VCC, , , , , C1L1, );


--P1_safe_q[1] is counter05:inst1|lpm_counter:CData0_rtl_1|cntr_0b7:auto_generated|safe_q[1]
--operation mode is arithmetic

P1_safe_q[1]_carry_eqn = P1L2;
P1_safe_q[1]_lut_out = P1_safe_q[1] $ (P1_safe_q[1]_carry_eqn);
P1_safe_q[1] = DFFEAS(P1_safe_q[1]_lut_out, K1_clk_out, VCC, , , , , C1L1, );

--P1L4 is counter05:inst1|lpm_counter:CData0_rtl_1|cntr_0b7:auto_generated|counter_cella1~COUT
--operation mode is arithmetic

P1L4 = CARRY(!P1L2 # !P1_safe_q[1]);


--P1_safe_q[2] is counter05:inst1|lpm_counter:CData0_rtl_1|cntr_0b7:auto_generated|safe_q[2]
--operation mode is arithmetic

P1_safe_q[2]_carry_eqn = P1L4;
P1_safe_q[2]_lut_out = P1_safe_q[2] $ (!P1_safe_q[2]_carry_eqn);
P1_safe_q[2] = DFFEAS(P1_safe_q[2]_lut_out, K1_clk_out, VCC, , , , , C1L1, );

--P1L6 is counter05:inst1|lpm_counter:CData0_rtl_1|cntr_0b7:auto_generated|counter_cella2~COUT
--operation mode is arithmetic

P1L6 = CARRY(P1_safe_q[2] & !P1L4);


--F1L1 is datamux:inst6|D_OUT0[0]~112
--operation mode is normal

F1L1 = P1_safe_q[0] # P1_safe_q[3] # P1_safe_q[1] & P1_safe_q[2];


--H1L1 is dispmux:inst8|D_OUT[0]~737
--operation mode is normal

H1L1 = J1_D_OUT[0] & B1_sdata[0] & !F1L1 # !B1_sdata[0] & !P2_safe_q[0];


--D1L21 is counter55:inst2|add~161
--operation mode is arithmetic

D1L21_carry_eqn = D1L11;
D1L21 = Q1_safe_q[0] $ (D1L21_carry_eqn);

--D1L31 is counter55:inst2|add~161COUT
--operation mode is arithmetic

D1L31 = CARRY(Q1_safe_q[0] & !D1L11);


--D1L81 is counter55:inst2|add~164
--operation mode is normal

D1L81_carry_eqn = D1L71;
D1L81 = Q1_safe_q[3] $ (D1L81_carry_eqn);


--H1L5 is dispmux:inst8|D_OUT[1]~738
--operation mode is normal

H1L5 = !D1L81 & !B1_sdata[0] & !J1_D_OUT[0];


--D1L41 is counter55:inst2|add~162
--operation mode is arithmetic

D1L41_carry_eqn = D1L31;
D1L41 = Q1_safe_q[1] $ (D1L41_carry_eqn);

--D1L51 is counter55:inst2|add~162COUT
--operation mode is arithmetic

D1L51 = CARRY(!Q1_safe_q[1] & !D1L31);


--D1L61 is counter55:inst2|add~163
--operation mode is arithmetic

D1L61_carry_eqn = D1L51;
D1L61 = Q1_safe_q[2] $ (D1L61_carry_eqn);

--D1L71 is counter55:inst2|add~163COUT
--operation mode is arithmetic

D1L71 = CARRY(Q1_safe_q[2] & !D1L51);


--H1L7 is dispmux:inst8|D_OUT[2]~739
--operation mode is normal

H1L7 = H1L5 & !D1L61 # !D1L41;


--H1L2 is dispmux:inst8|D_OUT[0]~740
--operation mode is normal

H1L2 = H1L1 # D1L21 & H1L7;


--H1L6 is dispmux:inst8|D_OUT[1]~741
--operation mode is normal

H1L6 = D1L41 & H1L5 & !D1L61;


--D1L01 is counter55:inst2|add~160
--operation mode is arithmetic

D1L01_carry_eqn = D1L9;
D1L01 = P2_safe_q[3] $ (D1L01_carry_eqn);

--D1L11 is counter55:inst2|add~160COUT
--operation mode is arithmetic

D1L11 = CARRY(!P2_safe_q[3] & !D1L9);


--D1L8 is counter55:inst2|add~159
--operation mode is arithmetic

D1L8_carry_eqn = D1L6;
D1L8 = P2_safe_q[2] $ (D1L8_carry_eqn);

--D1L9 is counter55:inst2|add~159COUT
--operation mode is arithmetic

D1L9 = CARRY(P2_safe_q[2] & !D1L6);


--P2_safe_q[1] is counter55:inst2|lpm_counter:CData0_rtl_0|cntr_0b7:auto_generated|safe_q[1]
--operation mode is arithmetic

P2_safe_q[1]_carry_eqn = P2L2;
P2_safe_q[1]_lut_out = P2_safe_q[1] $ (P2_safe_q[1]_carry_eqn);
P2_safe_q[1] = DFFEAS(P2_safe_q[1]_lut_out, K1_clk_out, VCC, , , , , D1L1, );

--P2L4 is counter55:inst2|lpm_counter:CData0_rtl_0|cntr_0b7:auto_generated|counter_cella1~COUT
--operation mode is arithmetic

P2L4 = CARRY(!P2L2 # !P2_safe_q[1]);


--D1L5 is counter55:inst2|LessThan~93
--operation mode is normal

D1L5 = D1L8 # P2_safe_q[1];


--H1L51 is dispmux:inst8|D_OUT[3]~742
--operation mode is normal

H1L51 = J1_D_OUT[0] & B1_sdata[0] # D1L01 & D1L5;


--H1L21 is dispmux:inst8|D_OUT[3]~65
--operation mode is normal

H1L21 = P1_safe_q[3] # P1_safe_q[1] & P1_safe_q[2] # !J1_D_OUT[0];


--H1L8 is dispmux:inst8|D_OUT[2]~743
--operation mode is normal

H1L8 = J1_D_OUT[0] & !B1_sdata[0];


--H1L4 is dispmux:inst8|D_OUT[1]~23adv_mux_opt_ptn_119
--operation mode is normal

H1L4 = H1L61 & H1L51 & P1_safe_q[1] # !H1L51 & H1L6 # !H1L61 & !H1L51;


--H1L3 is dispmux:inst8|D_OUT[1]~23
--operation mode is normal

H1L3 = H1L4 $ (J1_D_OUT[0] & !B1_sdata[0] & !P2_safe_q[1]);


--H1L9 is dispmux:inst8|D_OUT[2]~744
--operation mode is normal

H1L9 = B1_sdata[0] & J1_D_OUT[0] & P1_safe_q[1] $ !P1_safe_q[2];


--H1L01 is dispmux:inst8|D_OUT[2]~745
--operation mode is normal

H1L01 = H1L8 & D1L8 $ (D1L01 & P2_safe_q[1]);


--H1L11 is dispmux:inst8|D_OUT[2]~746
--operation mode is normal

H1L11 = H1L9 # H1L01 # D1L61 & H1L7;


--H1L31 is dispmux:inst8|D_OUT[3]~729
--operation mode is normal

H1L31 = H1L51 & !H1L8 # !P2_safe_q[1] # !D1L8;


--G1L5 is dispdecoder:inst7|reduce_or~38
--operation mode is normal

G1L5 = H1L3 & H1L41 # !H1L3 & H1L11 $ (H1L2 & !H1L41);


--G1L6 is dispdecoder:inst7|reduce_or~40
--operation mode is normal

G1L6 = H1L11 & H1L41 # H1L2 $ H1L3 # !H1L11 & H1L3 & H1L41;


--G1L7 is dispdecoder:inst7|reduce_or~42
--operation mode is normal

G1L7 = H1L11 & H1L41 # !H1L11 & H1L3 & H1L41 # !H1L2;


--G1L4 is dispdecoder:inst7|data_out[4]~31
--operation mode is normal

G1L4 = H1L2 & H1L41 # H1L3 $ !H1L11 # !H1L2 & H1L3 & H1L41 # !H1L3 & H1L11;


--G1L3 is dispdecoder:inst7|data_out[3]~33
--operation mode is normal

G1L3 = H1L2 # H1L3 & H1L41 # !H1L3 & H1L11;


--G1L2 is dispdecoder:inst7|data_out[2]~35
--operation mode is normal

G1L2 = H1L2 & H1L3 # H1L11 $ !H1L41 # !H1L2 & H1L11 & H1L41 # !H1L11 & H1L3;


--G1L1 is dispdecoder:inst7|data_out[1]~37
--operation mode is normal

G1L1 = H1L3 & !H1L41 & !H1L11 # !H1L2 # !H1L3 & H1L11 $ H1L41;


--C1_C_out is counter05:inst1|C_out
--operation mode is normal

C1_C_out_lut_out = Reset & B1_sdata[0] & C1L3;
C1_C_out = DFFEAS(C1_C_out_lut_out, K1_clk_out, VCC, , , , , , );


--D1_C_out is counter55:inst2|C_out
--operation mode is normal

D1_C_out_lut_out = D1L2 & D1L91 $ (!Q1L21 # !D1L22);
D1_C_out = DFFEAS(D1_C_out_lut_out, K1_clk_out, VCC, , , , , , );


--B1_EN_in is scan:inst|EN_in
--operation mode is normal

B1_EN_in = C1_C_out # D1_C_out;


--L1_clk_out is fdiv1khz:inst12|clk_out
--operation mode is normal

L1_clk_out_lut_out = L1L1;
L1_clk_out = DFFEAS(L1_clk_out_lut_out, CLK, VCC, , , , , , );


--K1_clk_out is fdiv1hz:inst11|clk_out
--operation mode is normal

K1_clk_out_lut_out = K1L1;
K1_clk_out = DFFEAS(K1_clk_out_lut_out, L1_clk_out, VCC, , , , , , );


--Q1_safe_q[3] is counter55:inst2|lpm_counter:CData1_rtl_2|cntr_cv7:auto_generated|safe_q[3]
--operation mode is normal

Q1_safe_q[3]_carry_eqn = Q1L6;
Q1_safe_q[3]_lut_out = Q1_safe_q[3] $ (Q1_safe_q[3]_carry_eqn);
Q1_safe_q[3] = DFFEAS(Q1_safe_q[3]_lut_out, K1_clk_out, VCC, , D1L1, , , D1L3, );


--Q1_safe_q[1] is counter55:inst2|lpm_counter:CData1_rtl_2|cntr_cv7:auto_generated|safe_q[1]
--operation mode is arithmetic

Q1_safe_q[1]_carry_eqn = Q1L2;
Q1_safe_q[1]_lut_out = Q1_safe_q[1] $ (Q1_safe_q[1]_carry_eqn);
Q1_safe_q[1] = DFFEAS(Q1_safe_q[1]_lut_out, K1_clk_out, VCC, , D1L1, , , D1L3, );

--Q1L4 is counter55:inst2|lpm_counter:CData1_rtl_2|cntr_cv7:auto_generated|counter_cella1~COUT
--operation mode is arithmetic

Q1L4 = CARRY(!Q1L2 # !Q1_safe_q[1]);


--P2_safe_q[3] is counter55:inst2|lpm_counter:CData0_rtl_0|cntr_0b7:auto_generated|safe_q[3]
--operation mode is normal

P2_safe_q[3]_carry_eqn = P2L6;
P2_safe_q[3]_lut_out = P2_safe_q[3] $ (P2_safe_q[3]_carry_eqn);
P2_safe_q[3] = DFFEAS(P2_safe_q[3]_lut_out, K1_clk_out, VCC, , , , , D1L1, );