alarmclock.map.eqn

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

--disp_drive[0] is disp_drive[0]
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]
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]
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, , , );


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


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


--B3_dffs[1] is lpm_counter:minute_set0_rtl_2|dffs[1]
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]
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);


--A1L71Q is alarmclock_disp_select[5]~reg0
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[3]~reg0
A1L31Q_p1_out = disp_drive[1] & !disp_drive[0] & !disp_drive[2];
A1L31Q_or_out = A1L31Q_p1_out;
A1L31Q_reg_input = A1L31Q_or_out;
A1L31Q = DFFE(A1L31Q_reg_input, GLOBAL(clk_200hz), , , );


--A1L9Q is alarmclock_disp_select[1]~reg0
A1L9Q_p1_out = !disp_drive[0] & disp_drive[2] & !disp_drive[1];
A1L9Q_or_out = A1L9Q_p1_out;
A1L9Q_reg_input = A1L9Q_or_out;
A1L9Q = DFFE(A1L9Q_reg_input, GLOBAL(clk_200hz), , , );


--A1L7Q is alarmclock_disp_select[0]~reg0
A1L7Q_p1_out = disp_drive[0] & disp_drive[2] & !disp_drive[1];
A1L7Q_or_out = A1L7Q_p1_out;
A1L7Q_reg_input = A1L7Q_or_out;
A1L7Q = DFFE(A1L7Q_reg_input, GLOBAL(clk_200hz), , , );


--B5_dffs[1] is lpm_counter:second_set0_rtl_0|dffs[1]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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);


--A1L62 is always0~68
A1L62_or_out = minute0[1];
A1L62 = B3_dffs[1] $ A1L62_or_out;


--A1L72 is always0~72
A1L72_or_out = minute0[2];
A1L72 = B3_dffs[2] $ A1L72_or_out;


--A1L82 is always0~76
A1L82_or_out = minute0[3];
A1L82 = B3_dffs[3] $ A1L82_or_out;


--A1L92 is always0~80
A1L92_or_out = minute1[0];
A1L92 = B4_dffs[0] $ A1L92_or_out;


--A1L03 is always0~84
A1L03_or_out = minute1[1];
A1L03 = B4_dffs[1] $ A1L03_or_out;


--A1L13 is always0~88
A1L13_or_out = minute1[2];
A1L13 = B4_dffs[2] $ A1L13_or_out;


--A1L23 is always0~92
A1L23_or_out = hour0[0];
A1L23 = B1_dffs[0] $ A1L23_or_out;


--A1L33 is always0~96
A1L33_or_out = hour0[1];
A1L33 = B1_dffs[1] $ A1L33_or_out;


--A1L43 is always0~100
A1L43_or_out = hour0[2];
A1L43 = B1_dffs[2] $ A1L43_or_out;


--A1L53 is always0~104
A1L53_or_out = hour0[3];
A1L53 = B1_dffs[3] $ A1L53_or_out;