main.fit.eqn

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

--S32L6 is alarmclock:inst11|lpm_counter:minute_set1_rtl_9|cntr_e08:auto_generated|counter_cella1~COUTCOUT1 at LC_X34_Y10_N2
--operation mode is arithmetic

S32L6_cout_1 = !S32L3 # !S32_safe_q[1];
S32L6 = CARRY(S32L6_cout_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] at LC_X39_Y9_N6
--operation mode is arithmetic

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

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

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

--S01L6 is time_auto_and_set:inst1|timeset:b2v_inst3|lpm_counter:minute_set1_rtl_11|cntr_e08:auto_generated|counter_cella1~COUTCOUT1 at LC_X39_Y9_N6
--operation mode is arithmetic

S01L6_cout_1 = !S01L3 # !S01_safe_q[1];
S01L6 = CARRY(S01L6_cout_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] at LC_X36_Y9_N6
--operation mode is arithmetic

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

--S4L5 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 at LC_X36_Y9_N6
--operation mode is arithmetic

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

--S4L6 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~COUTCOUT1 at LC_X36_Y9_N6
--operation mode is arithmetic

S4L6_cout_1 = !S4L3 # !S4_safe_q[1];
S4L6 = CARRY(S4L6_cout_1);


--L1L41 is time_auto_and_set:inst1|time_mux:b2v_inst2|minute_1[1]~39 at LC_X36_Y9_N1
--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] at LC_X39_Y11_N7
--operation mode is arithmetic

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

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

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

--S12L6 is alarmclock:inst11|lpm_counter:hour_set1_rtl_15|cntr_e08:auto_generated|counter_cella1~COUTCOUT1 at LC_X39_Y11_N7
--operation mode is arithmetic

S12L6_cout_1 = !S12L3 # !S12_safe_q[1];
S12L6 = CARRY(S12L6_cout_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] at LC_X34_Y11_N1
--operation mode is arithmetic

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

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

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

--S8L6 is time_auto_and_set:inst1|timeset:b2v_inst3|lpm_counter:hour_set1_rtl_17|cntr_e08:auto_generated|counter_cella1~COUTCOUT1 at LC_X34_Y11_N1
--operation mode is arithmetic

S8L6_cout_1 = !S8L3 # !S8_safe_q[1];
S8L6 = CARRY(S8L6_cout_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] at LC_X33_Y13_N1
--operation mode is arithmetic

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

--S2L5 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 at LC_X33_Y13_N1
--operation mode is arithmetic

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

--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_cella1~COUTCOUT1 at LC_X33_Y13_N1
--operation mode is arithmetic

S2L6_cout_1 = !S2L3 # !S2_safe_q[1];
S2L6 = CARRY(S2L6_cout_1);


--L1L6 is time_auto_and_set:inst1|time_mux:b2v_inst2|hour_1[1]~37 at LC_X34_Y11_N9
--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 at LC_X34_Y10_N8
--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] at LC_X39_Y11_N6
--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, GLOBAL(SW2), VCC, , J1L1, , , J1L9, );

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

S12L2_cout_0 = S12_safe_q[0];
S12L2 = CARRY(S12L2_cout_0);

--S12L3 is alarmclock:inst11|lpm_counter:hour_set1_rtl_15|cntr_e08:auto_generated|counter_cella0~COUTCOUT1_1 at LC_X39_Y11_N6
--operation mode is arithmetic

S12L3_cout_1 = S12_safe_q[0];
S12L3 = CARRY(S12L3_cout_1);


--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] at LC_X34_Y11_N0
--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, GLOBAL(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 at LC_X34_Y11_N0
--operation mode is arithmetic

S8L2_cout_0 = S8_safe_q[0];
S8L2 = CARRY(S8L2_cout_0);

--S8L3 is time_auto_and_set:inst1|timeset:b2v_inst3|lpm_counter:hour_set1_rtl_17|cntr_e08:auto_generated|counter_cella0~COUTCOUT1_1 at LC_X34_Y11_N0
--operation mode is arithmetic

S8L3_cout_1 = S8_safe_q[0];
S8L3 = CARRY(S8L3_cout_1);


--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] at LC_X33_Y13_N0
--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, GLOBAL(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 at LC_X33_Y13_N0
--operation mode is arithmetic

S2L2_cout_0 = S2_safe_q[0];
S2L2 = CARRY(S2L2_cout_0);

--S2L3 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~COUTCOUT1_1 at LC_X33_Y13_N0
--operation mode is arithmetic

S2L3_cout_1 = S2_safe_q[0];
S2L3 = CARRY(S2L3_cout_1);


--L1L5 is time_auto_and_set:inst1|time_mux:b2v_inst2|hour_1[0]~38 at LC_X34_Y11_N4
--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] at LC_X36_Y11_N8
--operation mode is arithmetic

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

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

S02L8_cout_0 = S02_safe_q[2] & !S02L5;
S02L8 = CARRY(S02L8_cout_0);

--S02L9 is alarmclock:inst11|lpm_counter:hour_set0_rtl_12|cntr_e08:auto_generated|counter_cella2~COUTCOUT1_1 at LC_X36_Y11_N8
--operation mode is arithmetic

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


--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] at LC_X33_Y12_N3
--operation mode is arithmetic

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

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

S7L8_cout_0 = S7_safe_q[2] & !S7L5;
S7L8 = CARRY(S7L8_cout_0);

--S7L9 is time_auto_and_set:inst1|timeset:b2v_inst3|lpm_counter:hour_set0_rtl_14|cntr_e08:auto_generated|counter_cella2~COUTCOUT1_1 at LC_X33_Y12_N3
--operation mode is arithmetic

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


--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] at LC_X33_Y11_N7
--operation mode is arithmetic

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

--S1L8 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 at LC_X33_Y11_N7
--operation mode is arithmetic

S1L8_cout_0 = S1_safe_q[2] & !S1L5;
S1L8 = CARRY(S1L8_cout_0);

--S1L9 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~COUTCOUT1_1 at LC_X33_Y11_N7
--operation mode is arithmetic

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


--L1L3 is time_auto_and_set:inst1|time_mux:b2v_inst2|hour_0[2]~38 at LC_X33_Y11_N9
--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 at LC_X36_Y11_N3
--operation mode is normal

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


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

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

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

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

--S52L6 is alarmclock:inst11|lpm_counter:second_set1_rtl_3|cntr_e08:auto_generated|counter_cella1~COUTCOUT1 at LC_X33_Y10_N7
--operation mode is arithmetic

S52L6_cout_1 = !S52L3 # !S52_safe_q[1];
S52L6 = CARRY(S52L6_cout_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] at LC_X33_Y7_N2
--operation mode is arithmetic

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

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

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

--S21L6 is time_auto_and_set:inst1|timeset:b2v_inst3|lpm_counter:second_set1_rtl_5|cntr_e08:auto_generated|counter_cella1~COUTCOUT1 at LC_X33_Y7_N2
--operation mode is arithmetic

S21L6_cout_1 = !S21L3 # !S21_safe_q[1];
S21L6 = CARRY(S21L6_cout_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] at LC_X33_Y9_N2
--operation mode is arithmetic

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

--S6L5 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 at LC_X33_Y9_N2
--operation mode is arithmetic

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

--S6L6 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~COUTCOUT1 at LC_X33_Y9_N2
--operation mode is arithmetic

S6L6_cout_1 = !S6L3 # !S6_safe_q[1];
S6L6 = CARRY(S6L6_cout_1);


--L1L22 is time_auto_and_set:inst1|time_mux:b2v_inst2|second_1[1]~39 at LC_X33_Y9_N6
--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] at LC_X36_Y11_N9
--operation mode is normal

S02_safe_q[3]_lut_out = S02L8 $ S02_safe_q[3];
S02_safe_q[3] = DFFEAS(S02_safe_q[3]_lut_out, GLOBAL(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] at LC_X33_Y12_N4
--operation mode is normal