trafficlight.fit.eqn

基于verilog的交通灯设计

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

R2_safe_q[7]_carry_eqn = (!R2L61 & R2L81) # (R2L61 & R2L91);
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, GLOBAL(CLK), VCC, , , , , L1L1, );

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

R2L12_cout_0 = !R2L81 # !R2_safe_q[7];
R2L12 = CARRY(R2L12_cout_0);

--R2L22 is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|counter_cella7~COUTCOUT1_1 at LC_X7_Y12_N1
--operation mode is arithmetic

R2L22_cout_1 = !R2L91 # !R2_safe_q[7];
R2L22 = CARRY(R2L22_cout_1);


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

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


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

R2_safe_q[8]_carry_eqn = (!R2L61 & R2L12) # (R2L61 & R2L22);
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, GLOBAL(CLK), VCC, , , , , L1L1, );

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

R2L42_cout_0 = R2_safe_q[8] & !R2L12;
R2L42 = CARRY(R2L42_cout_0);

--R2L52 is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|counter_cella8~COUTCOUT1_1 at LC_X7_Y12_N2
--operation mode is arithmetic

R2L52_cout_1 = R2_safe_q[8] & !R2L22;
R2L52 = CARRY(R2L52_cout_1);


--L1L5 is fdiv1khz:inst12|LessThan~474 at LC_X7_Y10_N7
--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] at LC_X7_Y12_N5
--operation mode is arithmetic

R2_safe_q[11]_carry_eqn = R2L03;
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, GLOBAL(CLK), VCC, , , , , L1L1, );

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

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

--R2L33 is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|counter_cella11~COUTCOUT1_1 at LC_X7_Y12_N5
--operation mode is arithmetic

R2L33_cout_1 = !R2L03 # !R2_safe_q[11];
R2L33 = CARRY(R2L33_cout_1);


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

R2_safe_q[12]_carry_eqn = (!R2L03 & R2L23) # (R2L03 & R2L33);
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, GLOBAL(CLK), VCC, , , , , L1L1, );

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

R2L53_cout_0 = R2_safe_q[12] & !R2L23;
R2L53 = CARRY(R2L53_cout_0);

--R2L63 is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|counter_cella12~COUTCOUT1_1 at LC_X7_Y12_N6
--operation mode is arithmetic

R2L63_cout_1 = R2_safe_q[12] & !R2L33;
R2L63 = CARRY(R2L63_cout_1);


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

R2_safe_q[13]_carry_eqn = (!R2L03 & R2L53) # (R2L03 & R2L63);
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, GLOBAL(CLK), VCC, , , , , L1L1, );

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

R2L83_cout_0 = !R2L53 # !R2_safe_q[13];
R2L83 = CARRY(R2L83_cout_0);

--R2L93 is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|counter_cella13~COUTCOUT1_1 at LC_X7_Y12_N7
--operation mode is arithmetic

R2L93_cout_1 = !R2L63 # !R2_safe_q[13];
R2L93 = CARRY(R2L93_cout_1);


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

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


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

R2_safe_q[14]_carry_eqn = (!R2L03 & R2L83) # (R2L03 & R2L93);
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, GLOBAL(CLK), VCC, , , , , L1L1, );

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

R2L14_cout_0 = R2_safe_q[14] & !R2L83;
R2L14 = CARRY(R2L14_cout_0);

--R2L24 is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|counter_cella14~COUTCOUT1_1 at LC_X7_Y12_N8
--operation mode is arithmetic

R2L24_cout_1 = R2_safe_q[14] & !R2L93;
R2L24 = CARRY(R2L24_cout_1);


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

R2_safe_q[15]_carry_eqn = (!R2L03 & R2L14) # (R2L03 & R2L24);
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, GLOBAL(CLK), VCC, , , , , L1L1, );

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

R2L44 = CARRY(!R2L24 # !R2_safe_q[15]);


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

R2_safe_q[16]_carry_eqn = R2L44;
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, GLOBAL(CLK), VCC, , , , , L1L1, );

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

R2L64_cout_0 = R2_safe_q[16] & !R2L44;
R2L64 = CARRY(R2L64_cout_0);

--R2L74 is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|counter_cella16~COUTCOUT1_1 at LC_X7_Y11_N0
--operation mode is arithmetic

R2L74_cout_1 = R2_safe_q[16] & !R2L44;
R2L74 = CARRY(R2L74_cout_1);


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

R2_safe_q[17]_carry_eqn = (!R2L44 & R2L64) # (R2L44 & R2L74);
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, GLOBAL(CLK), VCC, , , , , L1L1, );

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

R2L94_cout_0 = !R2L64 # !R2_safe_q[17];
R2L94 = CARRY(R2L94_cout_0);

--R2L05 is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|counter_cella17~COUTCOUT1_1 at LC_X7_Y11_N1
--operation mode is arithmetic

R2L05_cout_1 = !R2L74 # !R2_safe_q[17];
R2L05 = CARRY(R2L05_cout_1);


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

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


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

R2_safe_q[18]_carry_eqn = (!R2L44 & R2L94) # (R2L44 & R2L05);
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, GLOBAL(CLK), VCC, , , , , L1L1, );

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

R2L25_cout_0 = R2_safe_q[18] & !R2L94;
R2L25 = CARRY(R2L25_cout_0);

--R2L35 is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|counter_cella18~COUTCOUT1_1 at LC_X7_Y11_N2
--operation mode is arithmetic

R2L35_cout_1 = R2_safe_q[18] & !R2L05;
R2L35 = CARRY(R2L35_cout_1);


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

R2_safe_q[19]_carry_eqn = (!R2L44 & R2L25) # (R2L44 & R2L35);
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, GLOBAL(CLK), VCC, , , , , L1L1, );

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

R2L55_cout_0 = !R2L25 # !R2_safe_q[19];
R2L55 = CARRY(R2L55_cout_0);

--R2L65 is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|counter_cella19~COUTCOUT1_1 at LC_X7_Y11_N3
--operation mode is arithmetic

R2L65_cout_1 = !R2L35 # !R2_safe_q[19];
R2L65 = CARRY(R2L65_cout_1);


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

R2_safe_q[20]_carry_eqn = (!R2L44 & R2L55) # (R2L44 & R2L65);
R2_safe_q[20]_lut_out = R2_safe_q[20] $ !R2_safe_q[20]_carry_eqn;
R2_safe_q[20] = DFFEAS(R2_safe_q[20]_lut_out, GLOBAL(CLK), VCC, , , , , L1L1, );

--R2L85 is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|counter_cella20~COUT at LC_X7_Y11_N4
--operation mode is arithmetic

R2L85 = CARRY(R2_safe_q[20] & !R2L65);


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

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

--R2L06 is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|counter_cella21~COUT at LC_X7_Y11_N5
--operation mode is arithmetic

R2L06_cout_0 = !R2L85 # !R2_safe_q[21];
R2L06 = CARRY(R2L06_cout_0);

--R2L16 is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|counter_cella21~COUTCOUT1_1 at LC_X7_Y11_N5
--operation mode is arithmetic

R2L16_cout_1 = !R2L85 # !R2_safe_q[21];
R2L16 = CARRY(R2L16_cout_1);


--L1L8 is fdiv1khz:inst12|LessThan~477 at LC_X6_Y11_N2
--operation mode is normal

L1L8 = !R2_safe_q[18] & !R2_safe_q[20] & !R2_safe_q[21] & !R2_safe_q[19];


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

R2_safe_q[22]_carry_eqn = (!R2L85 & R2L06) # (R2L85 & R2L16);
R2_safe_q[22]_lut_out = R2_safe_q[22] $ (!R2_safe_q[22]_carry_eqn);
R2_safe_q[22] = DFFEAS(R2_safe_q[22]_lut_out, GLOBAL(CLK), VCC, , , , , L1L1, );

--R2L36 is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|counter_cella22~COUT at LC_X7_Y11_N6
--operation mode is arithmetic

R2L36_cout_0 = R2_safe_q[22] & !R2L06;
R2L36 = CARRY(R2L36_cout_0);

--R2L46 is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|counter_cella22~COUTCOUT1_1 at LC_X7_Y11_N6
--operation mode is arithmetic

R2L46_cout_1 = R2_safe_q[22] & !R2L16;
R2L46 = CARRY(R2L46_cout_1);


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

R2_safe_q[23]_carry_eqn = (!R2L85 & R2L36) # (R2L85 & R2L46);
R2_safe_q[23]_lut_out = R2_safe_q[23] $ (R2_safe_q[23]_carry_eqn);
R2_safe_q[23] = DFFEAS(R2_safe_q[23]_lut_out, GLOBAL(CLK), VCC, , , , , L1L1, );

--R2L66 is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|counter_cella23~COUT at LC_X7_Y11_N7
--operation mode is arithmetic

R2L66_cout_0 = !R2L36 # !R2_safe_q[23];
R2L66 = CARRY(R2L66_cout_0);

--R2L76 is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|counter_cella23~COUTCOUT1_1 at LC_X7_Y11_N7
--operation mode is arithmetic

R2L76_cout_1 = !R2L46 # !R2_safe_q[23];
R2L76 = CARRY(R2L76_cout_1);


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

R2_safe_q[24]_carry_eqn = (!R2L85 & R2L66) # (R2L85 & R2L76);
R2_safe_q[24]_lut_out = R2_safe_q[24] $ !R2_safe_q[24]_carry_eqn;
R2_safe_q[24] = DFFEAS(R2_safe_q[24]_lut_out, GLOBAL(CLK), VCC, , , , , L1L1, );

--R2L96 is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|counter_cella24~COUT at LC_X7_Y11_N8
--operation mode is arithmetic

R2L96_cout_0 = R2_safe_q[24] & !R2L66;
R2L96 = CARRY(R2L96_cout_0);

--R2L07 is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|counter_cella24~COUTCOUT1_1 at LC_X7_Y11_N8
--operation mode is arithmetic

R2L07_cout_1 = R2_safe_q[24] & !R2L76;
R2L07 = CARRY(R2L07_cout_1);


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

R2_safe_q[25]_carry_eqn = (!R2L85 & R2L96) # (R2L85 & R2L07);
R2_safe_q[25]_lut_out = R2_safe_q[25] $ (R2_safe_q[25]_carry_eqn);
R2_safe_q[25] = DFFEAS(R2_safe_q[25]_lut_out, GLOBAL(CLK), VCC, , , , , L1L1, );

--R2L27 is fdiv1khz:inst12|lpm_counter:cnt_rtl_3|cntr_hc7:auto_generated|counter_cella25~COUT at LC_X7_Y11_N9
--operation mode is arithmetic

R2L27 = CARRY(!R2L07 # !R2_safe_q[25]);


--L1L9 is fdiv1khz:inst12|LessThan~478 at LC_X8_Y11_N2
--operation mode is normal

L1L9 = !R2_safe_q[22] & !R2_safe_q[23] & !R2_safe_q[24] & !R2_safe_q[25];


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

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

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

R2L47_cout_0 = R2_safe_q[26] & !R2L27;