alarmclock.fit.eqn

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

--disp_drive[0] is disp_drive[0] at LC18
disp_drive[0]_or_out = EN;
disp_drive[0]_reg_input = disp_drive[0]_or_out;
disp_drive[0] = TFFE(disp_drive[0]_reg_input, SW1, , , );


--disp_drive[1] is disp_drive[1] at LC19
disp_drive[1]_p1_out = !disp_drive[2] & disp_drive[0] & EN;
disp_drive[1]_p2_out = disp_drive[0] & EN & disp_drive[1];
disp_drive[1]_or_out = disp_drive[1]_p1_out # disp_drive[1]_p2_out;
disp_drive[1]_reg_input = disp_drive[1]_or_out;
disp_drive[1] = TFFE(disp_drive[1]_reg_input, SW1, , , );


--disp_drive[2] is disp_drive[2] at LC20
disp_drive[2]_p1_out = disp_drive[1] & disp_drive[0] & EN;
disp_drive[2]_p2_out = disp_drive[0] & EN & disp_drive[2];
disp_drive[2]_or_out = disp_drive[2]_p1_out # disp_drive[2]_p2_out;
disp_drive[2]_reg_input = disp_drive[2]_or_out;
disp_drive[2] = TFFE(disp_drive[2]_reg_input, SW1, , , );


--A1L91Q is alarmclock_disp_select[4]~reg0 at LC6
A1L91Q_p1_out = disp_drive[0] & !disp_drive[2] & !disp_drive[1];
A1L91Q_or_out = A1L91Q_p1_out;
A1L91Q_reg_input = A1L91Q_or_out;
A1L91Q = DFFE(A1L91Q_reg_input, GLOBAL(clk_200hz), , , );


--A1L51Q is alarmclock_disp_select[2]~reg0 at LC5
A1L51Q_p1_out = !disp_drive[2] & disp_drive[0] & disp_drive[1];
A1L51Q_or_out = A1L51Q_p1_out;
A1L51Q_reg_input = A1L51Q_or_out;
A1L51Q = DFFE(A1L51Q_reg_input, GLOBAL(clk_200hz), , , );


--B3_dffs[1] is lpm_counter:minute_set0_rtl_2|dffs[1] at LC37
B3_dffs[1]_p1_out = !B3_dffs[3] & B3_dffs[0] & !B3_dffs[1];
B3_dffs[1]_p2_out = !B3_dffs[3] & !B3_dffs[0] & B3_dffs[1];
B3_dffs[1]_or_out = B3_dffs[1]_p1_out # B3_dffs[1]_p2_out;
B3_dffs[1]_reg_input = B3_dffs[1]_or_out;
B3_dffs[1]_p3_out = !disp_drive[2] & disp_drive[0] & disp_drive[1];
B3_dffs[1] = DFFE(B3_dffs[1]_reg_input, GLOBAL(SW2), , , B3_dffs[1]_p3_out);


--B1_dffs[1] is lpm_counter:hour_set0_rtl_4|dffs[1] at LC23
B1_dffs[1]_p0_out = !B1_dffs[3] & !B1_dffs[0] & B1_dffs[1] & !B1_dffs[2] & !B2_dffs[0];
B1_dffs[1]_p1_out = !B2_dffs[1] & !B1_dffs[3] & B1_dffs[0] & !B1_dffs[1];
B1_dffs[1]_p2_out = !B2_dffs[1] & !B1_dffs[3] & !B1_dffs[0] & B1_dffs[1];
B1_dffs[1]_p4_out = !B1_dffs[3] & B1_dffs[0] & !B1_dffs[1] & !B1_dffs[2] & !B2_dffs[0];
B1_dffs[1]_or_out = B1_dffs[1]_p0_out # B1_dffs[1]_p1_out # B1_dffs[1]_p2_out # B1_dffs[1]_p4_out;
B1_dffs[1]_reg_input = B1_dffs[1]_or_out;
B1_dffs[1]_p3_out = disp_drive[0] & !disp_drive[2] & !disp_drive[1];
B1_dffs[1] = DFFE(B1_dffs[1]_reg_input, GLOBAL(SW2), , , B1_dffs[1]_p3_out);


--A1L12Q is alarmclock_disp_select[5]~reg0 at LC4
A1L12Q_p1_out = !disp_drive[1] & !disp_drive[0] & !disp_drive[2];
A1L12Q_or_out = A1L12Q_p1_out;
A1L12Q_reg_input = A1L12Q_or_out;
A1L12Q = DFFE(A1L12Q_reg_input, GLOBAL(clk_200hz), , , );


--A1L71Q is alarmclock_disp_select[3]~reg0 at LC3
A1L71Q_p1_out = disp_drive[1] & !disp_drive[0] & !disp_drive[2];
A1L71Q_or_out = A1L71Q_p1_out;
A1L71Q_reg_input = A1L71Q_or_out;
A1L71Q = DFFE(A1L71Q_reg_input, GLOBAL(clk_200hz), , , );


--A1L31Q is alarmclock_disp_select[1]~reg0 at LC2
A1L31Q_p1_out = !disp_drive[0] & disp_drive[2] & !disp_drive[1];
A1L31Q_or_out = A1L31Q_p1_out;
A1L31Q_reg_input = A1L31Q_or_out;
A1L31Q = DFFE(A1L31Q_reg_input, GLOBAL(clk_200hz), , , );


--A1L11Q is alarmclock_disp_select[0]~reg0 at LC1
A1L11Q_p1_out = disp_drive[0] & disp_drive[2] & !disp_drive[1];
A1L11Q_or_out = A1L11Q_p1_out;
A1L11Q_reg_input = A1L11Q_or_out;
A1L11Q = DFFE(A1L11Q_reg_input, GLOBAL(clk_200hz), , , );


--B5_dffs[1] is lpm_counter:second_set0_rtl_0|dffs[1] at LC8
B5_dffs[1]_p1_out = !B5_dffs[3] & B5_dffs[0] & !B5_dffs[1];
B5_dffs[1]_p2_out = !B5_dffs[3] & !B5_dffs[0] & B5_dffs[1];
B5_dffs[1]_or_out = B5_dffs[1]_p1_out # B5_dffs[1]_p2_out;
B5_dffs[1]_reg_input = B5_dffs[1]_or_out;
B5_dffs[1]_p3_out = disp_drive[0] & disp_drive[2] & !disp_drive[1];
B5_dffs[1] = DFFE(B5_dffs[1]_reg_input, GLOBAL(SW2), , , B5_dffs[1]_p3_out);


--B6_dffs[1] is lpm_counter:second_set1_rtl_1|dffs[1] at LC11
B6_dffs[1]_p1_out = !B6_dffs[2] & B6_dffs[0] & !B6_dffs[1];
B6_dffs[1]_p2_out = !B6_dffs[2] & !B6_dffs[0] & B6_dffs[1];
B6_dffs[1]_or_out = B6_dffs[1]_p1_out # B6_dffs[1]_p2_out;
B6_dffs[1]_reg_input = B6_dffs[1]_or_out;
B6_dffs[1]_p3_out = !disp_drive[0] & disp_drive[2] & !disp_drive[1];
B6_dffs[1] = DFFE(B6_dffs[1]_reg_input, GLOBAL(SW2), , , B6_dffs[1]_p3_out);


--B4_dffs[1] is lpm_counter:minute_set1_rtl_3|dffs[1] at LC42
B4_dffs[1]_p1_out = !B4_dffs[2] & B4_dffs[0] & !B4_dffs[1];
B4_dffs[1]_p2_out = !B4_dffs[2] & !B4_dffs[0] & B4_dffs[1];
B4_dffs[1]_or_out = B4_dffs[1]_p1_out # B4_dffs[1]_p2_out;
B4_dffs[1]_reg_input = B4_dffs[1]_or_out;
B4_dffs[1]_p3_out = disp_drive[1] & !disp_drive[0] & !disp_drive[2];
B4_dffs[1] = DFFE(B4_dffs[1]_reg_input, GLOBAL(SW2), , , B4_dffs[1]_p3_out);


--B2_dffs[0] is lpm_counter:hour_set1_rtl_5|dffs[0] at LC26
B2_dffs[0]_p1_out = !B2_dffs[0] & !B2_dffs[1];
B2_dffs[0]_or_out = B2_dffs[0]_p1_out;
B2_dffs[0]_reg_input = B2_dffs[0]_or_out;
B2_dffs[0]_p3_out = !disp_drive[1] & !disp_drive[0] & !disp_drive[2];
B2_dffs[0] = DFFE(B2_dffs[0]_reg_input, GLOBAL(SW2), , , B2_dffs[0]_p3_out);


--B2_dffs[1] is lpm_counter:hour_set1_rtl_5|dffs[1] at LC27
B2_dffs[1]_p1_out = B2_dffs[0] & !B2_dffs[1];
B2_dffs[1]_or_out = B2_dffs[1]_p1_out;
B2_dffs[1]_reg_input = B2_dffs[1]_or_out;
B2_dffs[1]_p3_out = !disp_drive[1] & !disp_drive[0] & !disp_drive[2];
B2_dffs[1] = DFFE(B2_dffs[1]_reg_input, GLOBAL(SW2), , , B2_dffs[1]_p3_out);


--B3_dffs[2] is lpm_counter:minute_set0_rtl_2|dffs[2] at LC44
B3_dffs[2]_p1_out = !B3_dffs[3] & B3_dffs[0] & B3_dffs[1];
B3_dffs[2]_p2_out = B3_dffs[3] & B3_dffs[2];
B3_dffs[2]_or_out = B3_dffs[2]_p1_out # B3_dffs[2]_p2_out;
B3_dffs[2]_reg_input = B3_dffs[2]_or_out;
B3_dffs[2]_p3_out = !disp_drive[2] & disp_drive[0] & disp_drive[1];
B3_dffs[2] = TFFE(B3_dffs[2]_reg_input, GLOBAL(SW2), , , B3_dffs[2]_p3_out);


--B1_dffs[2] is lpm_counter:hour_set0_rtl_4|dffs[2] at LC29
B1_dffs[2]_p0_out = !B1_dffs[3] & !B1_dffs[2] & B1_dffs[0] & B1_dffs[1] & !B2_dffs[0];
B1_dffs[2]_p1_out = !B2_dffs[1] & !B1_dffs[3] & B1_dffs[2] & !B1_dffs[0];
B1_dffs[2]_p2_out = !B2_dffs[1] & !B1_dffs[3] & B1_dffs[2] & !B1_dffs[1];
B1_dffs[2]_p4_out = !B2_dffs[1] & !B1_dffs[3] & !B1_dffs[2] & B1_dffs[0] & B1_dffs[1];
B1_dffs[2]_or_out = B1_dffs[2]_p0_out # B1_dffs[2]_p1_out # B1_dffs[2]_p2_out # B1_dffs[2]_p4_out;
B1_dffs[2]_reg_input = B1_dffs[2]_or_out;
B1_dffs[2]_p3_out = disp_drive[0] & !disp_drive[2] & !disp_drive[1];
B1_dffs[2] = DFFE(B1_dffs[2]_reg_input, GLOBAL(SW2), , , B1_dffs[2]_p3_out);


--B5_dffs[2] is lpm_counter:second_set0_rtl_0|dffs[2] at LC14
B5_dffs[2]_p1_out = !B5_dffs[3] & B5_dffs[0] & B5_dffs[1];
B5_dffs[2]_p2_out = B5_dffs[3] & B5_dffs[2];
B5_dffs[2]_or_out = B5_dffs[2]_p1_out # B5_dffs[2]_p2_out;
B5_dffs[2]_reg_input = B5_dffs[2]_or_out;
B5_dffs[2]_p3_out = disp_drive[0] & disp_drive[2] & !disp_drive[1];
B5_dffs[2] = TFFE(B5_dffs[2]_reg_input, GLOBAL(SW2), , , B5_dffs[2]_p3_out);


--B6_dffs[2] is lpm_counter:second_set1_rtl_1|dffs[2] at LC15
B6_dffs[2]_p1_out = B6_dffs[0] & B6_dffs[1] & !B6_dffs[2];
B6_dffs[2]_p2_out = !B6_dffs[0] & !B6_dffs[1] & B6_dffs[2];
B6_dffs[2]_or_out = B6_dffs[2]_p1_out # B6_dffs[2]_p2_out;
B6_dffs[2]_reg_input = B6_dffs[2]_or_out;
B6_dffs[2]_p3_out = !disp_drive[0] & disp_drive[2] & !disp_drive[1];
B6_dffs[2] = DFFE(B6_dffs[2]_reg_input, GLOBAL(SW2), , , B6_dffs[2]_p3_out);


--B4_dffs[2] is lpm_counter:minute_set1_rtl_3|dffs[2] at LC34
B4_dffs[2]_p1_out = B4_dffs[0] & B4_dffs[1] & !B4_dffs[2];
B4_dffs[2]_p2_out = !B4_dffs[0] & !B4_dffs[1] & B4_dffs[2];
B4_dffs[2]_or_out = B4_dffs[2]_p1_out # B4_dffs[2]_p2_out;
B4_dffs[2]_reg_input = B4_dffs[2]_or_out;
B4_dffs[2]_p3_out = disp_drive[1] & !disp_drive[0] & !disp_drive[2];
B4_dffs[2] = DFFE(B4_dffs[2]_reg_input, GLOBAL(SW2), , , B4_dffs[2]_p3_out);


--B6_dffs[0] is lpm_counter:second_set1_rtl_1|dffs[0] at LC13
B6_dffs[0]_p1_out = B6_dffs[2] & B6_dffs[1] & !B6_dffs[0];
B6_dffs[0]_or_out = B6_dffs[0]_p1_out;
B6_dffs[0]_reg_input = !B6_dffs[0]_or_out;
B6_dffs[0]_p3_out = !disp_drive[0] & disp_drive[2] & !disp_drive[1];
B6_dffs[0] = TFFE(B6_dffs[0]_reg_input, GLOBAL(SW2), , , B6_dffs[0]_p3_out);


--B3_dffs[3] is lpm_counter:minute_set0_rtl_2|dffs[3] at LC35
B3_dffs[3]_p1_out = B3_dffs[0] & B3_dffs[1] & B3_dffs[2] & !B3_dffs[3];
B3_dffs[3]_p2_out = !B3_dffs[0] & !B3_dffs[1] & !B3_dffs[2] & B3_dffs[3];
B3_dffs[3]_or_out = B3_dffs[3]_p1_out # B3_dffs[3]_p2_out;
B3_dffs[3]_reg_input = B3_dffs[3]_or_out;
B3_dffs[3]_p3_out = !disp_drive[2] & disp_drive[0] & disp_drive[1];
B3_dffs[3] = DFFE(B3_dffs[3]_reg_input, GLOBAL(SW2), , , B3_dffs[3]_p3_out);


--B4_dffs[0] is lpm_counter:minute_set1_rtl_3|dffs[0] at LC41
B4_dffs[0]_p1_out = B4_dffs[2] & B4_dffs[1] & !B4_dffs[0];
B4_dffs[0]_or_out = B4_dffs[0]_p1_out;
B4_dffs[0]_reg_input = !B4_dffs[0]_or_out;
B4_dffs[0]_p3_out = disp_drive[1] & !disp_drive[0] & !disp_drive[2];
B4_dffs[0] = TFFE(B4_dffs[0]_reg_input, GLOBAL(SW2), , , B4_dffs[0]_p3_out);


--B1_dffs[3] is lpm_counter:hour_set0_rtl_4|dffs[3] at LC25
B1_dffs[3]_p1_out = !B2_dffs[1] & B1_dffs[3] & !B1_dffs[2] & !B1_dffs[0] & !B1_dffs[1];
B1_dffs[3]_p2_out = !B2_dffs[1] & !B1_dffs[3] & B1_dffs[2] & B1_dffs[0] & B1_dffs[1];
B1_dffs[3]_or_out = B1_dffs[3]_p1_out # B1_dffs[3]_p2_out;
B1_dffs[3]_reg_input = B1_dffs[3]_or_out;
B1_dffs[3]_p3_out = disp_drive[0] & !disp_drive[2] & !disp_drive[1];
B1_dffs[3] = DFFE(B1_dffs[3]_reg_input, GLOBAL(SW2), , , B1_dffs[3]_p3_out);


--B5_dffs[3] is lpm_counter:second_set0_rtl_0|dffs[3] at LC16
B5_dffs[3]_p1_out = B5_dffs[0] & B5_dffs[1] & B5_dffs[2] & !B5_dffs[3];
B5_dffs[3]_p2_out = !B5_dffs[0] & !B5_dffs[1] & !B5_dffs[2] & B5_dffs[3];
B5_dffs[3]_or_out = B5_dffs[3]_p1_out # B5_dffs[3]_p2_out;
B5_dffs[3]_reg_input = B5_dffs[3]_or_out;
B5_dffs[3]_p3_out = disp_drive[0] & disp_drive[2] & !disp_drive[1];
B5_dffs[3] = DFFE(B5_dffs[3]_reg_input, GLOBAL(SW2), , , B5_dffs[3]_p3_out);


--B3_dffs[0] is lpm_counter:minute_set0_rtl_2|dffs[0] at LC33
B3_dffs[0]_p1_out = !B3_dffs[0] & !B3_dffs[3];
B3_dffs[0]_p2_out = !B3_dffs[0] & !B3_dffs[1] & !B3_dffs[2];
B3_dffs[0]_or_out = B3_dffs[0]_p1_out # B3_dffs[0]_p2_out;
B3_dffs[0]_reg_input = B3_dffs[0]_or_out;
B3_dffs[0]_p3_out = !disp_drive[2] & disp_drive[0] & disp_drive[1];
B3_dffs[0] = DFFE(B3_dffs[0]_reg_input, GLOBAL(SW2), , , B3_dffs[0]_p3_out);


--B5_dffs[0] is lpm_counter:second_set0_rtl_0|dffs[0] at LC7
B5_dffs[0]_p1_out = !B5_dffs[0] & !B5_dffs[3];
B5_dffs[0]_p2_out = !B5_dffs[0] & !B5_dffs[1] & !B5_dffs[2];
B5_dffs[0]_or_out = B5_dffs[0]_p1_out # B5_dffs[0]_p2_out;
B5_dffs[0]_reg_input = B5_dffs[0]_or_out;
B5_dffs[0]_p3_out = disp_drive[0] & disp_drive[2] & !disp_drive[1];
B5_dffs[0] = DFFE(B5_dffs[0]_reg_input, GLOBAL(SW2), , , B5_dffs[0]_p3_out);


--B1_dffs[0] is lpm_counter:hour_set0_rtl_4|dffs[0] at LC17
B1_dffs[0]_p1_out = !B1_dffs[1] & !B2_dffs[1] & !B1_dffs[0] & !B1_dffs[2];
B1_dffs[0]_p2_out = !B2_dffs[1] & !B1_dffs[0] & !B1_dffs[3];
B1_dffs[0]_p4_out = !B1_dffs[0] & !B1_dffs[2] & !B1_dffs[3] & !B2_dffs[0];
B1_dffs[0]_or_out = B1_dffs[0]_p1_out # B1_dffs[0]_p2_out # B1_dffs[0]_p4_out;
B1_dffs[0]_reg_input = B1_dffs[0]_or_out;
B1_dffs[0]_p3_out = disp_drive[0] & !disp_drive[2] & !disp_drive[1];
B1_dffs[0] = DFFE(B1_dffs[0]_reg_input, GLOBAL(SW2), , , B1_dffs[0]_p3_out);


--A1L03 is always0~68 at LC38
A1L03_or_out = minute0[1];
A1L03 = B3_dffs[1] $ A1L03_or_out;


--A1L13 is always0~72 at LC39
A1L13_or_out = minute0[2];
A1L13 = B3_dffs[2] $ A1L13_or_out;


--A1L23 is always0~76 at LC40
A1L23_or_out = minute0[3];
A1L23 = B3_dffs[3] $ A1L23_or_out;


--A1L33 is always0~80 at LC43
A1L33_or_out = minute1[0];
A1L33 = B4_dffs[0] $ A1L33_or_out;


--A1L43 is always0~84 at LC36
A1L43_or_out = minute1[1];
A1L43 = B4_dffs[1] $ A1L43_or_out;


--A1L53 is always0~88 at LC48
A1L53_or_out = minute1[2];
A1L53 = B4_dffs[2] $ A1L53_or_out;


--A1L63 is always0~92 at LC21
A1L63_or_out = hour0[0];
A1L63 = B1_dffs[0] $ A1L63_or_out;


--A1L73 is always0~96 at LC28
A1L73_or_out = hour0[1];
A1L73 = B1_dffs[1] $ A1L73_or_out;


--A1L83 is always0~100 at LC24
A1L83_or_out = hour0[2];
A1L83 = B1_dffs[2] $ A1L83_or_out;


--A1L93 is always0~104 at LC32
A1L93_or_out = hour0[3];
A1L93 = B1_dffs[3] $ A1L93_or_out;