trafficlight.fit.eqn

基于verilog的交通灯设计

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

R1_safe_q[13]_carry_eqn = (!R1L03 & R1L53) # (R1L03 & R1L63);
R1_safe_q[13]_lut_out = R1_safe_q[13] $ (R1_safe_q[13]_carry_eqn);
R1_safe_q[13] = DFFEAS(R1_safe_q[13]_lut_out, GLOBAL(L1_clk_out), VCC, , , , , K1L1, );

--R1L83 is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|counter_cella13~COUT at LC_X10_Y8_N7
--operation mode is arithmetic

R1L83_cout_0 = !R1L53 # !R1_safe_q[13];
R1L83 = CARRY(R1L83_cout_0);

--R1L93 is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|counter_cella13~COUTCOUT1_1 at LC_X10_Y8_N7
--operation mode is arithmetic

R1L93_cout_1 = !R1L63 # !R1_safe_q[13];
R1L93 = CARRY(R1L93_cout_1);


--K1L5 is fdiv1hz:inst11|LessThan~503 at LC_X9_Y8_N2
--operation mode is normal

K1L5 = !R1_safe_q[13] & !R1_safe_q[10] & !R1_safe_q[11] & !R1_safe_q[12];


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

R1_safe_q[14]_carry_eqn = (!R1L03 & R1L83) # (R1L03 & R1L93);
R1_safe_q[14]_lut_out = R1_safe_q[14] $ !R1_safe_q[14]_carry_eqn;
R1_safe_q[14] = DFFEAS(R1_safe_q[14]_lut_out, GLOBAL(L1_clk_out), VCC, , , , , K1L1, );

--R1L14 is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|counter_cella14~COUT at LC_X10_Y8_N8
--operation mode is arithmetic

R1L14_cout_0 = R1_safe_q[14] & !R1L83;
R1L14 = CARRY(R1L14_cout_0);

--R1L24 is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|counter_cella14~COUTCOUT1_1 at LC_X10_Y8_N8
--operation mode is arithmetic

R1L24_cout_1 = R1_safe_q[14] & !R1L93;
R1L24 = CARRY(R1L24_cout_1);


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

R1_safe_q[15]_carry_eqn = (!R1L03 & R1L14) # (R1L03 & R1L24);
R1_safe_q[15]_lut_out = R1_safe_q[15] $ (R1_safe_q[15]_carry_eqn);
R1_safe_q[15] = DFFEAS(R1_safe_q[15]_lut_out, GLOBAL(L1_clk_out), VCC, , , , , K1L1, );

--R1L44 is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|counter_cella15~COUT at LC_X10_Y8_N9
--operation mode is arithmetic

R1L44 = CARRY(!R1L24 # !R1_safe_q[15]);


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

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

--R1L64 is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|counter_cella16~COUT at LC_X10_Y7_N0
--operation mode is arithmetic

R1L64_cout_0 = R1_safe_q[16] & !R1L44;
R1L64 = CARRY(R1L64_cout_0);

--R1L74 is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|counter_cella16~COUTCOUT1_1 at LC_X10_Y7_N0
--operation mode is arithmetic

R1L74_cout_1 = R1_safe_q[16] & !R1L44;
R1L74 = CARRY(R1L74_cout_1);


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

R1_safe_q[17]_carry_eqn = (!R1L44 & R1L64) # (R1L44 & R1L74);
R1_safe_q[17]_lut_out = R1_safe_q[17] $ (R1_safe_q[17]_carry_eqn);
R1_safe_q[17] = DFFEAS(R1_safe_q[17]_lut_out, GLOBAL(L1_clk_out), VCC, , , , , K1L1, );

--R1L94 is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|counter_cella17~COUT at LC_X10_Y7_N1
--operation mode is arithmetic

R1L94_cout_0 = !R1L64 # !R1_safe_q[17];
R1L94 = CARRY(R1L94_cout_0);

--R1L05 is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|counter_cella17~COUTCOUT1_1 at LC_X10_Y7_N1
--operation mode is arithmetic

R1L05_cout_1 = !R1L74 # !R1_safe_q[17];
R1L05 = CARRY(R1L05_cout_1);


--K1L6 is fdiv1hz:inst11|LessThan~504 at LC_X11_Y8_N2
--operation mode is normal

K1L6 = !R1_safe_q[16] & !R1_safe_q[15] & !R1_safe_q[14] & !R1_safe_q[17];


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

R1_safe_q[18]_carry_eqn = (!R1L44 & R1L94) # (R1L44 & R1L05);
R1_safe_q[18]_lut_out = R1_safe_q[18] $ (!R1_safe_q[18]_carry_eqn);
R1_safe_q[18] = DFFEAS(R1_safe_q[18]_lut_out, GLOBAL(L1_clk_out), VCC, , , , , K1L1, );

--R1L25 is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|counter_cella18~COUT at LC_X10_Y7_N2
--operation mode is arithmetic

R1L25_cout_0 = R1_safe_q[18] & !R1L94;
R1L25 = CARRY(R1L25_cout_0);

--R1L35 is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|counter_cella18~COUTCOUT1_1 at LC_X10_Y7_N2
--operation mode is arithmetic

R1L35_cout_1 = R1_safe_q[18] & !R1L05;
R1L35 = CARRY(R1L35_cout_1);


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

R1_safe_q[19]_carry_eqn = (!R1L44 & R1L25) # (R1L44 & R1L35);
R1_safe_q[19]_lut_out = R1_safe_q[19] $ R1_safe_q[19]_carry_eqn;
R1_safe_q[19] = DFFEAS(R1_safe_q[19]_lut_out, GLOBAL(L1_clk_out), VCC, , , , , K1L1, );

--R1L55 is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|counter_cella19~COUT at LC_X10_Y7_N3
--operation mode is arithmetic

R1L55_cout_0 = !R1L25 # !R1_safe_q[19];
R1L55 = CARRY(R1L55_cout_0);

--R1L65 is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|counter_cella19~COUTCOUT1_1 at LC_X10_Y7_N3
--operation mode is arithmetic

R1L65_cout_1 = !R1L35 # !R1_safe_q[19];
R1L65 = CARRY(R1L65_cout_1);


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

R1_safe_q[20]_carry_eqn = (!R1L44 & R1L55) # (R1L44 & R1L65);
R1_safe_q[20]_lut_out = R1_safe_q[20] $ !R1_safe_q[20]_carry_eqn;
R1_safe_q[20] = DFFEAS(R1_safe_q[20]_lut_out, GLOBAL(L1_clk_out), VCC, , , , , K1L1, );

--R1L85 is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|counter_cella20~COUT at LC_X10_Y7_N4
--operation mode is arithmetic

R1L85 = CARRY(R1_safe_q[20] & !R1L65);


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

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

--R1L06 is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|counter_cella21~COUT at LC_X10_Y7_N5
--operation mode is arithmetic

R1L06_cout_0 = !R1L85 # !R1_safe_q[21];
R1L06 = CARRY(R1L06_cout_0);

--R1L16 is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|counter_cella21~COUTCOUT1_1 at LC_X10_Y7_N5
--operation mode is arithmetic

R1L16_cout_1 = !R1L85 # !R1_safe_q[21];
R1L16 = CARRY(R1L16_cout_1);


--K1L7 is fdiv1hz:inst11|LessThan~505 at LC_X9_Y7_N2
--operation mode is normal

K1L7 = !R1_safe_q[18] & !R1_safe_q[20] & !R1_safe_q[21] & !R1_safe_q[19];


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

R1_safe_q[22]_carry_eqn = (!R1L85 & R1L06) # (R1L85 & R1L16);
R1_safe_q[22]_lut_out = R1_safe_q[22] $ (!R1_safe_q[22]_carry_eqn);
R1_safe_q[22] = DFFEAS(R1_safe_q[22]_lut_out, GLOBAL(L1_clk_out), VCC, , , , , K1L1, );

--R1L36 is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|counter_cella22~COUT at LC_X10_Y7_N6
--operation mode is arithmetic

R1L36_cout_0 = R1_safe_q[22] & !R1L06;
R1L36 = CARRY(R1L36_cout_0);

--R1L46 is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|counter_cella22~COUTCOUT1_1 at LC_X10_Y7_N6
--operation mode is arithmetic

R1L46_cout_1 = R1_safe_q[22] & !R1L16;
R1L46 = CARRY(R1L46_cout_1);


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

R1_safe_q[23]_carry_eqn = (!R1L85 & R1L36) # (R1L85 & R1L46);
R1_safe_q[23]_lut_out = R1_safe_q[23] $ (R1_safe_q[23]_carry_eqn);
R1_safe_q[23] = DFFEAS(R1_safe_q[23]_lut_out, GLOBAL(L1_clk_out), VCC, , , , , K1L1, );

--R1L66 is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|counter_cella23~COUT at LC_X10_Y7_N7
--operation mode is arithmetic

R1L66_cout_0 = !R1L36 # !R1_safe_q[23];
R1L66 = CARRY(R1L66_cout_0);

--R1L76 is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|counter_cella23~COUTCOUT1_1 at LC_X10_Y7_N7
--operation mode is arithmetic

R1L76_cout_1 = !R1L46 # !R1_safe_q[23];
R1L76 = CARRY(R1L76_cout_1);


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

R1_safe_q[24]_carry_eqn = (!R1L85 & R1L66) # (R1L85 & R1L76);
R1_safe_q[24]_lut_out = R1_safe_q[24] $ !R1_safe_q[24]_carry_eqn;
R1_safe_q[24] = DFFEAS(R1_safe_q[24]_lut_out, GLOBAL(L1_clk_out), VCC, , , , , K1L1, );

--R1L96 is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|counter_cella24~COUT at LC_X10_Y7_N8
--operation mode is arithmetic

R1L96_cout_0 = R1_safe_q[24] & !R1L66;
R1L96 = CARRY(R1L96_cout_0);

--R1L07 is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|counter_cella24~COUTCOUT1_1 at LC_X10_Y7_N8
--operation mode is arithmetic

R1L07_cout_1 = R1_safe_q[24] & !R1L76;
R1L07 = CARRY(R1L07_cout_1);


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

R1_safe_q[25]_carry_eqn = (!R1L85 & R1L96) # (R1L85 & R1L07);
R1_safe_q[25]_lut_out = R1_safe_q[25] $ (R1_safe_q[25]_carry_eqn);
R1_safe_q[25] = DFFEAS(R1_safe_q[25]_lut_out, GLOBAL(L1_clk_out), VCC, , , , , K1L1, );

--R1L27 is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|counter_cella25~COUT at LC_X10_Y7_N9
--operation mode is arithmetic

R1L27 = CARRY(!R1L07 # !R1_safe_q[25]);


--K1L8 is fdiv1hz:inst11|LessThan~506 at LC_X11_Y6_N2
--operation mode is normal

K1L8 = !R1_safe_q[24] & !R1_safe_q[22] & !R1_safe_q[23] & !R1_safe_q[25];


--K1L9 is fdiv1hz:inst11|LessThan~507 at LC_X10_Y6_N9
--operation mode is normal

K1L9 = K1L6 & K1L5 & K1L8 & K1L7;


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

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

--R1L47 is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|counter_cella26~COUT at LC_X10_Y6_N0
--operation mode is arithmetic

R1L47_cout_0 = R1_safe_q[26] & !R1L27;
R1L47 = CARRY(R1L47_cout_0);

--R1L57 is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|counter_cella26~COUTCOUT1_1 at LC_X10_Y6_N0
--operation mode is arithmetic

R1L57_cout_1 = R1_safe_q[26] & !R1L27;
R1L57 = CARRY(R1L57_cout_1);


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

R1_safe_q[27]_carry_eqn = (!R1L27 & R1L47) # (R1L27 & R1L57);
R1_safe_q[27]_lut_out = R1_safe_q[27] $ (R1_safe_q[27]_carry_eqn);
R1_safe_q[27] = DFFEAS(R1_safe_q[27]_lut_out, GLOBAL(L1_clk_out), VCC, , , , , K1L1, );

--R1L77 is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|counter_cella27~COUT at LC_X10_Y6_N1
--operation mode is arithmetic

R1L77_cout_0 = !R1L47 # !R1_safe_q[27];
R1L77 = CARRY(R1L77_cout_0);

--R1L87 is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|counter_cella27~COUTCOUT1_1 at LC_X10_Y6_N1
--operation mode is arithmetic

R1L87_cout_1 = !R1L57 # !R1_safe_q[27];
R1L87 = CARRY(R1L87_cout_1);


--K1L01 is fdiv1hz:inst11|LessThan~508 at LC_X9_Y6_N6
--operation mode is normal

K1L01 = !R1_safe_q[26] & !R1_safe_q[27];


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

R1_safe_q[30]_carry_eqn = (!R1L27 & R1L38) # (R1L27 & R1L48);
R1_safe_q[30]_lut_out = R1_safe_q[30] $ !R1_safe_q[30]_carry_eqn;
R1_safe_q[30] = DFFEAS(R1_safe_q[30]_lut_out, GLOBAL(L1_clk_out), VCC, , , , , K1L1, );

--R1L68 is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|counter_cella30~COUT at LC_X10_Y6_N4
--operation mode is arithmetic

R1L68 = CARRY(R1_safe_q[30] & !R1L48);


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

R1_safe_q[28]_carry_eqn = (!R1L27 & R1L77) # (R1L27 & R1L87);
R1_safe_q[28]_lut_out = R1_safe_q[28] $ (!R1_safe_q[28]_carry_eqn);
R1_safe_q[28] = DFFEAS(R1_safe_q[28]_lut_out, GLOBAL(L1_clk_out), VCC, , , , , K1L1, );

--R1L08 is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|counter_cella28~COUT at LC_X10_Y6_N2
--operation mode is arithmetic

R1L08_cout_0 = R1_safe_q[28] & !R1L77;
R1L08 = CARRY(R1L08_cout_0);

--R1L18 is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|counter_cella28~COUTCOUT1_1 at LC_X10_Y6_N2
--operation mode is arithmetic

R1L18_cout_1 = R1_safe_q[28] & !R1L87;
R1L18 = CARRY(R1L18_cout_1);


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

R1_safe_q[29]_carry_eqn = (!R1L27 & R1L08) # (R1L27 & R1L18);
R1_safe_q[29]_lut_out = R1_safe_q[29] $ R1_safe_q[29]_carry_eqn;
R1_safe_q[29] = DFFEAS(R1_safe_q[29]_lut_out, GLOBAL(L1_clk_out), VCC, , , , , K1L1, );

--R1L38 is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|counter_cella29~COUT at LC_X10_Y6_N3
--operation mode is arithmetic

R1L38_cout_0 = !R1L08 # !R1_safe_q[29];
R1L38 = CARRY(R1L38_cout_0);

--R1L48 is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|counter_cella29~COUTCOUT1_1 at LC_X10_Y6_N3
--operation mode is arithmetic

R1L48_cout_1 = !R1L18 # !R