trafficlight.fit.eqn

基于verilog的交通灯设计

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


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

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


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

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


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

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


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

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


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

D1_C_out_lut_out = D1L2 & D1L62 $ (!Q1L51 # !D1L92);
D1_C_out = DFFEAS(D1_C_out_lut_out, GLOBAL(K1_clk_out), VCC, , , , , , );


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

B1_EN_in = C1_C_out # D1_C_out;


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

Q1_safe_q[3]_lut_out = Q1_safe_q[3] $ Q1L8;
Q1_safe_q[3] = DFFEAS(Q1_safe_q[3]_lut_out, GLOBAL(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] at LC_X19_Y8_N6
--operation mode is arithmetic

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

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

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

--Q1L6 is counter55:inst2|lpm_counter:CData1_rtl_2|cntr_cv7:auto_generated|counter_cella1~COUTCOUT1 at LC_X19_Y8_N6
--operation mode is arithmetic

Q1L6_cout_1 = !Q1L3 # !Q1_safe_q[1];
Q1L6 = CARRY(Q1L6_cout_1);


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

P2_safe_q[3]_lut_out = P2_safe_q[3] $ P2L8;
P2_safe_q[3] = DFFEAS(P2_safe_q[3]_lut_out, GLOBAL(K1_clk_out), VCC, , , , , D1L1, );


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

Q1_safe_q[0]_lut_out = !Q1_safe_q[0];
Q1_safe_q[0] = DFFEAS(Q1_safe_q[0]_lut_out, GLOBAL(K1_clk_out), VCC, , D1L1, , , D1L3, );

--Q1L2 is counter55:inst2|lpm_counter:CData1_rtl_2|cntr_cv7:auto_generated|counter_cella0~COUT at LC_X19_Y8_N5
--operation mode is arithmetic

Q1L2_cout_0 = Q1_safe_q[0];
Q1L2 = CARRY(Q1L2_cout_0);

--Q1L3 is counter55:inst2|lpm_counter:CData1_rtl_2|cntr_cv7:auto_generated|counter_cella0~COUTCOUT1_1 at LC_X19_Y8_N5
--operation mode is arithmetic

Q1L3_cout_1 = Q1_safe_q[0];
Q1L3 = CARRY(Q1L3_cout_1);


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

P2_safe_q[2]_lut_out = P2_safe_q[2] $ (!P2L5);
P2_safe_q[2] = DFFEAS(P2_safe_q[2]_lut_out, GLOBAL(K1_clk_out), VCC, , , , , D1L1, );

--P2L8 is counter55:inst2|lpm_counter:CData0_rtl_0|cntr_0b7:auto_generated|counter_cella2~COUT at LC_X20_Y8_N7
--operation mode is arithmetic

P2L8_cout_0 = P2_safe_q[2] & !P2L5;
P2L8 = CARRY(P2L8_cout_0);

--P2L9 is counter55:inst2|lpm_counter:CData0_rtl_0|cntr_0b7:auto_generated|counter_cella2~COUTCOUT1_1 at LC_X20_Y8_N7
--operation mode is arithmetic

P2L9_cout_1 = P2_safe_q[2] & !P2L6;
P2L9 = CARRY(P2L9_cout_1);


--D1L72 is counter55:inst2|always0~42 at LC_X19_Y8_N2
--operation mode is normal

D1L72 = P2_safe_q[3] # Q1_safe_q[1] # !P2_safe_q[2] # !Q1_safe_q[0];


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

Q1_safe_q[2]_lut_out = Q1_safe_q[2] $ (!Q1L5);
Q1_safe_q[2] = DFFEAS(Q1_safe_q[2]_lut_out, GLOBAL(K1_clk_out), VCC, , D1L1, , , D1L3, );

--Q1L8 is counter55:inst2|lpm_counter:CData1_rtl_2|cntr_cv7:auto_generated|counter_cella2~COUT at LC_X19_Y8_N7
--operation mode is arithmetic

Q1L8_cout_0 = Q1_safe_q[2] & !Q1L5;
Q1L8 = CARRY(Q1L8_cout_0);

--Q1L9 is counter55:inst2|lpm_counter:CData1_rtl_2|cntr_cv7:auto_generated|counter_cella2~COUTCOUT1_1 at LC_X19_Y8_N7
--operation mode is arithmetic

Q1L9_cout_1 = Q1_safe_q[2] & !Q1L6;
Q1L9 = CARRY(Q1L9_cout_1);


--D1L82 is counter55:inst2|always0~43 at LC_X20_Y8_N9
--operation mode is normal

D1L82 = !P2_safe_q[1] & P2_safe_q[0];


--D1L62 is counter55:inst2|always0~1 at LC_X19_Y8_N3
--operation mode is normal

D1L62 = Q1_safe_q[3] # D1L72 # !D1L82 # !Q1_safe_q[2];


--D1L92 is counter55:inst2|reduce_or~31 at LC_X19_Y8_N9
--operation mode is normal

D1L92 = !P2_safe_q[1] & P2_safe_q[0] & !P2_safe_q[2] & P2_safe_q[3];


--D1L2 is counter55:inst2|CData0[0]~64 at LC_X19_Y6_N2
--operation mode is normal

D1L2 = Reset & !B1_sdata[0];


--C1L3 is counter05:inst1|reduce_or~28 at LC_X20_Y8_N3
--operation mode is normal

C1L3 = P1_safe_q[0] & !P1_safe_q[3] & !P1_safe_q[1] & P1_safe_q[2];


--C1L1 is counter05:inst1|CData0[0]~16 at LC_X20_Y8_N0
--operation mode is normal

C1L1 = C1L3 # !Reset # !B1_sdata[0];


--D1L6 is counter55:inst2|add~158 at LC_X20_Y7_N1
--operation mode is arithmetic

D1L6_cout_0 = !P2_safe_q[1];
D1L6 = CARRY(D1L6_cout_0);

--D1L8 is counter55:inst2|add~158COUT1_192 at LC_X20_Y7_N1
--operation mode is arithmetic

D1L8_cout_1 = !P2_safe_q[1];
D1L8 = CARRY(D1L8_cout_1);


--Q1L51 is counter55:inst2|lpm_counter:CData1_rtl_2|cntr_cv7:auto_generated|safe_q[2]~88 at LC_X19_Y8_N0
--operation mode is normal

Q1L51 = Q1_safe_q[2] & !Q1_safe_q[0] & !Q1_safe_q[3] & Q1_safe_q[1];


--R2_safe_q[31] is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|safe_q[31] at LC_X7_Y10_N5
--operation mode is normal

R2_safe_q[31]_carry_eqn = R2L68;
R2_safe_q[31]_lut_out = R2_safe_q[31]_carry_eqn $ R2_safe_q[31];
R2_safe_q[31] = DFFEAS(R2_safe_q[31]_lut_out, GLOBAL(CLK), VCC, , , , , L1L1, );


--R2_safe_q[9] is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|safe_q[9] at LC_X7_Y12_N3
--operation mode is arithmetic

R2_safe_q[9]_carry_eqn = (!R2L61 & R2L42) # (R2L61 & R2L52);
R2_safe_q[9]_lut_out = R2_safe_q[9] $ R2_safe_q[9]_carry_eqn;
R2_safe_q[9] = DFFEAS(R2_safe_q[9]_lut_out, GLOBAL(CLK), VCC, , , , , L1L1, );

--R2L72 is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|counter_cella9~COUT at LC_X7_Y12_N3
--operation mode is arithmetic

R2L72_cout_0 = !R2L42 # !R2_safe_q[9];
R2L72 = CARRY(R2L72_cout_0);

--R2L82 is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|counter_cella9~COUTCOUT1_1 at LC_X7_Y12_N3
--operation mode is arithmetic

R2L82_cout_1 = !R2L52 # !R2_safe_q[9];
R2L82 = CARRY(R2L82_cout_1);


--R2_safe_q[10] is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|safe_q[10] at LC_X7_Y12_N4
--operation mode is arithmetic

R2_safe_q[10]_carry_eqn = (!R2L61 & R2L72) # (R2L61 & R2L82);
R2_safe_q[10]_lut_out = R2_safe_q[10] $ !R2_safe_q[10]_carry_eqn;
R2_safe_q[10] = DFFEAS(R2_safe_q[10]_lut_out, GLOBAL(CLK), VCC, , , , , L1L1, );

--R2L03 is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|counter_cella10~COUT at LC_X7_Y12_N4
--operation mode is arithmetic

R2L03 = CARRY(R2_safe_q[10] & !R2L82);


--L1L2 is fdiv1khz:inst12|LessThan~471 at LC_X6_Y10_N2
--operation mode is normal

L1L2 = !R2_safe_q[10] # !R2_safe_q[9];


--R2_safe_q[0] is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|safe_q[0] at LC_X7_Y13_N4
--operation mode is arithmetic

R2_safe_q[0]_lut_out = !R2_safe_q[0];
R2_safe_q[0] = DFFEAS(R2_safe_q[0]_lut_out, GLOBAL(CLK), VCC, , , , , L1L1, );

--R2L2 is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|counter_cella0~COUT at LC_X7_Y13_N4
--operation mode is arithmetic

R2L2 = CARRY(R2_safe_q[0]);


--R2_safe_q[1] is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|safe_q[1] at LC_X7_Y13_N5
--operation mode is arithmetic

R2_safe_q[1]_carry_eqn = R2L2;
R2_safe_q[1]_lut_out = R2_safe_q[1] $ R2_safe_q[1]_carry_eqn;
R2_safe_q[1] = DFFEAS(R2_safe_q[1]_lut_out, GLOBAL(CLK), VCC, , , , , L1L1, );

--R2L4 is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|counter_cella1~COUT at LC_X7_Y13_N5
--operation mode is arithmetic

R2L4_cout_0 = !R2L2 # !R2_safe_q[1];
R2L4 = CARRY(R2L4_cout_0);

--R2L5 is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|counter_cella1~COUTCOUT1_1 at LC_X7_Y13_N5
--operation mode is arithmetic

R2L5_cout_1 = !R2L2 # !R2_safe_q[1];
R2L5 = CARRY(R2L5_cout_1);


--R2_safe_q[2] is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|safe_q[2] at LC_X7_Y13_N6
--operation mode is arithmetic

R2_safe_q[2]_carry_eqn = (!R2L2 & R2L4) # (R2L2 & R2L5);
R2_safe_q[2]_lut_out = R2_safe_q[2] $ (!R2_safe_q[2]_carry_eqn);
R2_safe_q[2] = DFFEAS(R2_safe_q[2]_lut_out, GLOBAL(CLK), VCC, , , , , L1L1, );

--R2L7 is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|counter_cella2~COUT at LC_X7_Y13_N6
--operation mode is arithmetic

R2L7_cout_0 = R2_safe_q[2] & !R2L4;
R2L7 = CARRY(R2L7_cout_0);

--R2L8 is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|counter_cella2~COUTCOUT1_1 at LC_X7_Y13_N6
--operation mode is arithmetic

R2L8_cout_1 = R2_safe_q[2] & !R2L5;
R2L8 = CARRY(R2L8_cout_1);


--R2_safe_q[3] is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|safe_q[3] at LC_X7_Y13_N7
--operation mode is arithmetic

R2_safe_q[3]_carry_eqn = (!R2L2 & R2L7) # (R2L2 & R2L8);
R2_safe_q[3]_lut_out = R2_safe_q[3] $ (R2_safe_q[3]_carry_eqn);
R2_safe_q[3] = DFFEAS(R2_safe_q[3]_lut_out, GLOBAL(CLK), VCC, , , , , L1L1, );

--R2L01 is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|counter_cella3~COUT at LC_X7_Y13_N7
--operation mode is arithmetic

R2L01_cout_0 = !R2L7 # !R2_safe_q[3];
R2L01 = CARRY(R2L01_cout_0);

--R2L11 is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|counter_cella3~COUTCOUT1_1 at LC_X7_Y13_N7
--operation mode is arithmetic

R2L11_cout_1 = !R2L8 # !R2_safe_q[3];
R2L11 = CARRY(R2L11_cout_1);


--L1L3 is fdiv1khz:inst12|LessThan~472 at LC_X7_Y13_N3
--operation mode is normal

L1L3 = !R2_safe_q[1] # !R2_safe_q[3] # !R2_safe_q[0] # !R2_safe_q[2];


--R2_safe_q[4] is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|safe_q[4] at LC_X7_Y13_N8
--operation mode is arithmetic

R2_safe_q[4]_carry_eqn = (!R2L2 & R2L01) # (R2L2 & R2L11);
R2_safe_q[4]_lut_out = R2_safe_q[4] $ !R2_safe_q[4]_carry_eqn;
R2_safe_q[4] = DFFEAS(R2_safe_q[4]_lut_out, GLOBAL(CLK), VCC, , , , , L1L1, );

--R2L31 is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|counter_cella4~COUT at LC_X7_Y13_N8
--operation mode is arithmetic

R2L31_cout_0 = R2_safe_q[4] & !R2L01;
R2L31 = CARRY(R2L31_cout_0);

--R2L41 is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|counter_cella4~COUTCOUT1_1 at LC_X7_Y13_N8
--operation mode is arithmetic

R2L41_cout_1 = R2_safe_q[4] & !R2L11;
R2L41 = CARRY(R2L41_cout_1);


--R2_safe_q[5] is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|safe_q[5] at LC_X7_Y13_N9
--operation mode is arithmetic

R2_safe_q[5]_carry_eqn = (!R2L2 & R2L31) # (R2L2 & R2L41);
R2_safe_q[5]_lut_out = R2_safe_q[5] $ (R2_safe_q[5]_carry_eqn);
R2_safe_q[5] = DFFEAS(R2_safe_q[5]_lut_out, GLOBAL(CLK), VCC, , , , , L1L1, );

--R2L61 is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|counter_cella5~COUT at LC_X7_Y13_N9
--operation mode is arithmetic

R2L61 = CARRY(!R2L41 # !R2_safe_q[5]);


--R2_safe_q[6] is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|safe_q[6] at LC_X7_Y12_N0
--operation mode is arithmetic

R2_safe_q[6]_carry_eqn = R2L61;
R2_safe_q[6]_lut_out = R2_safe_q[6] $ !R2_safe_q[6]_carry_eqn;
R2_safe_q[6] = DFFEAS(R2_safe_q[6]_lut_out, GLOBAL(CLK), VCC, , , , , L1L1, );

--R2L81 is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|counter_cella6~COUT at LC_X7_Y12_N0
--operation mode is arithmetic

R2L81_cout_0 = R2_safe_q[6] & !R2L61;
R2L81 = CARRY(R2L81_cout_0);

--R2L91 is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|counter_cella6~COUTCOUT1_1 at LC_X7_Y12_N0
--operation mode is arithmetic

R2L91_cout_1 = R2_safe_q[6] & !R2L61;
R2L91 = CARRY(R2L91_cout_1);