trafficlight.map.eqn

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

--Q1_safe_q[0] is counter55:inst2|lpm_counter:CData1_rtl_2|cntr_cv7:auto_generated|safe_q[0]
--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, K1_clk_out, VCC, , D1L1, , , D1L3, );

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

Q1L2 = CARRY(Q1_safe_q[0]);


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

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

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

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


--D1L02 is counter55:inst2|always0~42
--operation mode is normal

D1L02 = Q1_safe_q[1] # P2_safe_q[3] # !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]
--operation mode is arithmetic

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

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

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


--D1L12 is counter55:inst2|always0~43
--operation mode is normal

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


--D1L91 is counter55:inst2|always0~1
--operation mode is normal

D1L91 = Q1_safe_q[3] # D1L02 # !D1L12 # !Q1_safe_q[2];


--D1L22 is counter55:inst2|reduce_or~31
--operation mode is normal

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


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

D1L2 = Reset & !B1_sdata[0];


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

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


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

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


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

D1L6 = CARRY(!P2_safe_q[1]);


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

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


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

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


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

R2_safe_q[9]_carry_eqn = R2L81;
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, CLK, VCC, , , , , L1L1, );

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

R2L02 = CARRY(!R2L81 # !R2_safe_q[9]);


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

R2_safe_q[10]_carry_eqn = R2L02;
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, CLK, VCC, , , , , L1L1, );

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

R2L22 = CARRY(R2_safe_q[10] & !R2L02);


--L1L2 is fdiv1khz:inst12|LessThan~471
--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]
--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, CLK, VCC, , , , , L1L1, );

--R2L2 is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|counter_cella0~COUT
--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]
--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, CLK, VCC, , , , , L1L1, );

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

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


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

R2_safe_q[2]_carry_eqn = R2L4;
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, CLK, VCC, , , , , L1L1, );

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

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


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

R2_safe_q[3]_carry_eqn = R2L6;
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, CLK, VCC, , , , , L1L1, );

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

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


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

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


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

R2_safe_q[4]_carry_eqn = R2L8;
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, CLK, VCC, , , , , L1L1, );

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

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


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

R2_safe_q[5]_carry_eqn = R2L01;
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, CLK, VCC, , , , , L1L1, );

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

R2L21 = CARRY(!R2L01 # !R2_safe_q[5]);


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

R2_safe_q[6]_carry_eqn = R2L21;
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, CLK, VCC, , , , , L1L1, );

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

R2L41 = CARRY(R2_safe_q[6] & !R2L21);


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

R2_safe_q[7]_carry_eqn = R2L41;
R2_safe_q[7]_lut_out = R2_safe_q[7] $ (R2_safe_q[7]_carry_eqn);
R2_safe_q[7] = DFFEAS(R2_safe_q[7]_lut_out, CLK, VCC, , , , , L1L1, );

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

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


--L1L4 is fdiv1khz:inst12|LessThan~473
--operation mode is normal

L1L4 = !R2_safe_q[4] & !R2_safe_q[5] & !R2_safe_q[6] & !R2_safe_q[7];


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

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

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

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


--L1L5 is fdiv1khz:inst12|LessThan~474
--operation mode is normal

L1L5 = L1L2 # L1L3 & L1L4 # !R2_safe_q[8];


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

R2_safe_q[11]_carry_eqn = R2L22;
R2_safe_q[11]_lut_out = R2_safe_q[11] $ (R2_safe_q[11]_carry_eqn);
R2_safe_q[11] = DFFEAS(R2_safe_q[11]_lut_out, CLK, VCC, , , , , L1L1, );

--R2L42 is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|counter_cella11~COUT
--operation mode is arithmetic

R2L42 = CARRY(!R2L22 # !R2_safe_q[11]);


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

R2_safe_q[12]_carry_eqn = R2L42;
R2_safe_q[12]_lut_out = R2_safe_q[12] $ (!R2_safe_q[12]_carry_eqn);
R2_safe_q[12] = DFFEAS(R2_safe_q[12]_lut_out, CLK, VCC, , , , , L1L1, );

--R2L62 is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|counter_cella12~COUT
--operation mode is arithmetic

R2L62 = CARRY(R2_safe_q[12] & !R2L42);


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

R2_safe_q[13]_carry_eqn = R2L62;
R2_safe_q[13]_lut_out = R2_safe_q[13] $ (R2_safe_q[13]_carry_eqn);
R2_safe_q[13] = DFFEAS(R2_safe_q[13]_lut_out, CLK, VCC, , , , , L1L1, );

--R2L82 is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|counter_cella13~COUT
--operation mode is arithmetic

R2L82 = CARRY(!R2L62 # !R2_safe_q[13]);


--L1L6 is fdiv1khz:inst12|LessThan~475
--operation mode is normal

L1L6 = L1L5 & !R2_safe_q[11] & !R2_safe_q[12] # !R2_safe_q[13];


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

R2_safe_q[14]_carry_eqn = R2L82;
R2_safe_q[14]_lut_out = R2_safe_q[14] $ (!R2_safe_q[14]_carry_eqn);
R2_safe_q[14] = DFFEAS(R2_safe_q[14]_lut_out, CLK, VCC, , , , , L1L1, );

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

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


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

R2_safe_q[15]_carry_eqn = R2L03;
R2_safe_q[15]_lut_out = R2_safe_q[15] $ (R2_safe_q[15]_carry_eqn);
R2_safe_q[15] = DFFEAS(R2_safe_q[15]_lut_out, CLK, VCC, , , , , L1L1, );

--R2L23 is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|counter_cella15~COUT
--operation mode is arithmetic

R2L23 = CARRY(!R2L03 # !R2_safe_q[15]);


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

R2_safe_q[16]_carry_eqn = R2L23;
R2_safe_q[16]_lut_out = R2_safe_q[16] $ (!R2_safe_q[16]_carry_eqn);
R2_safe_q[16] = DFFEAS(R2_safe_q[16]_lut_out, CLK, VCC, , , , , L1L1, );

--R2L43 is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|counter_cella16~COUT
--operation mode is arithmetic

R2L43 = CARRY(R2_safe_q[16] & !R2L23);


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

R2_safe_q[17]_carry_eqn = R2L43;
R2_safe_q[17]_lut_out = R2_safe_q[17] $ (R2_safe_q[17]_carry_eqn);
R2_safe_q[17] = DFFEAS(R2_safe_q[17]_lut_out, CLK, VCC, , , , , L1L1, );

--R2L63 is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|counter_cella17~COUT
--operation mode is arithmetic

R2L63 = CARRY(!R2L43 # !R2_safe_q[17]);


--L1L7 is fdiv1khz:inst12|LessThan~476
--operation mode is normal

L1L7 = !R2_safe_q[14] & !R2_safe_q[15] & !R2_safe_q[16] & !R2_safe_q[17];


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

R2_safe_q[18]_carry_eqn = R2L63;
R2_safe_q[18]_lut_out = R2_safe_q[18] $ (!R2_safe_q[18]_carry_eqn);
R2_safe_q[18] = DFFEAS(R2_safe_q[18]_lut_out, CLK, VCC, , , , , L1L1, );

--R2L83 is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|counter_cella18~COUT
--operation mode is arithmetic

R2L83 = CARRY(R2_safe_q[18] & !R2L63);


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

R2_safe_q[19]_carry_eqn = R2L83;
R2_safe_q[19]_lut_out = R2_safe_q[19] $ (R2_safe_q[19]_carry_eqn);
R2_safe_q[19] = DFFEAS(R2_safe_q[19]_lut_out, CLK, VCC, , , , , L1L1, );

--R2L04 is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|counter_cella19~COUT
--operation mode is arithmetic

R2L04 = CARRY(!R2L83 # !R2_safe_q[19]);