trafficlight.map.eqn

交通灯控制系统的FPGA设计与实现

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

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

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

R2L24 = CARRY(R2_safe_q[20] & !R2L04);


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

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

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

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


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

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


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

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

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

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


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

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

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

R2L84 = CARRY(!R2L64 # !R2_safe_q[23]);


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

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

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

R2L05 = CARRY(R2_safe_q[24] & !R2L84);


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

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

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

R2L25 = CARRY(!R2L05 # !R2_safe_q[25]);


--L1L9 is fdiv1khz:inst12|LessThan~478
--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]
--operation mode is arithmetic

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

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

R2L45 = CARRY(R2_safe_q[26] & !R2L25);


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

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

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

R2L65 = CARRY(!R2L45 # !R2_safe_q[27]);


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

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

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

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


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

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

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

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


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

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


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

L1L11 = L1L7 & L1L8 & L1L9 & L1L01;


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

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

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

R2L26 = CARRY(R2_safe_q[30] & !R2L06);


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

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


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

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


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

R1_safe_q[5]_carry_eqn = R1L01;
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, L1_clk_out, VCC, , , , , K1L1, );

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

R1L21 = CARRY(!R1L01 # !R1_safe_q[5]);


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

R1_safe_q[6]_carry_eqn = R1L21;
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, L1_clk_out, VCC, , , , , K1L1, );

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

R1L41 = CARRY(R1_safe_q[6] & !R1L21);


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

R1_safe_q[7]_carry_eqn = R1L41;
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, L1_clk_out, VCC, , , , , K1L1, );

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

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


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

R1_safe_q[8]_carry_eqn = R1L61;
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, L1_clk_out, VCC, , , , , K1L1, );

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

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


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

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


--R1_safe_q[0] is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|safe_q[0]
--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, L1_clk_out, VCC, , , , , K1L1, );

--R1L2 is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|counter_cella0~COUT
--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]
--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, L1_clk_out, VCC, , , , , K1L1, );

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

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


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

R1_safe_q[2]_carry_eqn = R1L4;
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, L1_clk_out, VCC, , , , , K1L1, );

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

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


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

R1_safe_q[3]_carry_eqn = R1L6;
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, L1_clk_out, VCC, , , , , K1L1, );

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

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


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

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


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

R1_safe_q[4]_carry_eqn = R1L8;
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, L1_clk_out, VCC, , , , , K1L1, );

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

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


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

R1_safe_q[9]_carry_eqn = R1L81;
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, L1_clk_out, VCC, , , , , K1L1, );

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

R1L02 = CARRY(!R1L81 # !R1_safe_q[9]);


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

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


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

R1_safe_q[10]_carry_eqn = R1L02;
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, L1_clk_out, VCC, , , , , K1L1, );

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

R1L22 = CARRY(R1_safe_q[10] & !R1L02);


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

R1_safe_q[11]_carry_eqn = R1L22;
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, L1_clk_out, VCC, , , , , K1L1, );

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

R1L42 = CARRY(!R1L22 # !R1_safe_q[11]);


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

R1_safe_q[12]_carry_eqn = R1L42;
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, L1_clk_out, VCC, , , , , K1L1, );

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

R1L62 = CARRY(R1_safe_q[12] & !R1L42);


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

R1_safe_q[13]_carry_eqn = R1L62;
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, L1_clk_out, VCC, , , , , K1L1, );

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

R1L82 = CARRY(!R1L62 # !R1_safe_q[13]);


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

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


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

R1_safe_q[14]_carry_eqn = R1L82;
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, L1_clk_out, VCC, , , , , K1L1, );

--R1L03 is fdiv1hz:inst11|lpm_counter:cnt_rtl_4|cntr_hc7:auto_generated|counter_cella14~COUT