main.map.eqn

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

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

S22_safe_q[0]_lut_out = !S22_safe_q[0];
S22_safe_q[0] = DFFEAS(S22_safe_q[0]_lut_out, SW2, VCC, , J1L4, , , J1L8, );

--S22L2 is alarmclock:inst11|lpm_counter:minute_set0_rtl_6|cntr_e08:auto_generated|counter_cella0~COUT
--operation mode is arithmetic

S22L2 = CARRY(S22_safe_q[0]);


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

S9_safe_q[0]_lut_out = !S9_safe_q[0];
S9_safe_q[0] = DFFEAS(S9_safe_q[0]_lut_out, SW2, VCC, , M1L5, , , M1L8, );

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

S9L2 = CARRY(S9_safe_q[0]);


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

S3_safe_q[0]_lut_out = !S3_safe_q[0];
S3_safe_q[0] = DFFEAS(S3_safe_q[0]_lut_out, Q1_EO, VCC, , D1_Timepiece_EN, , , P1L2, );

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

S3L2 = CARRY(S3_safe_q[0]);


--D1_TimeSet_EN is maincontrol:inst3|TimeSet_EN
--operation mode is normal

D1_TimeSet_EN_lut_out = D1_Function[0] & !D1_Function[2] & !D1_Function[1];
D1_TimeSet_EN = DFFEAS(D1_TimeSet_EN_lut_out, SW3, VCC, , , , , , );


--L1L9 is time_auto_and_set:inst1|time_mux:b2v_inst2|minute_0[0]~36
--operation mode is normal

L1L9 = D1_TimeSet_EN & S9_safe_q[0] # !D1_TimeSet_EN & S3_safe_q[0];


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

S02_safe_q[0]_lut_out = !S02_safe_q[0];
S02_safe_q[0] = DFFEAS(S02_safe_q[0]_lut_out, SW2, VCC, , J1L2, , , J1L14, );

--S02L2 is alarmclock:inst11|lpm_counter:hour_set0_rtl_12|cntr_e08:auto_generated|counter_cella0~COUT
--operation mode is arithmetic

S02L2 = CARRY(S02_safe_q[0]);


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

S7_safe_q[0]_lut_out = !S7_safe_q[0];
S7_safe_q[0] = DFFEAS(S7_safe_q[0]_lut_out, SW2, VCC, , M1L2, , , M1L9, );

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

S7L2 = CARRY(S7_safe_q[0]);


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

S1_safe_q[0]_lut_out = !S1_safe_q[0];
S1_safe_q[0] = DFFEAS(S1_safe_q[0]_lut_out, P1_EO, VCC, , D1_Timepiece_EN, , , N1L6, );

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

S1L2 = CARRY(S1_safe_q[0]);


--L1L1 is time_auto_and_set:inst1|time_mux:b2v_inst2|hour_0[0]~36
--operation mode is normal

L1L1 = D1_TimeSet_EN & S7_safe_q[0] # !D1_TimeSet_EN & S1_safe_q[0];


--J1L02 is alarmclock:inst11|alarm~459
--operation mode is normal

J1L02 = S22_safe_q[0] & S02_safe_q[0] $ L1L1 # !L1L9 # !S22_safe_q[0] & L1L9 # S02_safe_q[0] $ L1L1;


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

S22_safe_q[1]_carry_eqn = S22L2;
S22_safe_q[1]_lut_out = S22_safe_q[1] $ (S22_safe_q[1]_carry_eqn);
S22_safe_q[1] = DFFEAS(S22_safe_q[1]_lut_out, SW2, VCC, , J1L4, , , J1L8, );

--S22L4 is alarmclock:inst11|lpm_counter:minute_set0_rtl_6|cntr_e08:auto_generated|counter_cella1~COUT
--operation mode is arithmetic

S22L4 = CARRY(!S22L2 # !S22_safe_q[1]);


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

S9_safe_q[1]_carry_eqn = S9L2;
S9_safe_q[1]_lut_out = S9_safe_q[1] $ (S9_safe_q[1]_carry_eqn);
S9_safe_q[1] = DFFEAS(S9_safe_q[1]_lut_out, SW2, VCC, , M1L5, , , M1L8, );

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

S9L4 = CARRY(!S9L2 # !S9_safe_q[1]);


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

S3_safe_q[1]_carry_eqn = S3L2;
S3_safe_q[1]_lut_out = S3_safe_q[1] $ (S3_safe_q[1]_carry_eqn);
S3_safe_q[1] = DFFEAS(S3_safe_q[1]_lut_out, Q1_EO, VCC, , D1_Timepiece_EN, , , P1L2, );

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

S3L4 = CARRY(!S3L2 # !S3_safe_q[1]);


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

L1L01 = D1_TimeSet_EN & S9_safe_q[1] # !D1_TimeSet_EN & S3_safe_q[1];


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

S32_safe_q[0]_lut_out = !S32_safe_q[0];
S32_safe_q[0] = DFFEAS(S32_safe_q[0]_lut_out, SW2, VCC, , J1L3, , , J1L01, );

--S32L2 is alarmclock:inst11|lpm_counter:minute_set1_rtl_9|cntr_e08:auto_generated|counter_cella0~COUT
--operation mode is arithmetic

S32L2 = CARRY(S32_safe_q[0]);


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

S01_safe_q[0]_lut_out = !S01_safe_q[0];
S01_safe_q[0] = DFFEAS(S01_safe_q[0]_lut_out, SW2, VCC, , M1L3, , , M1L01, );

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

S01L2 = CARRY(S01_safe_q[0]);


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

S4_safe_q[0]_lut_out = !S4_safe_q[0];
S4_safe_q[0] = DFFEAS(S4_safe_q[0]_lut_out, Q1_EO, VCC, , P1L4, , , P1L3, );

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

S4L2 = CARRY(S4_safe_q[0]);


--L1L31 is time_auto_and_set:inst1|time_mux:b2v_inst2|minute_1[0]~36
--operation mode is normal

L1L31 = D1_TimeSet_EN & S01_safe_q[0] # !D1_TimeSet_EN & S4_safe_q[0];


--J1L12 is alarmclock:inst11|alarm~460
--operation mode is normal

J1L12 = S22_safe_q[1] & S32_safe_q[0] $ L1L31 # !L1L01 # !S22_safe_q[1] & L1L01 # S32_safe_q[0] $ L1L31;


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

S22_safe_q[3]_carry_eqn = S22L6;
S22_safe_q[3]_lut_out = S22_safe_q[3] $ (S22_safe_q[3]_carry_eqn);
S22_safe_q[3] = DFFEAS(S22_safe_q[3]_lut_out, SW2, VCC, , J1L4, , , J1L8, );


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

S9_safe_q[3]_carry_eqn = S9L6;
S9_safe_q[3]_lut_out = S9_safe_q[3] $ (S9_safe_q[3]_carry_eqn);
S9_safe_q[3] = DFFEAS(S9_safe_q[3]_lut_out, SW2, VCC, , M1L5, , , M1L8, );


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

S3_safe_q[3]_carry_eqn = S3L6;
S3_safe_q[3]_lut_out = S3_safe_q[3] $ (S3_safe_q[3]_carry_eqn);
S3_safe_q[3] = DFFEAS(S3_safe_q[3]_lut_out, Q1_EO, VCC, , D1_Timepiece_EN, , , P1L2, );


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

L1L21 = D1_TimeSet_EN & S9_safe_q[3] # !D1_TimeSet_EN & S3_safe_q[3];


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

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

--S42L4 is alarmclock:inst11|lpm_counter:second_set0_rtl_0|cntr_e08:auto_generated|counter_cella1~COUT
--operation mode is arithmetic

S42L4 = CARRY(!S42L2 # !S42_safe_q[1]);


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

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

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

S11L4 = CARRY(!S11L2 # !S11_safe_q[1]);


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

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

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

S5L4 = CARRY(!S5L2 # !S5_safe_q[1]);


--L1L81 is time_auto_and_set:inst1|time_mux:b2v_inst2|second_0[1]~36
--operation mode is normal

L1L81 = D1_TimeSet_EN & S11_safe_q[1] # !D1_TimeSet_EN & S5_safe_q[1];


--J1L22 is alarmclock:inst11|alarm~461
--operation mode is normal

J1L22 = S22_safe_q[3] & S42_safe_q[1] $ L1L81 # !L1L21 # !S22_safe_q[3] & L1L21 # S42_safe_q[1] $ L1L81;


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

S32_safe_q[2]_carry_eqn = S32L4;
S32_safe_q[2]_lut_out = S32_safe_q[2] $ (!S32_safe_q[2]_carry_eqn);
S32_safe_q[2] = DFFEAS(S32_safe_q[2]_lut_out, SW2, VCC, , J1L3, , , J1L01, );

--S32L6 is alarmclock:inst11|lpm_counter:minute_set1_rtl_9|cntr_e08:auto_generated|counter_cella2~COUT
--operation mode is arithmetic

S32L6 = CARRY(S32_safe_q[2] & !S32L4);


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

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

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

S01L6 = CARRY(S01_safe_q[2] & !S01L4);


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

S4_safe_q[2]_carry_eqn = S4L4;
S4_safe_q[2]_lut_out = S4_safe_q[2] $ (!S4_safe_q[2]_carry_eqn);
S4_safe_q[2] = DFFEAS(S4_safe_q[2]_lut_out, Q1_EO, VCC, , P1L4, , , P1L3, );

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

S4L6 = CARRY(S4_safe_q[2] & !S4L4);


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

L1L51 = D1_TimeSet_EN & S01_safe_q[2] # !D1_TimeSet_EN & S4_safe_q[2];


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

S52_safe_q[2]_carry_eqn = S52L4;
S52_safe_q[2]_lut_out = S52_safe_q[2] $ (!S52_safe_q[2]_carry_eqn);
S52_safe_q[2] = DFFEAS(S52_safe_q[2]_lut_out, SW2, VCC, , J1L5, , , J1L11, );

--S52L6 is alarmclock:inst11|lpm_counter:second_set1_rtl_3|cntr_e08:auto_generated|counter_cella2~COUT
--operation mode is arithmetic

S52L6 = CARRY(S52_safe_q[2] & !S52L4);


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

S21_safe_q[2]_carry_eqn = S21L4;
S21_safe_q[2]_lut_out = S21_safe_q[2] $ (!S21_safe_q[2]_carry_eqn);
S21_safe_q[2] = DFFEAS(S21_safe_q[2]_lut_out, SW2, VCC, , M1L6, , , M1L11, );

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

S21L6 = CARRY(S21_safe_q[2] & !S21L4);


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

S6_safe_q[2]_carry_eqn = S6L4;
S6_safe_q[2]_lut_out = S6_safe_q[2] $ (!S6_safe_q[2]_carry_eqn);
S6_safe_q[2] = DFFEAS(S6_safe_q[2]_lut_out, C1L1, VCC, , Q1L4, , , Q1L3, );

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

S6L6 = CARRY(S6_safe_q[2] & !S6L4);


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

L1L32 = D1_TimeSet_EN & S21_safe_q[2] # !D1_TimeSet_EN & S6_safe_q[2];


--J1L32 is alarmclock:inst11|alarm~462
--operation mode is normal

J1L32 = S32_safe_q[2] & S52_safe_q[2] $ L1L32 # !L1L51 # !S32_safe_q[2] & L1L51 # S52_safe_q[2] $ L1L32;


--J1L42 is alarmclock:inst11|alarm~463
--operation mode is normal

J1L42 = J1L02 # J1L12 # J1L22 # J1L32;