time_auto_and_set.map.eqn

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

--H5_dffs[0] is timepiece_main:b2v_inst1|second_counter:b2v_inst2|lpm_counter:second_data0_rtl_8|dffs[0]
H5_dffs[0]_p1_out = !H5_dffs[0] & !H5_dffs[3];
H5_dffs[0]_p2_out = !H5_dffs[0] & !H5_dffs[2] & !H5_dffs[1];
H5_dffs[0]_or_out = H5_dffs[0]_p1_out # H5_dffs[0]_p2_out;
H5_dffs[0]_reg_input = H5_dffs[0]_or_out;
H5_dffs[0] = DFFE(H5_dffs[0]_reg_input, GLOBAL(CLK), , , Timepiece_EN);


--D1_disp_drive[0] is timeset:b2v_inst3|disp_drive[0]
D1_disp_drive[0]_p1_out = D1_disp_drive[2] & D1_disp_drive[1] & !D1_disp_drive[0];
D1_disp_drive[0]_or_out = D1_disp_drive[0]_p1_out # !TimeSet_EN;
D1_disp_drive[0]_reg_input = !D1_disp_drive[0]_or_out;
D1_disp_drive[0] = TFFE(D1_disp_drive[0]_reg_input, SW1, , , );


--H5_dffs[1] is timepiece_main:b2v_inst1|second_counter:b2v_inst2|lpm_counter:second_data0_rtl_8|dffs[1]
H5_dffs[1]_p1_out = !H5_dffs[3] & H5_dffs[1] & !H5_dffs[0];
H5_dffs[1]_p2_out = !H5_dffs[3] & !H5_dffs[1] & H5_dffs[0];
H5_dffs[1]_or_out = H5_dffs[1]_p1_out # H5_dffs[1]_p2_out;
H5_dffs[1]_reg_input = H5_dffs[1]_or_out;
H5_dffs[1] = DFFE(H5_dffs[1]_reg_input, GLOBAL(CLK), , , Timepiece_EN);


--H5_dffs[2] is timepiece_main:b2v_inst1|second_counter:b2v_inst2|lpm_counter:second_data0_rtl_8|dffs[2]
H5_dffs[2]_p1_out = !H5_dffs[3] & H5_dffs[1] & H5_dffs[0];
H5_dffs[2]_p2_out = H5_dffs[3] & H5_dffs[2];
H5_dffs[2]_or_out = H5_dffs[2]_p1_out # H5_dffs[2]_p2_out;
H5_dffs[2]_reg_input = H5_dffs[2]_or_out;
H5_dffs[2] = TFFE(H5_dffs[2]_reg_input, GLOBAL(CLK), , , Timepiece_EN);


--D1_disp_drive[2] is timeset:b2v_inst3|disp_drive[2]
D1_disp_drive[2]_p1_out = D1_disp_drive[1] & D1_disp_drive[0] & !D1_disp_drive[2] & TimeSet_EN;
D1_disp_drive[2]_p2_out = !D1_disp_drive[1] & !D1_disp_drive[0] & D1_disp_drive[2];
D1_disp_drive[2]_p4_out = D1_disp_drive[2] & !TimeSet_EN;
D1_disp_drive[2]_or_out = D1_disp_drive[2]_p1_out # D1_disp_drive[2]_p2_out # D1_disp_drive[2]_p4_out;
D1_disp_drive[2]_reg_input = D1_disp_drive[2]_or_out;
D1_disp_drive[2] = DFFE(D1_disp_drive[2]_reg_input, SW1, , , );


--H8_dffs[0] is timeset:b2v_inst3|lpm_counter:hour_set1_rtl_3|dffs[0]
H8_dffs[0]_p1_out = !H8_dffs[1] & !H8_dffs[0];
H8_dffs[0]_or_out = H8_dffs[0]_p1_out;
H8_dffs[0]_reg_input = H8_dffs[0]_or_out;
H8_dffs[0]_p3_out = !D1_disp_drive[2] & !D1_disp_drive[1] & !D1_disp_drive[0];
H8_dffs[0] = DFFE(H8_dffs[0]_reg_input, GLOBAL(SW2), , , H8_dffs[0]_p3_out);


--H21_dffs[0] is timeset:b2v_inst3|lpm_counter:second_set1_rtl_11|dffs[0]
H21_dffs[0]_p1_out = H21_dffs[2] & H21_dffs[1] & !H21_dffs[0];
H21_dffs[0]_or_out = H21_dffs[0]_p1_out;
H21_dffs[0]_reg_input = !H21_dffs[0]_or_out;
H21_dffs[0]_p3_out = D1_disp_drive[2] & !D1_disp_drive[1] & !D1_disp_drive[0];
H21_dffs[0] = TFFE(H21_dffs[0]_reg_input, GLOBAL(SW2), , , H21_dffs[0]_p3_out);


--H5_dffs[3] is timepiece_main:b2v_inst1|second_counter:b2v_inst2|lpm_counter:second_data0_rtl_8|dffs[3]
H5_dffs[3]_p1_out = H5_dffs[2] & H5_dffs[1] & H5_dffs[0] & !H5_dffs[3];
H5_dffs[3]_p2_out = !H5_dffs[2] & !H5_dffs[1] & !H5_dffs[0] & H5_dffs[3];
H5_dffs[3]_or_out = H5_dffs[3]_p1_out # H5_dffs[3]_p2_out;
H5_dffs[3]_reg_input = H5_dffs[3]_or_out;
H5_dffs[3] = DFFE(H5_dffs[3]_reg_input, GLOBAL(CLK), , , Timepiece_EN);


--H8_dffs[1] is timeset:b2v_inst3|lpm_counter:hour_set1_rtl_3|dffs[1]
H8_dffs[1]_p1_out = !H8_dffs[1] & H8_dffs[0];
H8_dffs[1]_or_out = H8_dffs[1]_p1_out;
H8_dffs[1]_reg_input = H8_dffs[1]_or_out;
H8_dffs[1]_p3_out = !D1_disp_drive[2] & !D1_disp_drive[1] & !D1_disp_drive[0];
H8_dffs[1] = DFFE(H8_dffs[1]_reg_input, GLOBAL(SW2), , , H8_dffs[1]_p3_out);


--D1_disp_drive[1] is timeset:b2v_inst3|disp_drive[1]
D1_disp_drive[1]_p1_out = !D1_disp_drive[2] & D1_disp_drive[0] & TimeSet_EN;
D1_disp_drive[1]_p2_out = D1_disp_drive[2] & TimeSet_EN & D1_disp_drive[1];
D1_disp_drive[1]_or_out = D1_disp_drive[1]_p1_out # D1_disp_drive[1]_p2_out;
D1_disp_drive[1]_reg_input = D1_disp_drive[1]_or_out;
D1_disp_drive[1] = TFFE(D1_disp_drive[1]_reg_input, SW1, , , );


--H21_dffs[1] is timeset:b2v_inst3|lpm_counter:second_set1_rtl_11|dffs[1]
H21_dffs[1]_p1_out = !H21_dffs[2] & H21_dffs[1] & !H21_dffs[0];
H21_dffs[1]_p2_out = !H21_dffs[2] & !H21_dffs[1] & H21_dffs[0];
H21_dffs[1]_or_out = H21_dffs[1]_p1_out # H21_dffs[1]_p2_out;
H21_dffs[1]_reg_input = H21_dffs[1]_or_out;
H21_dffs[1]_p3_out = D1_disp_drive[2] & !D1_disp_drive[1] & !D1_disp_drive[0];
H21_dffs[1] = DFFE(H21_dffs[1]_reg_input, GLOBAL(SW2), , , H21_dffs[1]_p3_out);


--H7_dffs[0] is timeset:b2v_inst3|lpm_counter:hour_set0_rtl_1|dffs[0]
H7_dffs[0]_p1_out = !H7_dffs[0] & !H7_dffs[3];
H7_dffs[0]_p2_out = !H7_dffs[0] & !H7_dffs[2] & !H7_dffs[1];
H7_dffs[0]_or_out = H7_dffs[0]_p1_out # H7_dffs[0]_p2_out;
H7_dffs[0]_reg_input = H7_dffs[0]_or_out;
H7_dffs[0]_p3_out = !D1_disp_drive[1] & !D1_disp_drive[2] & D1_disp_drive[0];
H7_dffs[0] = DFFE(H7_dffs[0]_reg_input, GLOBAL(SW2), , , H7_dffs[0]_p3_out);


--H9_dffs[0] is timeset:b2v_inst3|lpm_counter:minute_set0_rtl_5|dffs[0]
H9_dffs[0]_p1_out = !H9_dffs[0] & !H9_dffs[3];
H9_dffs[0]_p2_out = !H9_dffs[0] & !H9_dffs[2] & !H9_dffs[1];
H9_dffs[0]_or_out = H9_dffs[0]_p1_out # H9_dffs[0]_p2_out;
H9_dffs[0]_reg_input = H9_dffs[0]_or_out;
H9_dffs[0]_p3_out = D1_disp_drive[1] & !D1_disp_drive[2] & D1_disp_drive[0];
H9_dffs[0] = DFFE(H9_dffs[0]_reg_input, GLOBAL(SW2), , , H9_dffs[0]_p3_out);


--H01_dffs[0] is timeset:b2v_inst3|lpm_counter:minute_set1_rtl_7|dffs[0]
H01_dffs[0]_p1_out = H01_dffs[2] & H01_dffs[1] & !H01_dffs[0];
H01_dffs[0]_or_out = H01_dffs[0]_p1_out;
H01_dffs[0]_reg_input = !H01_dffs[0]_or_out;
H01_dffs[0]_p3_out = !D1_disp_drive[2] & D1_disp_drive[1] & !D1_disp_drive[0];
H01_dffs[0] = TFFE(H01_dffs[0]_reg_input, GLOBAL(SW2), , , H01_dffs[0]_p3_out);


--H11_dffs[0] is timeset:b2v_inst3|lpm_counter:second_set0_rtl_9|dffs[0]
H11_dffs[0]_p1_out = !H11_dffs[0] & !H11_dffs[3];
H11_dffs[0]_p2_out = !H11_dffs[0] & !H11_dffs[2] & !H11_dffs[1];
H11_dffs[0]_or_out = H11_dffs[0]_p1_out # H11_dffs[0]_p2_out;
H11_dffs[0]_reg_input = H11_dffs[0]_or_out;
H11_dffs[0]_p3_out = D1_disp_drive[2] & !D1_disp_drive[1] & D1_disp_drive[0];
H11_dffs[0] = DFFE(H11_dffs[0]_reg_input, GLOBAL(SW2), , , H11_dffs[0]_p3_out);


--H6_dffs[0] is timepiece_main:b2v_inst1|second_counter:b2v_inst2|lpm_counter:second_data1_rtl_10|dffs[0]
H6_dffs[0]_p1_out = H6_dffs[2] & H6_dffs[1] & !H6_dffs[0];
H6_dffs[0]_p2_out = !H5_dffs[2] & !H5_dffs[1] & !H5_dffs[0];
H6_dffs[0]_or_out = H6_dffs[0]_p1_out # H6_dffs[0]_p2_out # !Timepiece_EN # !H5_dffs[3];
H6_dffs[0]_reg_input = !H6_dffs[0]_or_out;
H6_dffs[0] = TFFE(H6_dffs[0]_reg_input, GLOBAL(CLK), , , );


--H21_dffs[2] is timeset:b2v_inst3|lpm_counter:second_set1_rtl_11|dffs[2]
H21_dffs[2]_p1_out = H21_dffs[1] & H21_dffs[0] & !H21_dffs[2];
H21_dffs[2]_p2_out = !H21_dffs[1] & !H21_dffs[0] & H21_dffs[2];
H21_dffs[2]_or_out = H21_dffs[2]_p1_out # H21_dffs[2]_p2_out;
H21_dffs[2]_reg_input = H21_dffs[2]_or_out;
H21_dffs[2]_p3_out = D1_disp_drive[2] & !D1_disp_drive[1] & !D1_disp_drive[0];
H21_dffs[2] = DFFE(H21_dffs[2]_reg_input, GLOBAL(SW2), , , H21_dffs[2]_p3_out);


--C1L41 is time_mux:b2v_inst2|second_0[0]~30
C1L41_p1_out = TimeSet_EN & H11_dffs[0];
C1L41_p2_out = !TimeSet_EN & H5_dffs[0];
C1L41_or_out = C1L41_p1_out # C1L41_p2_out;
C1L41 = C1L41_or_out;


--H7_dffs[1] is timeset:b2v_inst3|lpm_counter:hour_set0_rtl_1|dffs[1]
H7_dffs[1]_p1_out = !H7_dffs[3] & H7_dffs[1] & !H7_dffs[0];
H7_dffs[1]_p2_out = !H7_dffs[3] & !H7_dffs[1] & H7_dffs[0];
H7_dffs[1]_or_out = H7_dffs[1]_p1_out # H7_dffs[1]_p2_out;
H7_dffs[1]_reg_input = H7_dffs[1]_or_out;
H7_dffs[1]_p3_out = !D1_disp_drive[1] & !D1_disp_drive[2] & D1_disp_drive[0];
H7_dffs[1] = DFFE(H7_dffs[1]_reg_input, GLOBAL(SW2), , , H7_dffs[1]_p3_out);


--H9_dffs[1] is timeset:b2v_inst3|lpm_counter:minute_set0_rtl_5|dffs[1]
H9_dffs[1]_p1_out = !H9_dffs[3] & H9_dffs[1] & !H9_dffs[0];
H9_dffs[1]_p2_out = !H9_dffs[3] & !H9_dffs[1] & H9_dffs[0];
H9_dffs[1]_or_out = H9_dffs[1]_p1_out # H9_dffs[1]_p2_out;
H9_dffs[1]_reg_input = H9_dffs[1]_or_out;
H9_dffs[1]_p3_out = D1_disp_drive[1] & !D1_disp_drive[2] & D1_disp_drive[0];
H9_dffs[1] = DFFE(H9_dffs[1]_reg_input, GLOBAL(SW2), , , H9_dffs[1]_p3_out);


--H01_dffs[1] is timeset:b2v_inst3|lpm_counter:minute_set1_rtl_7|dffs[1]
H01_dffs[1]_p1_out = !H01_dffs[2] & H01_dffs[1] & !H01_dffs[0];
H01_dffs[1]_p2_out = !H01_dffs[2] & !H01_dffs[1] & H01_dffs[0];
H01_dffs[1]_or_out = H01_dffs[1]_p1_out # H01_dffs[1]_p2_out;
H01_dffs[1]_reg_input = H01_dffs[1]_or_out;
H01_dffs[1]_p3_out = !D1_disp_drive[2] & D1_disp_drive[1] & !D1_disp_drive[0];
H01_dffs[1] = DFFE(H01_dffs[1]_reg_input, GLOBAL(SW2), , , H01_dffs[1]_p3_out);


--H11_dffs[1] is timeset:b2v_inst3|lpm_counter:second_set0_rtl_9|dffs[1]
H11_dffs[1]_p1_out = !H11_dffs[3] & H11_dffs[1] & !H11_dffs[0];
H11_dffs[1]_p2_out = !H11_dffs[3] & !H11_dffs[1] & H11_dffs[0];
H11_dffs[1]_or_out = H11_dffs[1]_p1_out # H11_dffs[1]_p2_out;
H11_dffs[1]_reg_input = H11_dffs[1]_or_out;
H11_dffs[1]_p3_out = D1_disp_drive[2] & !D1_disp_drive[1] & D1_disp_drive[0];
H11_dffs[1] = DFFE(H11_dffs[1]_reg_input, GLOBAL(SW2), , , H11_dffs[1]_p3_out);


--C1L81 is time_mux:b2v_inst2|second_1[0]~27
C1L81_p1_out = TimeSet_EN & H21_dffs[0];
C1L81_p2_out = !TimeSet_EN & H6_dffs[0];
C1L81_or_out = C1L81_p1_out # C1L81_p2_out;
C1L81 = C1L81_or_out;


--C1L51 is time_mux:b2v_inst2|second_0[1]~33
C1L51_p1_out = TimeSet_EN & H11_dffs[1];
C1L51_p2_out = !TimeSet_EN & H5_dffs[1];
C1L51_or_out = C1L51_p1_out # C1L51_p2_out;
C1L51 = C1L51_or_out;


--H6_dffs[1] is timepiece_main:b2v_inst1|second_counter:b2v_inst2|lpm_counter:second_data1_rtl_10|dffs[1]
H6_dffs[1]_p0_out = !H6_dffs[2] & !H6_dffs[0] & H6_dffs[1];
H6_dffs[1]_p1_out = !H6_dffs[2] & H6_dffs[0] & !H6_dffs[1] & Timepiece_EN & H5_dffs[3] & H5_dffs[2];
H6_dffs[1]_p2_out = H6_dffs[1] & !Timepiece_EN;
H6_dffs[1]_p3_out = !H6_dffs[2] & H6_dffs[0] & !H6_dffs[1] & Timepiece_EN & H5_dffs[3] & H5_dffs[0];
H6_dffs[1]_p4_out = !H6_dffs[2] & H6_dffs[0] & !H6_dffs[1] & Timepiece_EN & H5_dffs[3] & H5_dffs[1];
H6_dffs[1]_or_out = H6L4 # H6_dffs[1]_p0_out # H6_dffs[1]_p1_out # H6_dffs[1]_p2_out # H6_dffs[1]_p3_out # H6_dffs[1]_p4_out;
H6_dffs[1]_reg_input = H6_dffs[1]_or_out;
H6_dffs[1] = DFFE(H6_dffs[1]_reg_input, GLOBAL(CLK), , , );


--H7_dffs[2] is timeset:b2v_inst3|lpm_counter:hour_set0_rtl_1|dffs[2]
H7_dffs[2]_p1_out = !H7_dffs[3] & H7_dffs[1] & H7_dffs[0];
H7_dffs[2]_p2_out = H7_dffs[3] & H7_dffs[2];
H7_dffs[2]_or_out = H7_dffs[2]_p1_out # H7_dffs[2]_p2_out;
H7_dffs[2]_reg_input = H7_dffs[2]_or_out;
H7_dffs[2]_p3_out = !D1_disp_drive[1] & !D1_disp_drive[2] & D1_disp_drive[0];
H7_dffs[2] = TFFE(H7_dffs[2]_reg_input, GLOBAL(SW2), , , H7_dffs[2]_p3_out);


--H9_dffs[2] is timeset:b2v_inst3|lpm_counter:minute_set0_rtl_5|dffs[2]
H9_dffs[2]_p1_out = !H9_dffs[3] & H9_dffs[1] & H9_dffs[0];
H9_dffs[2]_p2_out = H9_dffs[3] & H9_dffs[2];
H9_dffs[2]_or_out = H9_dffs[2]_p1_out # H9_dffs[2]_p2_out;
H9_dffs[2]_reg_input = H9_dffs[2]_or_out;
H9_dffs[2]_p3_out = D1_disp_drive[1] & !D1_disp_drive[2] & D1_disp_drive[0];
H9_dffs[2] = TFFE(H9_dffs[2]_reg_input, GLOBAL(SW2), , , H9_dffs[2]_p3_out);


--H01_dffs[2] is timeset:b2v_inst3|lpm_counter:minute_set1_rtl_7|dffs[2]
H01_dffs[2]_p1_out = H01_dffs[1] & H01_dffs[0] & !H01_dffs[2];
H01_dffs[2]_p2_out = !H01_dffs[1] & !H01_dffs[0] & H01_dffs[2];
H01_dffs[2]_or_out = H01_dffs[2]_p1_out # H01_dffs[2]_p2_out;
H01_dffs[2]_reg_input = H01_dffs[2]_or_out;
H01_dffs[2]_p3_out = !D1_disp_drive[2] & D1_disp_drive[1] & !D1_disp_drive[0];
H01_dffs[2] = DFFE(H01_dffs[2]_reg_input, GLOBAL(SW2), , , H01_dffs[2]_p3_out);


--H11_dffs[2] is timeset:b2v_inst3|lpm_counter:second_set0_rtl_9|dffs[2]
H11_dffs[2]_p1_out = !H11_dffs[3] & H11_dffs[1] & H11_dffs[0];
H11_dffs[2]_p2_out = H11_dffs[3] & H11_dffs[2];
H11_dffs[2]_or_out = H11_dffs[2]_p1_out # H11_dffs[2]_p2_out;
H11_dffs[2]_reg_input = H11_dffs[2]_or_out;
H11_dffs[2]_p3_out = D1_disp_drive[2] & !D1_disp_drive[1] & D1_disp_drive[0];
H11_dffs[2] = TFFE(H11_dffs[2]_reg_input, GLOBAL(SW2), , , H11_dffs[2]_p3_out);


--C1L91 is time_mux:b2v_inst2|second_1[1]~30
C1L91_p1_out = TimeSet_EN & H21_dffs[1];
C1L91_p2_out = !TimeSet_EN & H6_dffs[1];
C1L91_or_out = C1L91_p1_out # C1L91_p2_out;
C1L91 = C1L91_or_out;


--C1L61 is time_mux:b2v_inst2|second_0[2]~36
C1L61_p1_out = TimeSet_EN & H11_dffs[2];
C1L61_p2_out = !TimeSet_EN & H5_dffs[2];
C1L61_or_out = C1L61_p1_out # C1L61_p2_out;
C1L61 = C1L61_or_out;


--H7_dffs[3] is timeset:b2v_inst3|lpm_counter:hour_set0_rtl_1|dffs[3]
H7_dffs[3]_p1_out = H7_dffs[2] & H7_dffs[1] & H7_dffs[0] & !H7_dffs[3];
H7_dffs[3]_p2_out = !H7_dffs[2] & !H7_dffs[1] & !H7_dffs[0] & H7_dffs[3];
H7_dffs[3]_or_out = H7_dffs[3]_p1_out # H7_dffs[3]_p2_out;
H7_dffs[3]_reg_input = H7_dffs[3]_or_out;
H7_dffs[3]_p3_out = !D1_disp_drive[1] & !D1_disp_drive[2] & D1_disp_drive[0];
H7_dffs[3] = DFFE(H7_dffs[3]_reg_input, GLOBAL(SW2), , , H7_dffs[3]_p3_out);


--H9_dffs[3] is timeset:b2v_inst3|lpm_counter:minute_set0_rtl_5|dffs[3]
H9_dffs[3]_p1_out = H9_dffs[2] & H9_dffs[1] & H9_dffs[0] & !H9_dffs[3];
H9_dffs[3]_p2_out = !H9_dffs[2] & !H9_dffs[1] & !H9_dffs[0] & H9_dffs[3];
H9_dffs[3]_or_out = H9_dffs[3]_p1_out # H9_dffs[3]_p2_out;
H9_dffs[3]_reg_input = H9_dffs[3]_or_out;
H9_dffs[3]_p3_out = D1_disp_drive[1] & !D1_disp_drive[2] & D1_disp_drive[0];
H9_dffs[3] = DFFE(H9_dffs[3]_reg_input, GLOBAL(SW2), , , H9_dffs[3]_p3_out);


--H11_dffs[3] is timeset:b2v_inst3|lpm_counter:second_set0_rtl_9|dffs[3]
H11_dffs[3]_p1_out = H11_dffs[2] & H11_dffs[1] & H11_dffs[0] & !H11_dffs[3];
H11_dffs[3]_p2_out = !H11_dffs[2] & !H11_dffs[1] & !H11_dffs[0] & H11_dffs[3];
H11_dffs[3]_or_out = H11_dffs[3]_p1_out # H11_dffs[3]_p2_out;