main.map.eqn

基于FPGA的多功能数字钟的设计与实现 内附有详尽的Verilog HDL源码

S01_safe_q[1]_lut_out = S01_safe_q[1] $ (S01_safe_q[1]_carry_eqn);
S01_safe_q[1] = DFFEAS(S01_safe_q[1]_lut_out, SW2, VCC, , M1L3, , , M1L01, );

--S01L4 is time_auto_and_set:inst1|timeset:b2v_inst3|lpm_counter:minute_set1_rtl_11|cntr_e08:auto_generated|counter_cella1~COUT
--operation mode is arithmetic

S01L4 = CARRY(!S01L2 # !S01_safe_q[1]);


--S4_safe_q[1] is time_auto_and_set:inst1|timepiece_main:b2v_inst1|minute_counter:b2v_inst1|lpm_counter:minute_data1_rtl_10|cntr_e08:auto_generated|safe_q[1]
--operation mode is arithmetic

S4_safe_q[1]_carry_eqn = S4L2;
S4_safe_q[1]_lut_out = S4_safe_q[1] $ (S4_safe_q[1]_carry_eqn);
S4_safe_q[1] = DFFEAS(S4_safe_q[1]_lut_out, Q1_EO, VCC, , P1L4, , , P1L3, );

--S4L4 is time_auto_and_set:inst1|timepiece_main:b2v_inst1|minute_counter:b2v_inst1|lpm_counter:minute_data1_rtl_10|cntr_e08:auto_generated|counter_cella1~COUT
--operation mode is arithmetic

S4L4 = CARRY(!S4L2 # !S4_safe_q[1]);


--L1L41 is time_auto_and_set:inst1|time_mux:b2v_inst2|minute_1[1]~39
--operation mode is normal

L1L41 = D1_TimeSet_EN & S01_safe_q[1] # !D1_TimeSet_EN & S4_safe_q[1];


--S12_safe_q[1] is alarmclock:inst11|lpm_counter:hour_set1_rtl_15|cntr_e08:auto_generated|safe_q[1]
--operation mode is arithmetic

S12_safe_q[1]_carry_eqn = S12L2;
S12_safe_q[1]_lut_out = S12_safe_q[1] $ (S12_safe_q[1]_carry_eqn);
S12_safe_q[1] = DFFEAS(S12_safe_q[1]_lut_out, SW2, VCC, , J1L1, , , J1L9, );

--S12L4 is alarmclock:inst11|lpm_counter:hour_set1_rtl_15|cntr_e08:auto_generated|counter_cella1~COUT
--operation mode is arithmetic

S12L4 = CARRY(!S12L2 # !S12_safe_q[1]);


--S8_safe_q[1] is time_auto_and_set:inst1|timeset:b2v_inst3|lpm_counter:hour_set1_rtl_17|cntr_e08:auto_generated|safe_q[1]
--operation mode is arithmetic

S8_safe_q[1]_carry_eqn = S8L2;
S8_safe_q[1]_lut_out = S8_safe_q[1] $ (S8_safe_q[1]_carry_eqn);
S8_safe_q[1] = DFFEAS(S8_safe_q[1]_lut_out, SW2, VCC, , M1L1, , , M1L21, );

--S8L4 is time_auto_and_set:inst1|timeset:b2v_inst3|lpm_counter:hour_set1_rtl_17|cntr_e08:auto_generated|counter_cella1~COUT
--operation mode is arithmetic

S8L4 = CARRY(!S8L2 # !S8_safe_q[1]);


--S2_safe_q[1] is time_auto_and_set:inst1|timepiece_main:b2v_inst1|hour_counter:b2v_inst|lpm_counter:hour_data1_rtl_16|cntr_e08:auto_generated|safe_q[1]
--operation mode is arithmetic

S2_safe_q[1]_carry_eqn = S2L2;
S2_safe_q[1]_lut_out = S2_safe_q[1] $ (S2_safe_q[1]_carry_eqn);
S2_safe_q[1] = DFFEAS(S2_safe_q[1]_lut_out, P1_EO, VCC, , N1L4, , , N1L2, );

--S2L4 is time_auto_and_set:inst1|timepiece_main:b2v_inst1|hour_counter:b2v_inst|lpm_counter:hour_data1_rtl_16|cntr_e08:auto_generated|counter_cella1~COUT
--operation mode is arithmetic

S2L4 = CARRY(!S2L2 # !S2_safe_q[1]);


--L1L6 is time_auto_and_set:inst1|time_mux:b2v_inst2|hour_1[1]~37
--operation mode is normal

L1L6 = D1_TimeSet_EN & S8_safe_q[1] # !D1_TimeSet_EN & S2_safe_q[1];


--J1L03 is alarmclock:inst11|alarm~469
--operation mode is normal

J1L03 = S32_safe_q[1] & S12_safe_q[1] $ L1L6 # !L1L41 # !S32_safe_q[1] & L1L41 # S12_safe_q[1] $ L1L6;


--S12_safe_q[0] is alarmclock:inst11|lpm_counter:hour_set1_rtl_15|cntr_e08:auto_generated|safe_q[0]
--operation mode is arithmetic

S12_safe_q[0]_lut_out = !S12_safe_q[0];
S12_safe_q[0] = DFFEAS(S12_safe_q[0]_lut_out, SW2, VCC, , J1L1, , , J1L9, );

--S12L2 is alarmclock:inst11|lpm_counter:hour_set1_rtl_15|cntr_e08:auto_generated|counter_cella0~COUT
--operation mode is arithmetic

S12L2 = CARRY(S12_safe_q[0]);


--S8_safe_q[0] is time_auto_and_set:inst1|timeset:b2v_inst3|lpm_counter:hour_set1_rtl_17|cntr_e08:auto_generated|safe_q[0]
--operation mode is arithmetic

S8_safe_q[0]_lut_out = !S8_safe_q[0];
S8_safe_q[0] = DFFEAS(S8_safe_q[0]_lut_out, SW2, VCC, , M1L1, , , M1L21, );

--S8L2 is time_auto_and_set:inst1|timeset:b2v_inst3|lpm_counter:hour_set1_rtl_17|cntr_e08:auto_generated|counter_cella0~COUT
--operation mode is arithmetic

S8L2 = CARRY(S8_safe_q[0]);


--S2_safe_q[0] is time_auto_and_set:inst1|timepiece_main:b2v_inst1|hour_counter:b2v_inst|lpm_counter:hour_data1_rtl_16|cntr_e08:auto_generated|safe_q[0]
--operation mode is arithmetic

S2_safe_q[0]_lut_out = !S2_safe_q[0];
S2_safe_q[0] = DFFEAS(S2_safe_q[0]_lut_out, P1_EO, VCC, , N1L4, , , N1L2, );

--S2L2 is time_auto_and_set:inst1|timepiece_main:b2v_inst1|hour_counter:b2v_inst|lpm_counter:hour_data1_rtl_16|cntr_e08:auto_generated|counter_cella0~COUT
--operation mode is arithmetic

S2L2 = CARRY(S2_safe_q[0]);


--L1L5 is time_auto_and_set:inst1|time_mux:b2v_inst2|hour_1[0]~38
--operation mode is normal

L1L5 = D1_TimeSet_EN & S8_safe_q[0] # !D1_TimeSet_EN & S2_safe_q[0];


--S02_safe_q[2] is alarmclock:inst11|lpm_counter:hour_set0_rtl_12|cntr_e08:auto_generated|safe_q[2]
--operation mode is arithmetic

S02_safe_q[2]_carry_eqn = S02L4;
S02_safe_q[2]_lut_out = S02_safe_q[2] $ (!S02_safe_q[2]_carry_eqn);
S02_safe_q[2] = DFFEAS(S02_safe_q[2]_lut_out, SW2, VCC, , J1L2, , , J1L14, );

--S02L6 is alarmclock:inst11|lpm_counter:hour_set0_rtl_12|cntr_e08:auto_generated|counter_cella2~COUT
--operation mode is arithmetic

S02L6 = CARRY(S02_safe_q[2] & !S02L4);


--S7_safe_q[2] is time_auto_and_set:inst1|timeset:b2v_inst3|lpm_counter:hour_set0_rtl_14|cntr_e08:auto_generated|safe_q[2]
--operation mode is arithmetic

S7_safe_q[2]_carry_eqn = S7L4;
S7_safe_q[2]_lut_out = S7_safe_q[2] $ (!S7_safe_q[2]_carry_eqn);
S7_safe_q[2] = DFFEAS(S7_safe_q[2]_lut_out, SW2, VCC, , M1L2, , , M1L9, );

--S7L6 is time_auto_and_set:inst1|timeset:b2v_inst3|lpm_counter:hour_set0_rtl_14|cntr_e08:auto_generated|counter_cella2~COUT
--operation mode is arithmetic

S7L6 = CARRY(S7_safe_q[2] & !S7L4);


--S1_safe_q[2] is time_auto_and_set:inst1|timepiece_main:b2v_inst1|hour_counter:b2v_inst|lpm_counter:hour_data0_rtl_13|cntr_e08:auto_generated|safe_q[2]
--operation mode is arithmetic

S1_safe_q[2]_carry_eqn = S1L4;
S1_safe_q[2]_lut_out = S1_safe_q[2] $ (!S1_safe_q[2]_carry_eqn);
S1_safe_q[2] = DFFEAS(S1_safe_q[2]_lut_out, P1_EO, VCC, , D1_Timepiece_EN, , , N1L6, );

--S1L6 is time_auto_and_set:inst1|timepiece_main:b2v_inst1|hour_counter:b2v_inst|lpm_counter:hour_data0_rtl_13|cntr_e08:auto_generated|counter_cella2~COUT
--operation mode is arithmetic

S1L6 = CARRY(S1_safe_q[2] & !S1L4);


--L1L3 is time_auto_and_set:inst1|time_mux:b2v_inst2|hour_0[2]~38
--operation mode is normal

L1L3 = D1_TimeSet_EN & S7_safe_q[2] # !D1_TimeSet_EN & S1_safe_q[2];


--J1L13 is alarmclock:inst11|alarm~470
--operation mode is normal

J1L13 = S12_safe_q[0] & S02_safe_q[2] $ L1L3 # !L1L5 # !S12_safe_q[0] & L1L5 # S02_safe_q[2] $ L1L3;


--S52_safe_q[1] is alarmclock:inst11|lpm_counter:second_set1_rtl_3|cntr_e08:auto_generated|safe_q[1]
--operation mode is arithmetic

S52_safe_q[1]_carry_eqn = S52L2;
S52_safe_q[1]_lut_out = S52_safe_q[1] $ (S52_safe_q[1]_carry_eqn);
S52_safe_q[1] = DFFEAS(S52_safe_q[1]_lut_out, SW2, VCC, , J1L5, , , J1L11, );

--S52L4 is alarmclock:inst11|lpm_counter:second_set1_rtl_3|cntr_e08:auto_generated|counter_cella1~COUT
--operation mode is arithmetic

S52L4 = CARRY(!S52L2 # !S52_safe_q[1]);


--S21_safe_q[1] is time_auto_and_set:inst1|timeset:b2v_inst3|lpm_counter:second_set1_rtl_5|cntr_e08:auto_generated|safe_q[1]
--operation mode is arithmetic

S21_safe_q[1]_carry_eqn = S21L2;
S21_safe_q[1]_lut_out = S21_safe_q[1] $ (S21_safe_q[1]_carry_eqn);
S21_safe_q[1] = DFFEAS(S21_safe_q[1]_lut_out, SW2, VCC, , M1L6, , , M1L11, );

--S21L4 is time_auto_and_set:inst1|timeset:b2v_inst3|lpm_counter:second_set1_rtl_5|cntr_e08:auto_generated|counter_cella1~COUT
--operation mode is arithmetic

S21L4 = CARRY(!S21L2 # !S21_safe_q[1]);


--S6_safe_q[1] is time_auto_and_set:inst1|timepiece_main:b2v_inst1|second_counter:b2v_inst2|lpm_counter:second_data1_rtl_4|cntr_e08:auto_generated|safe_q[1]
--operation mode is arithmetic

S6_safe_q[1]_carry_eqn = S6L2;
S6_safe_q[1]_lut_out = S6_safe_q[1] $ (S6_safe_q[1]_carry_eqn);
S6_safe_q[1] = DFFEAS(S6_safe_q[1]_lut_out, C1L1, VCC, , Q1L4, , , Q1L3, );

--S6L4 is time_auto_and_set:inst1|timepiece_main:b2v_inst1|second_counter:b2v_inst2|lpm_counter:second_data1_rtl_4|cntr_e08:auto_generated|counter_cella1~COUT
--operation mode is arithmetic

S6L4 = CARRY(!S6L2 # !S6_safe_q[1]);


--L1L22 is time_auto_and_set:inst1|time_mux:b2v_inst2|second_1[1]~39
--operation mode is normal

L1L22 = D1_TimeSet_EN & S21_safe_q[1] # !D1_TimeSet_EN & S6_safe_q[1];


--S02_safe_q[3] is alarmclock:inst11|lpm_counter:hour_set0_rtl_12|cntr_e08:auto_generated|safe_q[3]
--operation mode is normal

S02_safe_q[3]_carry_eqn = S02L6;
S02_safe_q[3]_lut_out = S02_safe_q[3] $ (S02_safe_q[3]_carry_eqn);
S02_safe_q[3] = DFFEAS(S02_safe_q[3]_lut_out, SW2, VCC, , J1L2, , , J1L14, );


--S7_safe_q[3] is time_auto_and_set:inst1|timeset:b2v_inst3|lpm_counter:hour_set0_rtl_14|cntr_e08:auto_generated|safe_q[3]
--operation mode is normal

S7_safe_q[3]_carry_eqn = S7L6;
S7_safe_q[3]_lut_out = S7_safe_q[3] $ (S7_safe_q[3]_carry_eqn);
S7_safe_q[3] = DFFEAS(S7_safe_q[3]_lut_out, SW2, VCC, , M1L2, , , M1L9, );


--S1_safe_q[3] is time_auto_and_set:inst1|timepiece_main:b2v_inst1|hour_counter:b2v_inst|lpm_counter:hour_data0_rtl_13|cntr_e08:auto_generated|safe_q[3]
--operation mode is normal

S1_safe_q[3]_carry_eqn = S1L6;
S1_safe_q[3]_lut_out = S1_safe_q[3] $ (S1_safe_q[3]_carry_eqn);
S1_safe_q[3] = DFFEAS(S1_safe_q[3]_lut_out, P1_EO, VCC, , D1_Timepiece_EN, , , N1L6, );


--L1L4 is time_auto_and_set:inst1|time_mux:b2v_inst2|hour_0[3]~39
--operation mode is normal

L1L4 = D1_TimeSet_EN & S7_safe_q[3] # !D1_TimeSet_EN & S1_safe_q[3];


--J1L23 is alarmclock:inst11|alarm~471
--operation mode is normal

J1L23 = S52_safe_q[1] & S02_safe_q[3] $ L1L4 # !L1L22 # !S52_safe_q[1] & L1L22 # S02_safe_q[3] $ L1L4;


--S12_safe_q[3] is alarmclock:inst11|lpm_counter:hour_set1_rtl_15|cntr_e08:auto_generated|safe_q[3]
--operation mode is normal

S12_safe_q[3]_carry_eqn = S12L6;
S12_safe_q[3]_lut_out = S12_safe_q[3] $ (S12_safe_q[3]_carry_eqn);
S12_safe_q[3] = DFFEAS(S12_safe_q[3]_lut_out, SW2, VCC, , J1L1, , , J1L9, );


--S8_safe_q[3] is time_auto_and_set:inst1|timeset:b2v_inst3|lpm_counter:hour_set1_rtl_17|cntr_e08:auto_generated|safe_q[3]
--operation mode is normal

S8_safe_q[3]_carry_eqn = S8L6;
S8_safe_q[3]_lut_out = S8_safe_q[3] $ (S8_safe_q[3]_carry_eqn);
S8_safe_q[3] = DFFEAS(S8_safe_q[3]_lut_out, SW2, VCC, , M1L1, , , M1L21, );


--S2_safe_q[3] is time_auto_and_set:inst1|timepiece_main:b2v_inst1|hour_counter:b2v_inst|lpm_counter:hour_data1_rtl_16|cntr_e08:auto_generated|safe_q[3]
--operation mode is normal

S2_safe_q[3]_carry_eqn = S2L6;
S2_safe_q[3]_lut_out = S2_safe_q[3] $ (S2_safe_q[3]_carry_eqn);
S2_safe_q[3] = DFFEAS(S2_safe_q[3]_lut_out, P1_EO, VCC, , N1L4, , , N1L2, );


--L1L8 is time_auto_and_set:inst1|time_mux:b2v_inst2|hour_1[3]~39
--operation mode is normal

L1L8 = D1_TimeSet_EN & S8_safe_q[3] # !D1_TimeSet_EN & S2_safe_q[3];


--S42_safe_q[3] is alarmclock:inst11|lpm_counter:second_set0_rtl_0|cntr_e08:auto_generated|safe_q[3]
--operation mode is normal

S42_safe_q[3]_carry_eqn = S42L6;
S42_safe_q[3]_lut_out = S42_safe_q[3] $ (S42_safe_q[3]_carry_eqn);
S42_safe_q[3] = DFFEAS(S42_safe_q[3]_lut_out, SW2, VCC, , J1L6, , , J1L7, );


--S11_safe_q[3] is time_auto_and_set:inst1|timeset:b2v_inst3|lpm_counter:second_set0_rtl_2|cntr_e08:auto_generated|safe_q[3]
--operation mode is normal

S11_safe_q[3]_carry_eqn = S11L6;
S11_safe_q[3]_lut_out = S11_safe_q[3] $ (S11_safe_q[3]_carry_eqn);
S11_safe_q[3] = DFFEAS(S11_safe_q[3]_lut_out, SW2, VCC, , M1L4, , , M1L7, );


--S5_safe_q[3] is time_auto_and_set:inst1|timepiece_main:b2v_inst1|second_counter:b2v_inst2|lpm_counter:second_data0_rtl_1|cntr_e08:auto_generated|safe_q[3]
--operation mode is normal

S5_safe_q[3]_carry_eqn = S5L6;
S5_safe_q[3]_lut_out = S5_safe_q[3] $ (S5_safe_q[3]_carry_eqn);
S5_safe_q[3] = DFFEAS(S5_safe_q[3]_lut_out, C1L1, VCC, , D1_Timepiece_EN, , , Q1L2, );


--L1L02 is time_auto_and_set:inst1|time_mux:b2v_inst2|second_0[3]~39
--operation mode is normal

L1L02 = D1_TimeSet_EN & S11_safe_q[3] # !D1_TimeSet_EN & S5_safe_q[3];


--J1L33 is alarmclock:inst11|alarm~472
--operation mode is normal

J1L33 = S12_safe_q[3] & S42_safe_q[3] $ L1L02 # !L1L8 # !S12_safe_q[3] & L1L8 # S42_safe_q[3] $ L1L02;


--J1L43 is alarmclock:inst11|alarm~473
--operation mode is normal

J1L43 = J1L03 # J1L13 # J1L23 # J1L33;


--J1_alarm is alarmclock:inst11|alarm
--operation mode is normal

J1_alarm = J1L42 # J1L92 # J1L43;


--H1L68 is disp_data_mux:inst8|reduce_or~38
--operation mode is normal

H1L68 = H1_Data[1] & H1_Data[3] # !H1_Data[1] & H1_Data[2] $ (H1_Data[0] & !H1_Data[3]);


--H1L78 is disp_data_mux:inst8|reduce_or~40
--operation mode is normal

H1L78 = H1_Data[2] & H1_Data[3] # H1_Data[0] $ H1_Data[1] # !H1_Data[2] & H1_Data[1] & H1_Data[3];


--H1L88 is disp_data_mux:inst8|reduce_or~42
--operation mode is normal

H1L88 = H1_Data[2] & H1_Data[3] # !H1_Data[2] & H1_Data[1] & H1_Data[3] # !H1_Data[0];


--H1L66 is disp_data_mux:inst8|disp_data[3]~32
--operation mode is normal

H1L66 = H1_Data[1] & H1_Data[3] # H1_Data[0] & H1_Data[2] # !H1_Data[1] & H1_Data[2] $ (H1_Data[0] & !H1_Data[3]);


--H1L56 is disp_data_mux:inst8|disp_data[2]~34
--operation mode is normal

H1L56 = H1_Data[0] # H1_Data[1] & H1_Data[3] # !H1_Data[1] & H1_Data[2];


--H1L46 is disp_data_mux:inst8|disp_data[1]~36
--operation mode is normal

H1L46 = H1_Data[0] & H1_Data[1] # H1_Data[2] $ !H1_Data[3] # !H1_Data[0] & H1_Data[2] & H1_Data[3] # !H1_Data[2] & H1_Data[1];


--H1L36 is disp_data_mux:inst8|disp_data[0]~38
--operation mode is normal

H1L36 = H1_Data[1] & !H1_Data[3] & !H1_Data[2] # !H1_Data[0] # !H1_Data[1] & H1_Data[2] $ H1_Data[3];