trafficlight.fit.eqn

基于verilog的交通灯设计

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

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


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

M1L3 = B1_sdata[1] & Reset & SW;


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

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


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

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


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

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


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

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


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

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


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

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


--J1_D_OUT[0] is dispselect:inst9|D_OUT[0] at LC_X21_Y9_N0
--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, GLOBAL(L1_clk_out), VCC, , , , , , );


--P2_safe_q[0] is counter55:inst2|lpm_counter:CData0_rtl_0|cntr_0b7:auto_generated|safe_q[0] at LC_X20_Y8_N5
--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, GLOBAL(K1_clk_out), VCC, , , , , D1L1, );

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

P2L2_cout_0 = P2_safe_q[0];
P2L2 = CARRY(P2L2_cout_0);

--P2L3 is counter55:inst2|lpm_counter:CData0_rtl_0|cntr_0b7:auto_generated|counter_cella0~COUTCOUT1_1 at LC_X20_Y8_N5
--operation mode is arithmetic

P2L3_cout_1 = P2_safe_q[0];
P2L3 = CARRY(P2L3_cout_1);


--P1_safe_q[0] is counter05:inst1|lpm_counter:CData0_rtl_1|cntr_0b7:auto_generated|safe_q[0] at LC_X21_Y8_N1
--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, GLOBAL(K1_clk_out), VCC, , , , , C1L1, );

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

P1L2_cout_0 = P1_safe_q[0];
P1L2 = CARRY(P1L2_cout_0);

--P1L3 is counter05:inst1|lpm_counter:CData0_rtl_1|cntr_0b7:auto_generated|counter_cella0~COUTCOUT1_1 at LC_X21_Y8_N1
--operation mode is arithmetic

P1L3_cout_1 = P1_safe_q[0];
P1L3 = CARRY(P1L3_cout_1);


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

P1_safe_q[3]_lut_out = P1_safe_q[3] $ P1L8;
P1_safe_q[3] = DFFEAS(P1_safe_q[3]_lut_out, GLOBAL(K1_clk_out), VCC, , , , , C1L1, );


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

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

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

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

--P1L6 is counter05:inst1|lpm_counter:CData0_rtl_1|cntr_0b7:auto_generated|counter_cella1~COUTCOUT1 at LC_X21_Y8_N2
--operation mode is arithmetic

P1L6_cout_1 = !P1L3 # !P1_safe_q[1];
P1L6 = CARRY(P1L6_cout_1);


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

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

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

P1L8_cout_0 = P1_safe_q[2] & !P1L5;
P1L8 = CARRY(P1L8_cout_0);

--P1L9 is counter05:inst1|lpm_counter:CData0_rtl_1|cntr_0b7:auto_generated|counter_cella2~COUTCOUT1_1 at LC_X21_Y8_N3
--operation mode is arithmetic

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


--F1L1 is datamux:inst6|D_OUT0[0]~112 at LC_X20_Y8_N1
--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 at LC_X20_Y8_N2
--operation mode is normal

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


--D1L51 is counter55:inst2|add~161 at LC_X20_Y7_N4
--operation mode is arithmetic

D1L51 = Q1_safe_q[0] $ D1L31;

--D1L61 is counter55:inst2|add~161COUT at LC_X20_Y7_N4
--operation mode is arithmetic

D1L61 = D1L71;


--D1L52 is counter55:inst2|add~164 at LC_X20_Y7_N7
--operation mode is normal

D1L52_carry_eqn = (!D1L61 & D1L32) # (D1L61 & D1L42);
D1L52 = D1L52_carry_eqn $ Q1_safe_q[3];


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

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


--D1L91 is counter55:inst2|add~162 at LC_X20_Y7_N5
--operation mode is arithmetic

D1L91_carry_eqn = (!D1L61 & GND) # (D1L61 & VCC);
D1L91 = Q1_safe_q[1] $ D1L91_carry_eqn;

--D1L02 is counter55:inst2|add~162COUT at LC_X20_Y7_N5
--operation mode is arithmetic

D1L02_cout_0 = !Q1_safe_q[1] & !D1L61;
D1L02 = CARRY(D1L02_cout_0);

--D1L12 is counter55:inst2|add~162COUTCOUT1_194 at LC_X20_Y7_N5
--operation mode is arithmetic

D1L12_cout_1 = !Q1_safe_q[1] & !D1L61;
D1L12 = CARRY(D1L12_cout_1);


--D1L22 is counter55:inst2|add~163 at LC_X20_Y7_N6
--operation mode is arithmetic

D1L22_carry_eqn = (!D1L61 & D1L02) # (D1L61 & D1L12);
D1L22 = Q1_safe_q[2] $ (D1L22_carry_eqn);

--D1L32 is counter55:inst2|add~163COUT at LC_X20_Y7_N6
--operation mode is arithmetic

D1L32_cout_0 = Q1_safe_q[2] & !D1L02;
D1L32 = CARRY(D1L32_cout_0);

--D1L42 is counter55:inst2|add~163COUTCOUT1_195 at LC_X20_Y7_N6
--operation mode is arithmetic

D1L42_cout_1 = Q1_safe_q[2] & !D1L12;
D1L42 = CARRY(D1L42_cout_1);


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

H1L7 = H1L5 & !D1L22 # !D1L91;


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

H1L2 = H1L1 # D1L51 & H1L7;


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

H1L6 = D1L91 & !D1L22 & H1L5;


--D1L21 is counter55:inst2|add~160 at LC_X20_Y7_N3
--operation mode is arithmetic

D1L21 = P2_safe_q[3] $ (D1L01);

--D1L31 is counter55:inst2|add~160COUT at LC_X20_Y7_N3
--operation mode is arithmetic

D1L31_cout_0 = !P2_safe_q[3] & !D1L01;
D1L31 = CARRY(D1L31_cout_0);

--D1L41 is counter55:inst2|add~160COUTCOUT1 at LC_X20_Y7_N3
--operation mode is arithmetic

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


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

D1L9 = P2_safe_q[2] $ (D1L6);

--D1L01 is counter55:inst2|add~159COUT at LC_X20_Y7_N2
--operation mode is arithmetic

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

--D1L11 is counter55:inst2|add~159COUTCOUT1_193 at LC_X20_Y7_N2
--operation mode is arithmetic

D1L11_cout_1 = P2_safe_q[2] & !D1L8;
D1L11 = CARRY(D1L11_cout_1);


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

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

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

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

--P2L6 is counter55:inst2|lpm_counter:CData0_rtl_0|cntr_0b7:auto_generated|counter_cella1~COUTCOUT1 at LC_X20_Y8_N6
--operation mode is arithmetic

P2L6_cout_1 = !P2L3 # !P2_safe_q[1];
P2L6 = CARRY(P2L6_cout_1);


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

D1L5 = D1L9 # P2_safe_q[1];


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

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


--H1L21 is dispmux:inst8|D_OUT[3]~65 at LC_X21_Y8_N5
--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 at LC_X21_Y9_N1
--operation mode is normal

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


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

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


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

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


--H1L9 is dispmux:inst8|D_OUT[2]~744 at LC_X21_Y8_N0
--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 at LC_X21_Y9_N7
--operation mode is normal

H1L01 = H1L8 & D1L9 $ (D1L21 & P2_safe_q[1]);


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

H1L11 = H1L01 # H1L9 # D1L22 & H1L7;


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

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


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

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


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

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


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

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


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