main.map.eqn

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

--J1L8 is alarmclock:inst11|LessThan~164
--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]
--operation mode is normal

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


--J1_disp_drive[0] is alarmclock:inst11|disp_drive[0]
--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, SW1, VCC, , D1_Alarmclock_EN, , , , );


--J1_disp_drive[2] is alarmclock:inst11|disp_drive[2]
--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[1] & J1_disp_drive[0];
J1_disp_drive[2] = DFFEAS(J1_disp_drive[2]_lut_out, SW1, VCC, , D1_Alarmclock_EN, , , , );


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

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


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

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


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

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


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

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


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

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


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

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


--Q1_EO is time_auto_and_set:inst1|timepiece_main:b2v_inst1|second_counter:b2v_inst2|EO
--operation mode is normal

Q1_EO_lut_out = Q1L3;
Q1_EO = DFFEAS(Q1_EO_lut_out, C1L1, VCC, , Q1L4, , , , );


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

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


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

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


--D1_Function[0] is maincontrol:inst3|Function[0]
--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, SW3, VCC, , , , , , );


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

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


--D1_Function[1] is maincontrol:inst3|Function[1]
--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, SW3, VCC, , , , , , );


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

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


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

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


--J1L04 is alarmclock:inst11|hour_set0[2]~117
--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
--operation mode is normal

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


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

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


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

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


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

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


--P1_EO is time_auto_and_set:inst1|timepiece_main:b2v_inst1|minute_counter:b2v_inst1|EO
--operation mode is normal

P1_EO_lut_out = P1L3;
P1_EO = DFFEAS(P1_EO_lut_out, Q1_EO, VCC, , P1L4, , , , );


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

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


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

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


--N1L5 is time_auto_and_set:inst1|timepiece_main:b2v_inst1|hour_counter:b2v_inst|hour_data1[0]~71
--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
--operation mode is normal

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


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

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


--J1L3 is alarmclock:inst11|Decoder~19
--operation mode is normal

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


--M1L01 is time_auto_and_set:inst1|timeset:b2v_inst3|LessThan~312
--operation mode is normal

M1L01 = S01_safe_q[3] # S01_safe_q[2] & S01_safe_q[0] # S01_safe_q[1];


--M1L3 is time_auto_and_set:inst1|timeset:b2v_inst3|Decoder~19
--operation mode is normal

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


--P1L3 is time_auto_and_set:inst1|timepiece_main:b2v_inst1|minute_counter:b2v_inst1|LessThan~92
--operation mode is normal

P1L3 = S4_safe_q[3] # S4_safe_q[2] & S4_safe_q[0] # S4_safe_q[1];


--P1L4 is time_auto_and_set:inst1|timepiece_main:b2v_inst1|minute_counter:b2v_inst1|minute_data1[0]~11
--operation mode is normal

P1L4 = D1_Timepiece_EN & P1L2;


--J1L7 is alarmclock:inst11|LessThan~132
--operation mode is normal

J1L7 = S42_safe_q[3] & S42_safe_q[1] # S42_safe_q[2] # S42_safe_q[0];


--J1L6 is alarmclock:inst11|Decoder~22
--operation mode is normal

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


--M1L7 is time_auto_and_set:inst1|timeset:b2v_inst3|LessThan~128
--operation mode is normal

M1L7 = S11_safe_q[3] & S11_safe_q[1] # S11_safe_q[2] # S11_safe_q[0];


--M1L4 is time_auto_and_set:inst1|timeset:b2v_inst3|Decoder~22
--operation mode is normal

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


--F1_f60hz is fdiv:inst5|f60hz
--operation mode is normal

F1_f60hz_lut_out = F1L5;
F1_f60hz = DFFEAS(F1_f60hz_lut_out, F1_f200hz, VCC, , , , , , );


--F1_f1hz is fdiv:inst5|f1hz
--operation mode is normal

F1_f1hz_lut_out = F1L1;
F1_f1hz = DFFEAS(F1_f1hz_lut_out, F1_f200hz, VCC, , , , , , );


--D1_Stopwatch_EN is maincontrol:inst3|Stopwatch_EN
--operation mode is normal

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


--C1L1 is stopwatch:inst2|F_out~8
--operation mode is normal

C1L1 = D1_Stopwatch_EN & F1_f60hz # !D1_Stopwatch_EN & F1_f1hz;


--Q1L2 is time_auto_and_set:inst1|timepiece_main:b2v_inst1|second_counter:b2v_inst2|LessThan~47
--operation mode is normal

Q1L2 = S5_safe_q[3] & S5_safe_q[1] # S5_safe_q[2] # S5_safe_q[0];


--J1L11 is alarmclock:inst11|LessThan~291
--operation mode is normal

J1L11 = S52_safe_q[3] # S52_safe_q[2] & S52_safe_q[0] # S52_safe_q[1];


--J1L5 is alarmclock:inst11|Decoder~21
--operation mode is normal

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


--M1L11 is time_auto_and_set:inst1|timeset:b2v_inst3|LessThan~313
--operation mode is normal

M1L11 = S21_safe_q[3] # S21_safe_q[2] & S21_safe_q[0] # S21_safe_q[1];


--M1L6 is time_auto_and_set:inst1|timeset:b2v_inst3|Decoder~96
--operation mode is normal

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


--Q1L3 is time_auto_and_set:inst1|timepiece_main:b2v_inst1|second_counter:b2v_inst2|LessThan~92
--operation mode is normal

Q1L3 = S6_safe_q[3] # S6_safe_q[2] & S6_safe_q[0] # S6_safe_q[1];


--Q1L4 is time_auto_and_set:inst1|timepiece_main:b2v_inst1|second_counter:b2v_inst2|second_data1[0]~11
--operation mode is normal

Q1L4 = D1_Timepiece_EN & Q1L2;


--J1L1 is alarmclock:inst11|Decoder~17
--operation mode is normal

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


--M1L21 is time_auto_and_set:inst1|timeset:b2v_inst3|LessThan~314
--operation mode is normal

M1L21 = S8_safe_q[2] # S8_safe_q[1] # S8_safe_q[3];


--M1L1 is time_auto_and_set:inst1|timeset:b2v_inst3|Decoder~17
--operation mode is normal

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


--N1L4 is time_auto_and_set:inst1|timepiece_main:b2v_inst1|hour_counter:b2v_inst|hour_data1[0]~11
--operation mode is normal

N1L4 = D1_Timepiece_EN & N1L6;


--D1_Alarmclock_EN is maincontrol:inst3|Alarmclock_EN
--operation mode is normal

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


--J1_alarmclock_disp_select[5] is alarmclock:inst11|alarmclock_disp_select[5]
--operation mode is normal

J1_alarmclock_disp_select[5]_lut_out = J1L1;
J1_alarmclock_disp_select[5] = DFFEAS(J1_alarmclock_disp_select[5]_lut_out, F1_f200hz, VCC, , , , , , );


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

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


--H1L23 is disp_data_mux:inst8|Data~1512
--operation mode is normal

H1L23 = !J1_alarmclock_disp_select[5] & !J1_alarmclock_disp_select[4];


--H1L16 is disp_data_mux:inst8|always0~1
--operation mode is normal

H1L16 = D1_TimeSet_EN # D1_Timepiece_EN # D1_Stopwatch_EN;


--J1_alarmclock_disp_select[1] is alarmclock:inst11|alarmclock_disp_select[1]
--operation mode is normal

J1_alarmclock_disp_select[1]_lut_out = J1L5;
J1_alarmclock_disp_select[1] = DFFEAS(J1_alarmclock_disp_select[1]_lut_out, F1_f200hz, VCC, , , , , , );