trafficlight.fit.eqn

基于verilog的交通灯设计

R2L47 = CARRY(R2L47_cout_0);

--R2L57 is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|counter_cella26~COUTCOUT1_1 at LC_X7_Y10_N0
--operation mode is arithmetic

R2L57_cout_1 = R2_safe_q[26] & !R2L27;
R2L57 = CARRY(R2L57_cout_1);


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

R2_safe_q[27]_carry_eqn = (!R2L27 & R2L47) # (R2L27 & R2L57);
R2_safe_q[27]_lut_out = R2_safe_q[27] $ (R2_safe_q[27]_carry_eqn);
R2_safe_q[27] = DFFEAS(R2_safe_q[27]_lut_out, GLOBAL(CLK), VCC, , , , , L1L1, );

--R2L77 is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|counter_cella27~COUT at LC_X7_Y10_N1
--operation mode is arithmetic

R2L77_cout_0 = !R2L47 # !R2_safe_q[27];
R2L77 = CARRY(R2L77_cout_0);

--R2L87 is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|counter_cella27~COUTCOUT1_1 at LC_X7_Y10_N1
--operation mode is arithmetic

R2L87_cout_1 = !R2L57 # !R2_safe_q[27];
R2L87 = CARRY(R2L87_cout_1);


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

R2_safe_q[28]_carry_eqn = (!R2L27 & R2L77) # (R2L27 & R2L87);
R2_safe_q[28]_lut_out = R2_safe_q[28] $ (!R2_safe_q[28]_carry_eqn);
R2_safe_q[28] = DFFEAS(R2_safe_q[28]_lut_out, GLOBAL(CLK), VCC, , , , , L1L1, );

--R2L08 is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|counter_cella28~COUT at LC_X7_Y10_N2
--operation mode is arithmetic

R2L08_cout_0 = R2_safe_q[28] & !R2L77;
R2L08 = CARRY(R2L08_cout_0);

--R2L18 is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|counter_cella28~COUTCOUT1_1 at LC_X7_Y10_N2
--operation mode is arithmetic

R2L18_cout_1 = R2_safe_q[28] & !R2L87;
R2L18 = CARRY(R2L18_cout_1);


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

R2_safe_q[29]_carry_eqn = (!R2L27 & R2L08) # (R2L27 & R2L18);
R2_safe_q[29]_lut_out = R2_safe_q[29] $ R2_safe_q[29]_carry_eqn;
R2_safe_q[29] = DFFEAS(R2_safe_q[29]_lut_out, GLOBAL(CLK), VCC, , , , , L1L1, );

--R2L38 is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|counter_cella29~COUT at LC_X7_Y10_N3
--operation mode is arithmetic

R2L38_cout_0 = !R2L08 # !R2_safe_q[29];
R2L38 = CARRY(R2L38_cout_0);

--R2L48 is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|counter_cella29~COUTCOUT1_1 at LC_X7_Y10_N3
--operation mode is arithmetic

R2L48_cout_1 = !R2L18 # !R2_safe_q[29];
R2L48 = CARRY(R2L48_cout_1);


--L1L01 is fdiv1khz:inst12|LessThan~479 at LC_X8_Y10_N2
--operation mode is normal

L1L01 = !R2_safe_q[27] & !R2_safe_q[26] & !R2_safe_q[29] & !R2_safe_q[28];


--L1L11 is fdiv1khz:inst12|LessThan~480 at LC_X7_Y10_N9
--operation mode is normal

L1L11 = L1L9 & L1L7 & L1L01 & L1L8;


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

R2_safe_q[30]_carry_eqn = (!R2L27 & R2L38) # (R2L27 & R2L48);
R2_safe_q[30]_lut_out = R2_safe_q[30] $ !R2_safe_q[30]_carry_eqn;
R2_safe_q[30] = DFFEAS(R2_safe_q[30]_lut_out, GLOBAL(CLK), VCC, , , , , L1L1, );

--R2L68 is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|counter_cella30~COUT at LC_X7_Y10_N4
--operation mode is arithmetic

R2L68 = CARRY(R2_safe_q[30] & !R2L48);


--L1L1 is fdiv1khz:inst12|LessThan~256 at LC_X7_Y10_N6
--operation mode is normal

L1L1 = !R2_safe_q[31] & R2_safe_q[30] # !L1L6 # !L1L11;

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

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


--R1_safe_q[31] is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|safe_q[31] at LC_X10_Y6_N5
--operation mode is normal

R1_safe_q[31]_carry_eqn = R1L68;
R1_safe_q[31]_lut_out = R1_safe_q[31]_carry_eqn $ R1_safe_q[31];
R1_safe_q[31] = DFFEAS(R1_safe_q[31]_lut_out, GLOBAL(L1_clk_out), VCC, , , , , K1L1, );


--R1_safe_q[5] is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|safe_q[5] at LC_X10_Y9_N9
--operation mode is arithmetic

R1_safe_q[5]_carry_eqn = (!R1L2 & R1L31) # (R1L2 & R1L41);
R1_safe_q[5]_lut_out = R1_safe_q[5] $ (R1_safe_q[5]_carry_eqn);
R1_safe_q[5] = DFFEAS(R1_safe_q[5]_lut_out, GLOBAL(L1_clk_out), VCC, , , , , K1L1, );

--R1L61 is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|counter_cella5~COUT at LC_X10_Y9_N9
--operation mode is arithmetic

R1L61 = CARRY(!R1L41 # !R1_safe_q[5]);


--R1_safe_q[6] is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|safe_q[6] at LC_X10_Y8_N0
--operation mode is arithmetic

R1_safe_q[6]_carry_eqn = R1L61;
R1_safe_q[6]_lut_out = R1_safe_q[6] $ !R1_safe_q[6]_carry_eqn;
R1_safe_q[6] = DFFEAS(R1_safe_q[6]_lut_out, GLOBAL(L1_clk_out), VCC, , , , , K1L1, );

--R1L81 is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|counter_cella6~COUT at LC_X10_Y8_N0
--operation mode is arithmetic

R1L81_cout_0 = R1_safe_q[6] & !R1L61;
R1L81 = CARRY(R1L81_cout_0);

--R1L91 is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|counter_cella6~COUTCOUT1_1 at LC_X10_Y8_N0
--operation mode is arithmetic

R1L91_cout_1 = R1_safe_q[6] & !R1L61;
R1L91 = CARRY(R1L91_cout_1);


--R1_safe_q[7] is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|safe_q[7] at LC_X10_Y8_N1
--operation mode is arithmetic

R1_safe_q[7]_carry_eqn = (!R1L61 & R1L81) # (R1L61 & R1L91);
R1_safe_q[7]_lut_out = R1_safe_q[7] $ (R1_safe_q[7]_carry_eqn);
R1_safe_q[7] = DFFEAS(R1_safe_q[7]_lut_out, GLOBAL(L1_clk_out), VCC, , , , , K1L1, );

--R1L12 is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|counter_cella7~COUT at LC_X10_Y8_N1
--operation mode is arithmetic

R1L12_cout_0 = !R1L81 # !R1_safe_q[7];
R1L12 = CARRY(R1L12_cout_0);

--R1L22 is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|counter_cella7~COUTCOUT1_1 at LC_X10_Y8_N1
--operation mode is arithmetic

R1L22_cout_1 = !R1L91 # !R1_safe_q[7];
R1L22 = CARRY(R1L22_cout_1);


--R1_safe_q[8] is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|safe_q[8] at LC_X10_Y8_N2
--operation mode is arithmetic

R1_safe_q[8]_carry_eqn = (!R1L61 & R1L12) # (R1L61 & R1L22);
R1_safe_q[8]_lut_out = R1_safe_q[8] $ (!R1_safe_q[8]_carry_eqn);
R1_safe_q[8] = DFFEAS(R1_safe_q[8]_lut_out, GLOBAL(L1_clk_out), VCC, , , , , K1L1, );

--R1L42 is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|counter_cella8~COUT at LC_X10_Y8_N2
--operation mode is arithmetic

R1L42_cout_0 = R1_safe_q[8] & !R1L12;
R1L42 = CARRY(R1L42_cout_0);

--R1L52 is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|counter_cella8~COUTCOUT1_1 at LC_X10_Y8_N2
--operation mode is arithmetic

R1L52_cout_1 = R1_safe_q[8] & !R1L22;
R1L52 = CARRY(R1L52_cout_1);


--K1L2 is fdiv1hz:inst11|LessThan~500 at LC_X10_Y9_N2
--operation mode is normal

K1L2 = !R1_safe_q[6] # !R1_safe_q[7] # !R1_safe_q[8] # !R1_safe_q[5];


--R1_safe_q[0] is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|safe_q[0] at LC_X10_Y9_N4
--operation mode is arithmetic

R1_safe_q[0]_lut_out = !R1_safe_q[0];
R1_safe_q[0] = DFFEAS(R1_safe_q[0]_lut_out, GLOBAL(L1_clk_out), VCC, , , , , K1L1, );

--R1L2 is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|counter_cella0~COUT at LC_X10_Y9_N4
--operation mode is arithmetic

R1L2 = CARRY(R1_safe_q[0]);


--R1_safe_q[1] is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|safe_q[1] at LC_X10_Y9_N5
--operation mode is arithmetic

R1_safe_q[1]_carry_eqn = R1L2;
R1_safe_q[1]_lut_out = R1_safe_q[1] $ R1_safe_q[1]_carry_eqn;
R1_safe_q[1] = DFFEAS(R1_safe_q[1]_lut_out, GLOBAL(L1_clk_out), VCC, , , , , K1L1, );

--R1L4 is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|counter_cella1~COUT at LC_X10_Y9_N5
--operation mode is arithmetic

R1L4_cout_0 = !R1L2 # !R1_safe_q[1];
R1L4 = CARRY(R1L4_cout_0);

--R1L5 is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|counter_cella1~COUTCOUT1_1 at LC_X10_Y9_N5
--operation mode is arithmetic

R1L5_cout_1 = !R1L2 # !R1_safe_q[1];
R1L5 = CARRY(R1L5_cout_1);


--R1_safe_q[2] is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|safe_q[2] at LC_X10_Y9_N6
--operation mode is arithmetic

R1_safe_q[2]_carry_eqn = (!R1L2 & R1L4) # (R1L2 & R1L5);
R1_safe_q[2]_lut_out = R1_safe_q[2] $ (!R1_safe_q[2]_carry_eqn);
R1_safe_q[2] = DFFEAS(R1_safe_q[2]_lut_out, GLOBAL(L1_clk_out), VCC, , , , , K1L1, );

--R1L7 is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|counter_cella2~COUT at LC_X10_Y9_N6
--operation mode is arithmetic

R1L7_cout_0 = R1_safe_q[2] & !R1L4;
R1L7 = CARRY(R1L7_cout_0);

--R1L8 is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|counter_cella2~COUTCOUT1_1 at LC_X10_Y9_N6
--operation mode is arithmetic

R1L8_cout_1 = R1_safe_q[2] & !R1L5;
R1L8 = CARRY(R1L8_cout_1);


--R1_safe_q[3] is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|safe_q[3] at LC_X10_Y9_N7
--operation mode is arithmetic

R1_safe_q[3]_carry_eqn = (!R1L2 & R1L7) # (R1L2 & R1L8);
R1_safe_q[3]_lut_out = R1_safe_q[3] $ (R1_safe_q[3]_carry_eqn);
R1_safe_q[3] = DFFEAS(R1_safe_q[3]_lut_out, GLOBAL(L1_clk_out), VCC, , , , , K1L1, );

--R1L01 is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|counter_cella3~COUT at LC_X10_Y9_N7
--operation mode is arithmetic

R1L01_cout_0 = !R1L7 # !R1_safe_q[3];
R1L01 = CARRY(R1L01_cout_0);

--R1L11 is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|counter_cella3~COUTCOUT1_1 at LC_X10_Y9_N7
--operation mode is arithmetic

R1L11_cout_1 = !R1L8 # !R1_safe_q[3];
R1L11 = CARRY(R1L11_cout_1);


--K1L3 is fdiv1hz:inst11|LessThan~501 at LC_X10_Y9_N3
--operation mode is normal

K1L3 = !R1_safe_q[3] & !R1_safe_q[2] # !R1_safe_q[0] # !R1_safe_q[1];


--R1_safe_q[4] is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|safe_q[4] at LC_X10_Y9_N8
--operation mode is arithmetic

R1_safe_q[4]_carry_eqn = (!R1L2 & R1L01) # (R1L2 & R1L11);
R1_safe_q[4]_lut_out = R1_safe_q[4] $ !R1_safe_q[4]_carry_eqn;
R1_safe_q[4] = DFFEAS(R1_safe_q[4]_lut_out, GLOBAL(L1_clk_out), VCC, , , , , K1L1, );

--R1L31 is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|counter_cella4~COUT at LC_X10_Y9_N8
--operation mode is arithmetic

R1L31_cout_0 = R1_safe_q[4] & !R1L01;
R1L31 = CARRY(R1L31_cout_0);

--R1L41 is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|counter_cella4~COUTCOUT1_1 at LC_X10_Y9_N8
--operation mode is arithmetic

R1L41_cout_1 = R1_safe_q[4] & !R1L11;
R1L41 = CARRY(R1L41_cout_1);


--R1_safe_q[9] is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|safe_q[9] at LC_X10_Y8_N3
--operation mode is arithmetic

R1_safe_q[9]_carry_eqn = (!R1L61 & R1L42) # (R1L61 & R1L52);
R1_safe_q[9]_lut_out = R1_safe_q[9] $ R1_safe_q[9]_carry_eqn;
R1_safe_q[9] = DFFEAS(R1_safe_q[9]_lut_out, GLOBAL(L1_clk_out), VCC, , , , , K1L1, );

--R1L72 is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|counter_cella9~COUT at LC_X10_Y8_N3
--operation mode is arithmetic

R1L72_cout_0 = !R1L42 # !R1_safe_q[9];
R1L72 = CARRY(R1L72_cout_0);

--R1L82 is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|counter_cella9~COUTCOUT1_1 at LC_X10_Y8_N3
--operation mode is arithmetic

R1L82_cout_1 = !R1L52 # !R1_safe_q[9];
R1L82 = CARRY(R1L82_cout_1);


--K1L4 is fdiv1hz:inst11|LessThan~502 at LC_X10_Y6_N7
--operation mode is normal

K1L4 = K1L2 # !R1_safe_q[4] & K1L3 # !R1_safe_q[9];


--R1_safe_q[10] is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|safe_q[10] at LC_X10_Y8_N4
--operation mode is arithmetic

R1_safe_q[10]_carry_eqn = (!R1L61 & R1L72) # (R1L61 & R1L82);
R1_safe_q[10]_lut_out = R1_safe_q[10] $ !R1_safe_q[10]_carry_eqn;
R1_safe_q[10] = DFFEAS(R1_safe_q[10]_lut_out, GLOBAL(L1_clk_out), VCC, , , , , K1L1, );

--R1L03 is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|counter_cella10~COUT at LC_X10_Y8_N4
--operation mode is arithmetic

R1L03 = CARRY(R1_safe_q[10] & !R1L82);


--R1_safe_q[11] is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|safe_q[11] at LC_X10_Y8_N5
--operation mode is arithmetic

R1_safe_q[11]_carry_eqn = R1L03;
R1_safe_q[11]_lut_out = R1_safe_q[11] $ R1_safe_q[11]_carry_eqn;
R1_safe_q[11] = DFFEAS(R1_safe_q[11]_lut_out, GLOBAL(L1_clk_out), VCC, , , , , K1L1, );

--R1L23 is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|counter_cella11~COUT at LC_X10_Y8_N5
--operation mode is arithmetic

R1L23_cout_0 = !R1L03 # !R1_safe_q[11];
R1L23 = CARRY(R1L23_cout_0);

--R1L33 is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|counter_cella11~COUTCOUT1_1 at LC_X10_Y8_N5
--operation mode is arithmetic

R1L33_cout_1 = !R1L03 # !R1_safe_q[11];
R1L33 = CARRY(R1L33_cout_1);


--R1_safe_q[12] is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|safe_q[12] at LC_X10_Y8_N6
--operation mode is arithmetic

R1_safe_q[12]_carry_eqn = (!R1L03 & R1L23) # (R1L03 & R1L33);
R1_safe_q[12]_lut_out = R1_safe_q[12] $ (!R1_safe_q[12]_carry_eqn);
R1_safe_q[12] = DFFEAS(R1_safe_q[12]_lut_out, GLOBAL(L1_clk_out), VCC, , , , , K1L1, );

--R1L53 is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|counter_cella12~COUT at LC_X10_Y8_N6
--operation mode is arithmetic

R1L53_cout_0 = R1_safe_q[12] & !R1L23;
R1L53 = CARRY(R1L53_cout_0);

--R1L63 is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|counter_cella12~COUTCOUT1_1 at LC_X10_Y8_N6
--operation mode is arithmetic

R1L63_cout_1 = R1_safe_q[12] & !R1L33;
R1L63 = CARRY(R1L63_cout_1);