main.fit.eqn

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

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

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


--L1L4 is time_auto_and_set:inst1|time_mux:b2v_inst2|hour_0[3]~39 at LC_X33_Y11_N1
--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 at LC_X33_Y10_N1
--operation mode is normal

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


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

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

S8_safe_q[3]_lut_out = S8_safe_q[3] $ (S8L8);
S8_safe_q[3] = DFFEAS(S8_safe_q[3]_lut_out, GLOBAL(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] at LC_X33_Y13_N3
--operation mode is normal

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


--L1L8 is time_auto_and_set:inst1|time_mux:b2v_inst2|hour_1[3]~39 at LC_X34_Y11_N8
--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] at LC_X36_Y10_N3
--operation mode is normal

S42_safe_q[3]_lut_out = S42_safe_q[3] $ (S42L8);
S42_safe_q[3] = DFFEAS(S42_safe_q[3]_lut_out, GLOBAL(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] at LC_X36_Y7_N8
--operation mode is normal

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

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


--L1L02 is time_auto_and_set:inst1|time_mux:b2v_inst2|second_0[3]~39 at LC_X36_Y8_N8
--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 at LC_X36_Y10_N4
--operation mode is normal

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


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

J1L43 = J1L03 # J1L33 # J1L13 # J1L23;


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

J1_alarm = J1L43 # J1L42 # J1L92;


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

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


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

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


--H1L88 is disp_data_mux:inst8|reduce_or~42 at LC_X36_Y1_N4
--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 at LC_X36_Y1_N5
--operation mode is normal

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


--H1L56 is disp_data_mux:inst8|disp_data[2]~34 at LC_X36_Y1_N7
--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 at LC_X36_Y1_N2
--operation mode is normal

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


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

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


--J1L8 is alarmclock:inst11|LessThan~164 at LC_X35_Y10_N8
--operation mode is normal

J1L8 = S22_safe_q[3] & S22_safe_q[0] # S22_safe_q[1] # S22_safe_q[2];


--J1_disp_drive[1] is alarmclock:inst11|disp_drive[1] at LC_X34_Y7_N3
--operation mode is normal

J1_disp_drive[1]_lut_out = J1_disp_drive[0] & !J1_disp_drive[2] & !J1_disp_drive[1] # !J1_disp_drive[0] & J1_disp_drive[1];
J1_disp_drive[1] = DFFEAS(J1_disp_drive[1]_lut_out, GLOBAL(SW1), VCC, , D1_Alarmclock_EN, , , , );


--J1_disp_drive[0] is alarmclock:inst11|disp_drive[0] at LC_X34_Y7_N1
--operation mode is normal

J1_disp_drive[0]_lut_out = !J1_disp_drive[0];
J1_disp_drive[0] = DFFEAS(J1_disp_drive[0]_lut_out, GLOBAL(SW1), VCC, , D1_Alarmclock_EN, , , , );


--J1_disp_drive[2] is alarmclock:inst11|disp_drive[2] at LC_X34_Y7_N7
--operation mode is normal

J1_disp_drive[2]_lut_out = J1_disp_drive[2] & !J1_disp_drive[0] # !J1_disp_drive[2] & J1_disp_drive[0] & J1_disp_drive[1];
J1_disp_drive[2] = DFFEAS(J1_disp_drive[2]_lut_out, GLOBAL(SW1), VCC, , D1_Alarmclock_EN, , , , );


--J1L4 is alarmclock:inst11|Decoder~20 at LC_X35_Y10_N6
--operation mode is normal

J1L4 = J1_disp_drive[0] & J1_disp_drive[1] & !J1_disp_drive[2];

--J1_alarmclock_disp_select[2] is alarmclock:inst11|alarmclock_disp_select[2] at LC_X35_Y10_N6
--operation mode is normal

J1_alarmclock_disp_select[2] = DFFEAS(J1L4, GLOBAL(F1_f200hz), VCC, , , , , , );


--M1L8 is time_auto_and_set:inst1|timeset:b2v_inst3|LessThan~160 at LC_X35_Y9_N6
--operation mode is normal

M1L8 = S9_safe_q[3] & S9_safe_q[0] # S9_safe_q[2] # S9_safe_q[1];


--M1_disp_drive[1] is time_auto_and_set:inst1|timeset:b2v_inst3|disp_drive[1] at LC_X35_Y7_N9
--operation mode is normal

M1_disp_drive[1]_lut_out = !M1_disp_drive[2] & M1_disp_drive[0] $ M1_disp_drive[1];
M1_disp_drive[1] = DFFEAS(M1_disp_drive[1]_lut_out, GLOBAL(SW1), VCC, , D1_TimeSet_EN, , , , );


--M1_disp_drive[0] is time_auto_and_set:inst1|timeset:b2v_inst3|disp_drive[0] at LC_X35_Y7_N2
--operation mode is normal

M1_disp_drive[0]_lut_out = !M1_disp_drive[0] & !M1_disp_drive[2] # !M1_disp_drive[1];
M1_disp_drive[0] = DFFEAS(M1_disp_drive[0]_lut_out, GLOBAL(SW1), VCC, , D1_TimeSet_EN, , , , );


--M1_disp_drive[2] is time_auto_and_set:inst1|timeset:b2v_inst3|disp_drive[2] at LC_X35_Y7_N0
--operation mode is normal

M1_disp_drive[2]_lut_out = M1_disp_drive[0] & M1_disp_drive[1] & !M1_disp_drive[2] # !M1_disp_drive[0] & !M1_disp_drive[1] & M1_disp_drive[2];
M1_disp_drive[2] = DFFEAS(M1_disp_drive[2]_lut_out, GLOBAL(SW1), VCC, , D1_TimeSet_EN, , , , );


--M1L5 is time_auto_and_set:inst1|timeset:b2v_inst3|Decoder~95 at LC_X35_Y7_N3
--operation mode is normal

M1L5 = M1_disp_drive[0] & M1_disp_drive[1] & !M1_disp_drive[2];


--P1L2 is time_auto_and_set:inst1|timepiece_main:b2v_inst1|minute_counter:b2v_inst1|LessThan~47 at LC_X36_Y9_N4
--operation mode is normal

P1L2 = S3_safe_q[3] & S3_safe_q[0] # S3_safe_q[2] # S3_safe_q[1];


--D1_Timepiece_EN is maincontrol:inst3|Timepiece_EN at LC_X36_Y6_N6
--operation mode is normal

D1_Timepiece_EN_lut_out = !D1_Function[1] & !D1_Function[0] & !D1_Function[2];
D1_Timepiece_EN = DFFEAS(D1_Timepiece_EN_lut_out, GLOBAL(SW3), VCC, , , , , , );


--D1_Function[0] is maincontrol:inst3|Function[0] at LC_X34_Y13_N7
--operation mode is normal

D1_Function[0]_lut_out = !D1_Function[0] & !D1_Function[1] # !D1_Function[2];
D1_Function[0] = DFFEAS(D1_Function[0]_lut_out, GLOBAL(SW3), VCC, , , , , , );


--D1_Function[2] is maincontrol:inst3|Function[2] at LC_X34_Y13_N6
--operation mode is normal

D1_Function[2]_lut_out = D1_Function[0] & !D1_Function[2] & D1_Function[1] # !D1_Function[0] & D1_Function[2] & !D1_Function[1];
D1_Function[2] = DFFEAS(D1_Function[2]_lut_out, GLOBAL(SW3), VCC, , , , , , );


--D1_Function[1] is maincontrol:inst3|Function[1] at LC_X33_Y8_N7
--operation mode is normal

D1_Function[1]_lut_out = !D1_Function[2] & D1_Function[1] $ D1_Function[0];
D1_Function[1] = DFFEAS(D1_Function[1]_lut_out, GLOBAL(SW3), VCC, , , , , , );


--J1L53 is alarmclock:inst11|always2~26 at LC_X36_Y11_N2
--operation mode is normal

J1L53 = !S12_safe_q[0] & S12_safe_q[1] & !S12_safe_q[2] & !S12_safe_q[3];


--J1L9 is alarmclock:inst11|LessThan~214 at LC_X36_Y11_N4
--operation mode is normal

J1L9 = S12_safe_q[1] # S12_safe_q[2] # S12_safe_q[3];


--J1L04 is alarmclock:inst11|hour_set0[2]~117 at LC_X36_Y11_N5
--operation mode is normal

J1L04 = S02_safe_q[2] # S02_safe_q[3] & S02_safe_q[0] # S02_safe_q[1];


--J1L14 is alarmclock:inst11|hour_set0[2]~118 at LC_X36_Y11_N0
--operation mode is normal

J1L14 = J1L04 & J1L9 # S02_safe_q[3] # !J1L04 & J1L9 & S02_safe_q[3] # !J1L53;


--J1L2 is alarmclock:inst11|Decoder~18 at LC_X34_Y10_N6
--operation mode is normal

J1L2 = J1_disp_drive[0] & !J1_disp_drive[2] & !J1_disp_drive[1];

--J1_alarmclock_disp_select[4] is alarmclock:inst11|alarmclock_disp_select[4] at LC_X34_Y10_N6
--operation mode is normal

J1_alarmclock_disp_select[4] = DFFEAS(J1L2, GLOBAL(F1_f200hz), VCC, , , , , , );


--M1L9 is time_auto_and_set:inst1|timeset:b2v_inst3|LessThan~192 at LC_X33_Y11_N0
--operation mode is normal

M1L9 = S7_safe_q[3] & S7_safe_q[1] # S7_safe_q[2] # S7_safe_q[0];


--M1L2 is time_auto_and_set:inst1|timeset:b2v_inst3|Decoder~18 at LC_X35_Y7_N1
--operation mode is normal

M1L2 = M1_disp_drive[0] & !M1_disp_drive[1] & !M1_disp_drive[2];


--N1L3 is time_auto_and_set:inst1|timepiece_main:b2v_inst1|hour_counter:b2v_inst|always0~86 at LC_X33_Y13_N9
--operation mode is normal

N1L3 = !S2_safe_q[2] & S2_safe_q[1] & !S2_safe_q[3] & !S2_safe_q[0];


--N1L2 is time_auto_and_set:inst1|timepiece_main:b2v_inst1|hour_counter:b2v_inst|LessThan~82 at LC_X33_Y13_N4
--operation mode is normal

N1L2 = S2_safe_q[1] # S2_safe_q[3] # S2_safe_q[2];

--N1_EO is time_auto_and_set:inst1|timepiece_main:b2v_inst1|hour_counter:b2v_inst|EO at LC_X33_Y13_N4
--operation mode is normal

N1_EO = DFFEAS(N1L2, GLOBAL(P1_EO), VCC, , N1L4, , , , );


--N1L5 is time_auto_and_set:inst1|timepiece_main:b2v_inst1|hour_counter:b2v_inst|hour_data1[0]~71 at LC_X33_Y13_N5
--operation mode is normal

N1L5 = S1_safe_q[2] # S1_safe_q[3] & S1_safe_q[0] # S1_safe_q[1];


--N1L6 is time_auto_and_set:inst1|timepiece_main:b2v_inst1|hour_counter:b2v_inst|hour_data1[0]~72 at LC_X33_Y13_N6
--operation mode is normal

N1L6 = N1L2 & S1_safe_q[3] # N1L5 # !N1L3 # !N1L2 & S1_safe_q[3] & N1L5;


--J1L01 is alarmclock:inst11|LessThan~290 at LC_X34_Y10_N0
--operation mode is normal

J1L01 = S32_safe_q[3] # S32_safe_q[2] & S32_safe_q[0] # S32_safe_q[1];


--J