trafficlight.map.eqn

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

--operation mode is arithmetic

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


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

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

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

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


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

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

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

R1L43 = CARRY(R1_safe_q[16] & !R1L23);


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

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

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

R1L63 = CARRY(!R1L43 # !R1_safe_q[17]);


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

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


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

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

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

R1L83 = CARRY(R1_safe_q[18] & !R1L63);


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

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

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

R1L04 = CARRY(!R1L83 # !R1_safe_q[19]);


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

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

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

R1L24 = CARRY(R1_safe_q[20] & !R1L04);


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

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

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

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


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

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


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

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

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

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


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

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

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

R1L84 = CARRY(!R1L64 # !R1_safe_q[23]);


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

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

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

R1L05 = CARRY(R1_safe_q[24] & !R1L84);


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

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

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

R1L25 = CARRY(!R1L05 # !R1_safe_q[25]);


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

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


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

K1L9 = K1L5 & K1L6 & K1L7 & K1L8;


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

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

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

R1L45 = CARRY(R1_safe_q[26] & !R1L25);


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

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

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

R1L65 = CARRY(!R1L45 # !R1_safe_q[27]);


--K1L01 is fdiv1hz:inst11|LessThan~508
--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]
--operation mode is arithmetic

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

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

R1L26 = CARRY(R1_safe_q[30] & !R1L06);


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

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

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

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


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

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

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

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


--K1L11 is fdiv1hz:inst11|LessThan~509
--operation mode is normal

K1L11 = K1L01 & !R1_safe_q[30] & !R1_safe_q[28] & !R1_safe_q[29];


--K1L1 is fdiv1hz:inst11|LessThan~256
--operation mode is normal

K1L1 = !R1_safe_q[31] & !K1L11 # !K1L9 # !K1L4;


--H1L61 is dispmux:inst8|D_OUT[3]~747
--operation mode is normal

H1L61 = J1_D_OUT[0] & B1_sdata[0] & !H1L21 # !H1L51 # !J1_D_OUT[0] & !H1L21 # !H1L51;


--D1L1 is counter55:inst2|CData0[0]~21
--operation mode is normal

D1L1 = B1_sdata[0] # D1L91 $ !D1L22 # !Reset;


--D1L3 is counter55:inst2|CData1[0]~45
--operation mode is normal

D1L3 = B1_sdata[0] # Q1L21 # !D1L22 # !Reset;


--H1L41 is dispmux:inst8|D_OUT[3]~730
--operation mode is normal

H1L41 = J1_D_OUT[0] & !B1_sdata[0] & D1L01 $ H1L31;


--Reset is Reset
--operation mode is input

Reset = INPUT();


--SW is SW
--operation mode is input

SW = INPUT();


--CLK is CLK
--operation mode is input

CLK = INPUT();


--Red1 is Red1
--operation mode is output

Red1 = OUTPUT(M1L3);


--Red2 is Red2
--operation mode is output

Red2 = OUTPUT(M1L4);


--Yellow1 is Yellow1
--operation mode is output

Yellow1 = OUTPUT(M1L5);


--Yellow2 is Yellow2
--operation mode is output

Yellow2 = OUTPUT(M1L6);


--Green1 is Green1
--operation mode is output

Green1 = OUTPUT(!M1L1);


--Green2 is Green2
--operation mode is output

Green2 = OUTPUT(M1L2);


--SEG_Data[7] is SEG_Data[7]
--operation mode is output

SEG_Data[7] = OUTPUT(!G1L5);


--SEG_Data[6] is SEG_Data[6]
--operation mode is output

SEG_Data[6] = OUTPUT(!G1L6);


--SEG_Data[5] is SEG_Data[5]
--operation mode is output

SEG_Data[5] = OUTPUT(!G1L7);


--SEG_Data[4] is SEG_Data[4]
--operation mode is output

SEG_Data[4] = OUTPUT(!G1L4);


--SEG_Data[3] is SEG_Data[3]
--operation mode is output

SEG_Data[3] = OUTPUT(!G1L3);


--SEG_Data[2] is SEG_Data[2]
--operation mode is output

SEG_Data[2] = OUTPUT(!G1L2);


--SEG_Data[1] is SEG_Data[1]
--operation mode is output

SEG_Data[1] = OUTPUT(G1L1);


--SEG_Data[0] is SEG_Data[0]
--operation mode is output

SEG_Data[0] = OUTPUT(GND);


--SEG_Sel[1] is SEG_Sel[1]
--operation mode is output

SEG_Sel[1] = OUTPUT(!J1_D_OUT[0]);


--SEG_Sel[0] is SEG_Sel[0]
--operation mode is output

SEG_Sel[0] = OUTPUT(J1_D_OUT[0]);