main.map.eqn

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

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

S12_safe_q[2]_carry_eqn = S12L4;
S12_safe_q[2]_lut_out = S12_safe_q[2] $ (!S12_safe_q[2]_carry_eqn);
S12_safe_q[2] = DFFEAS(S12_safe_q[2]_lut_out, SW2, VCC, , J1L1, , , J1L9, );

--S12L6 is alarmclock:inst11|lpm_counter:hour_set1_rtl_15|cntr_e08:auto_generated|counter_cella2~COUT
--operation mode is arithmetic

S12L6 = CARRY(S12_safe_q[2] & !S12L4);


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

S8_safe_q[2]_carry_eqn = S8L4;
S8_safe_q[2]_lut_out = S8_safe_q[2] $ (!S8_safe_q[2]_carry_eqn);
S8_safe_q[2] = DFFEAS(S8_safe_q[2]_lut_out, SW2, VCC, , M1L1, , , M1L21, );

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

S8L6 = CARRY(S8_safe_q[2] & !S8L4);


--S2_safe_q[2] 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[2]
--operation mode is arithmetic

S2_safe_q[2]_carry_eqn = S2L4;
S2_safe_q[2]_lut_out = S2_safe_q[2] $ (!S2_safe_q[2]_carry_eqn);
S2_safe_q[2] = DFFEAS(S2_safe_q[2]_lut_out, P1_EO, VCC, , N1L4, , , N1L2, );

--S2L6 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_cella2~COUT
--operation mode is arithmetic

S2L6 = CARRY(S2_safe_q[2] & !S2L4);


--L1L7 is time_auto_and_set:inst1|time_mux:b2v_inst2|hour_1[2]~36
--operation mode is normal

L1L7 = D1_TimeSet_EN & S8_safe_q[2] # !D1_TimeSet_EN & S2_safe_q[2];


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

S22_safe_q[2]_carry_eqn = S22L4;
S22_safe_q[2]_lut_out = S22_safe_q[2] $ (!S22_safe_q[2]_carry_eqn);
S22_safe_q[2] = DFFEAS(S22_safe_q[2]_lut_out, SW2, VCC, , J1L4, , , J1L8, );

--S22L6 is alarmclock:inst11|lpm_counter:minute_set0_rtl_6|cntr_e08:auto_generated|counter_cella2~COUT
--operation mode is arithmetic

S22L6 = CARRY(S22_safe_q[2] & !S22L4);


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

S9_safe_q[2]_carry_eqn = S9L4;
S9_safe_q[2]_lut_out = S9_safe_q[2] $ (!S9_safe_q[2]_carry_eqn);
S9_safe_q[2] = DFFEAS(S9_safe_q[2]_lut_out, SW2, VCC, , M1L5, , , M1L8, );

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

S9L6 = CARRY(S9_safe_q[2] & !S9L4);


--S3_safe_q[2] is time_auto_and_set:inst1|timepiece_main:b2v_inst1|minute_counter:b2v_inst1|lpm_counter:minute_data0_rtl_7|cntr_e08:auto_generated|safe_q[2]
--operation mode is arithmetic

S3_safe_q[2]_carry_eqn = S3L4;
S3_safe_q[2]_lut_out = S3_safe_q[2] $ (!S3_safe_q[2]_carry_eqn);
S3_safe_q[2] = DFFEAS(S3_safe_q[2]_lut_out, Q1_EO, VCC, , D1_Timepiece_EN, , , P1L2, );

--S3L6 is time_auto_and_set:inst1|timepiece_main:b2v_inst1|minute_counter:b2v_inst1|lpm_counter:minute_data0_rtl_7|cntr_e08:auto_generated|counter_cella2~COUT
--operation mode is arithmetic

S3L6 = CARRY(S3_safe_q[2] & !S3L4);


--L1L11 is time_auto_and_set:inst1|time_mux:b2v_inst2|minute_0[2]~39
--operation mode is normal

L1L11 = D1_TimeSet_EN & S9_safe_q[2] # !D1_TimeSet_EN & S3_safe_q[2];


--J1L52 is alarmclock:inst11|alarm~464
--operation mode is normal

J1L52 = S12_safe_q[2] & S22_safe_q[2] $ L1L11 # !L1L7 # !S12_safe_q[2] & L1L7 # S22_safe_q[2] $ L1L11;


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

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

--S02L4 is alarmclock:inst11|lpm_counter:hour_set0_rtl_12|cntr_e08:auto_generated|counter_cella1~COUT
--operation mode is arithmetic

S02L4 = CARRY(!S02L2 # !S02_safe_q[1]);


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

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

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

S7L4 = CARRY(!S7L2 # !S7_safe_q[1]);


--S1_safe_q[1] 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[1]
--operation mode is arithmetic

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

--S1L4 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_cella1~COUT
--operation mode is arithmetic

S1L4 = CARRY(!S1L2 # !S1_safe_q[1]);


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

L1L2 = D1_TimeSet_EN & S7_safe_q[1] # !D1_TimeSet_EN & S1_safe_q[1];


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

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


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

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


--S6_safe_q[3] 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[3]
--operation mode is normal

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


--L1L42 is time_auto_and_set:inst1|time_mux:b2v_inst2|second_1[3]~37
--operation mode is normal

L1L42 = D1_TimeSet_EN & S21_safe_q[3] # !D1_TimeSet_EN & S6_safe_q[3];


--J1L62 is alarmclock:inst11|alarm~465
--operation mode is normal

J1L62 = S02_safe_q[1] & S52_safe_q[3] $ L1L42 # !L1L2 # !S02_safe_q[1] & L1L2 # S52_safe_q[3] $ L1L42;


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

S42_safe_q[2]_carry_eqn = S42L4;
S42_safe_q[2]_lut_out = S42_safe_q[2] $ (!S42_safe_q[2]_carry_eqn);
S42_safe_q[2] = DFFEAS(S42_safe_q[2]_lut_out, SW2, VCC, , J1L6, , , J1L7, );

--S42L6 is alarmclock:inst11|lpm_counter:second_set0_rtl_0|cntr_e08:auto_generated|counter_cella2~COUT
--operation mode is arithmetic

S42L6 = CARRY(S42_safe_q[2] & !S42L4);


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

S11_safe_q[2]_carry_eqn = S11L4;
S11_safe_q[2]_lut_out = S11_safe_q[2] $ (!S11_safe_q[2]_carry_eqn);
S11_safe_q[2] = DFFEAS(S11_safe_q[2]_lut_out, SW2, VCC, , M1L4, , , M1L7, );

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

S11L6 = CARRY(S11_safe_q[2] & !S11L4);


--S5_safe_q[2] 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[2]
--operation mode is arithmetic

S5_safe_q[2]_carry_eqn = S5L4;
S5_safe_q[2]_lut_out = S5_safe_q[2] $ (!S5_safe_q[2]_carry_eqn);
S5_safe_q[2] = DFFEAS(S5_safe_q[2]_lut_out, C1L1, VCC, , D1_Timepiece_EN, , , Q1L2, );

--S5L6 is time_auto_and_set:inst1|timepiece_main:b2v_inst1|second_counter:b2v_inst2|lpm_counter:second_data0_rtl_1|cntr_e08:auto_generated|counter_cella2~COUT
--operation mode is arithmetic

S5L6 = CARRY(S5_safe_q[2] & !S5L4);


--L1L91 is time_auto_and_set:inst1|time_mux:b2v_inst2|second_0[2]~37
--operation mode is normal

L1L91 = D1_TimeSet_EN & S11_safe_q[2] # !D1_TimeSet_EN & S5_safe_q[2];


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

S42_safe_q[0]_lut_out = !S42_safe_q[0];
S42_safe_q[0] = DFFEAS(S42_safe_q[0]_lut_out, SW2, VCC, , J1L6, , , J1L7, );

--S42L2 is alarmclock:inst11|lpm_counter:second_set0_rtl_0|cntr_e08:auto_generated|counter_cella0~COUT
--operation mode is arithmetic

S42L2 = CARRY(S42_safe_q[0]);


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

S11_safe_q[0]_lut_out = !S11_safe_q[0];
S11_safe_q[0] = DFFEAS(S11_safe_q[0]_lut_out, SW2, VCC, , M1L4, , , M1L7, );

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

S11L2 = CARRY(S11_safe_q[0]);


--S5_safe_q[0] 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[0]
--operation mode is arithmetic

S5_safe_q[0]_lut_out = !S5_safe_q[0];
S5_safe_q[0] = DFFEAS(S5_safe_q[0]_lut_out, C1L1, VCC, , D1_Timepiece_EN, , , Q1L2, );

--S5L2 is time_auto_and_set:inst1|timepiece_main:b2v_inst1|second_counter:b2v_inst2|lpm_counter:second_data0_rtl_1|cntr_e08:auto_generated|counter_cella0~COUT
--operation mode is arithmetic

S5L2 = CARRY(S5_safe_q[0]);


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

L1L71 = D1_TimeSet_EN & S11_safe_q[0] # !D1_TimeSet_EN & S5_safe_q[0];


--J1L72 is alarmclock:inst11|alarm~466
--operation mode is normal

J1L72 = S42_safe_q[2] & S42_safe_q[0] $ L1L71 # !L1L91 # !S42_safe_q[2] & L1L91 # S42_safe_q[0] $ L1L71;


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

S52_safe_q[0]_lut_out = !S52_safe_q[0];
S52_safe_q[0] = DFFEAS(S52_safe_q[0]_lut_out, SW2, VCC, , J1L5, , , J1L11, );

--S52L2 is alarmclock:inst11|lpm_counter:second_set1_rtl_3|cntr_e08:auto_generated|counter_cella0~COUT
--operation mode is arithmetic

S52L2 = CARRY(S52_safe_q[0]);


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

S21_safe_q[0]_lut_out = !S21_safe_q[0];
S21_safe_q[0] = DFFEAS(S21_safe_q[0]_lut_out, SW2, VCC, , M1L6, , , M1L11, );

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

S21L2 = CARRY(S21_safe_q[0]);


--S6_safe_q[0] 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[0]
--operation mode is arithmetic

S6_safe_q[0]_lut_out = !S6_safe_q[0];
S6_safe_q[0] = DFFEAS(S6_safe_q[0]_lut_out, C1L1, VCC, , Q1L4, , , Q1L3, );

--S6L2 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_cella0~COUT
--operation mode is arithmetic

S6L2 = CARRY(S6_safe_q[0]);


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

L1L12 = D1_TimeSet_EN & S21_safe_q[0] # !D1_TimeSet_EN & S6_safe_q[0];


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

S32_safe_q[3]_carry_eqn = S32L6;
S32_safe_q[3]_lut_out = S32_safe_q[3] $ (S32_safe_q[3]_carry_eqn);
S32_safe_q[3] = DFFEAS(S32_safe_q[3]_lut_out, SW2, VCC, , J1L3, , , J1L01, );


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

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


--S4_safe_q[3] 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[3]
--operation mode is normal

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


--L1L61 is time_auto_and_set:inst1|time_mux:b2v_inst2|minute_1[3]~38
--operation mode is normal

L1L61 = D1_TimeSet_EN & S01_safe_q[3] # !D1_TimeSet_EN & S4_safe_q[3];


--J1L82 is alarmclock:inst11|alarm~467
--operation mode is normal

J1L82 = S52_safe_q[0] & S32_safe_q[3] $ L1L61 # !L1L12 # !S52_safe_q[0] & L1L12 # S32_safe_q[3] $ L1L61;


--J1L92 is alarmclock:inst11|alarm~468
--operation mode is normal

J1L92 = J1L52 # J1L62 # J1L72 # J1L82;


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

S32_safe_q[1]_carry_eqn = S32L2;
S32_safe_q[1]_lut_out = S32_safe_q[1] $ (S32_safe_q[1]_carry_eqn);
S32_safe_q[1] = DFFEAS(S32_safe_q[1]_lut_out, SW2, VCC, , J1L3, , , J1L01, );

--S32L4 is alarmclock:inst11|lpm_counter:minute_set1_rtl_9|cntr_e08:auto_generated|counter_cella1~COUT
--operation mode is arithmetic

S32L4 = CARRY(!S32L2 # !S32_safe_q[1]);


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

S01_safe_q[1]_carry_eqn = S01L2;