time_auto_and_set.map.eqn

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

H11_dffs[3]_reg_input = H11_dffs[3]_or_out;
H11_dffs[3]_p3_out = D1_disp_drive[2] & !D1_disp_drive[1] & D1_disp_drive[0];
H11_dffs[3] = DFFE(H11_dffs[3]_reg_input, GLOBAL(SW2), , , H11_dffs[3]_p3_out);


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


--C1L71 is time_mux:b2v_inst2|second_0[3]~39
C1L71_p1_out = TimeSet_EN & H11_dffs[3];
C1L71_p2_out = !TimeSet_EN & H5_dffs[3];
C1L71_or_out = C1L71_p1_out # C1L71_p2_out;
C1L71 = C1L71_or_out;


--C1L02 is time_mux:b2v_inst2|second_1[2]~33
C1L02_p1_out = TimeSet_EN & H21_dffs[2];
C1L02_p2_out = !TimeSet_EN & H6_dffs[2];
C1L02_or_out = C1L02_p1_out # C1L02_p2_out;
C1L02 = C1L02_or_out;


--G1_EO is timepiece_main:b2v_inst1|second_counter:b2v_inst2|EO
G1_EO_p0_out = !H5_dffs[0] & G1_EO & !H5_dffs[2] & !H5_dffs[1];
G1_EO_p1_out = H6_dffs[1] & H6_dffs[2] & Timepiece_EN & H5_dffs[3] & H5_dffs[0];
G1_EO_p2_out = H6_dffs[2] & Timepiece_EN & H5_dffs[3] & H5_dffs[0] & H6_dffs[0];
G1_EO_p3_out = !Timepiece_EN & G1_EO;
G1_EO_p4_out = !H5_dffs[3] & G1_EO;
G1_EO_or_out = G1L2 # G1_EO_p0_out # G1_EO_p1_out # G1_EO_p2_out # G1_EO_p3_out # G1_EO_p4_out;
G1_EO_reg_input = G1_EO_or_out;
G1_EO = DFFE(G1_EO_reg_input, GLOBAL(CLK), , , );


--H3_dffs[0] is timepiece_main:b2v_inst1|minute_counter:b2v_inst1|lpm_counter:minute_data0_rtl_4|dffs[0]
H3_dffs[0]_p1_out = !H3_dffs[3] & !H3_dffs[0] & Timepiece_EN;
H3_dffs[0]_p2_out = !H3_dffs[0] & Timepiece_EN & !H3_dffs[2] & !H3_dffs[1];
H3_dffs[0]_p4_out = H3_dffs[0] & !Timepiece_EN;
H3_dffs[0]_or_out = H3_dffs[0]_p1_out # H3_dffs[0]_p2_out # H3_dffs[0]_p4_out;
H3_dffs[0]_reg_input = H3_dffs[0]_or_out;
H3_dffs[0] = DFFE(H3_dffs[0]_reg_input, G1_EO, , , );


--C1L7 is time_mux:b2v_inst2|minute_0[0]~30
C1L7_p1_out = TimeSet_EN & H9_dffs[0];
C1L7_p2_out = !TimeSet_EN & H3_dffs[0];
C1L7_or_out = C1L7_p1_out # C1L7_p2_out;
C1L7 = C1L7_or_out;


--H3_dffs[1] is timepiece_main:b2v_inst1|minute_counter:b2v_inst1|lpm_counter:minute_data0_rtl_4|dffs[1]
H3_dffs[1]_p1_out = !H3_dffs[3] & H3_dffs[0] & Timepiece_EN;
H3_dffs[1]_p2_out = H3_dffs[3] & Timepiece_EN & H3_dffs[1];
H3_dffs[1]_or_out = H3_dffs[1]_p1_out # H3_dffs[1]_p2_out;
H3_dffs[1]_reg_input = H3_dffs[1]_or_out;
H3_dffs[1] = TFFE(H3_dffs[1]_reg_input, G1_EO, , , );


--C1L8 is time_mux:b2v_inst2|minute_0[1]~33
C1L8_p1_out = TimeSet_EN & H9_dffs[1];
C1L8_p2_out = !TimeSet_EN & H3_dffs[1];
C1L8_or_out = C1L8_p1_out # C1L8_p2_out;
C1L8 = C1L8_or_out;


--H3_dffs[2] is timepiece_main:b2v_inst1|minute_counter:b2v_inst1|lpm_counter:minute_data0_rtl_4|dffs[2]
H3_dffs[2]_p1_out = !H3_dffs[3] & H3_dffs[1] & H3_dffs[0] & Timepiece_EN;
H3_dffs[2]_p2_out = H3_dffs[3] & Timepiece_EN & H3_dffs[2];
H3_dffs[2]_or_out = H3_dffs[2]_p1_out # H3_dffs[2]_p2_out;
H3_dffs[2]_reg_input = H3_dffs[2]_or_out;
H3_dffs[2] = TFFE(H3_dffs[2]_reg_input, G1_EO, , , );


--C1L9 is time_mux:b2v_inst2|minute_0[2]~36
C1L9_p1_out = TimeSet_EN & H9_dffs[2];
C1L9_p2_out = !TimeSet_EN & H3_dffs[2];
C1L9_or_out = C1L9_p1_out # C1L9_p2_out;
C1L9 = C1L9_or_out;


--H3_dffs[3] is timepiece_main:b2v_inst1|minute_counter:b2v_inst1|lpm_counter:minute_data0_rtl_4|dffs[3]
H3_dffs[3]_p1_out = H3_dffs[2] & H3_dffs[1] & H3_dffs[0] & !H3_dffs[3] & Timepiece_EN;
H3_dffs[3]_p2_out = !H3_dffs[2] & !H3_dffs[1] & !H3_dffs[0] & H3_dffs[3];
H3_dffs[3]_p4_out = H3_dffs[3] & !Timepiece_EN;
H3_dffs[3]_or_out = H3_dffs[3]_p1_out # H3_dffs[3]_p2_out # H3_dffs[3]_p4_out;
H3_dffs[3]_reg_input = H3_dffs[3]_or_out;
H3_dffs[3] = DFFE(H3_dffs[3]_reg_input, G1_EO, , , );


--C1L01 is time_mux:b2v_inst2|minute_0[3]~39
C1L01_p1_out = TimeSet_EN & H9_dffs[3];
C1L01_p2_out = !TimeSet_EN & H3_dffs[3];
C1L01_or_out = C1L01_p1_out # C1L01_p2_out;
C1L01 = C1L01_or_out;


--H4_dffs[0] is timepiece_main:b2v_inst1|minute_counter:b2v_inst1|lpm_counter:minute_data1_rtl_6|dffs[0]
H4_dffs[0]_p1_out = H4_dffs[2] & H4_dffs[1] & !H4_dffs[0];
H4_dffs[0]_p2_out = !H3_dffs[2] & !H3_dffs[1] & !H3_dffs[0];
H4_dffs[0]_or_out = !H3_dffs[3] # H4_dffs[0]_p1_out # H4_dffs[0]_p2_out # !Timepiece_EN;
H4_dffs[0]_reg_input = !H4_dffs[0]_or_out;
H4_dffs[0] = TFFE(H4_dffs[0]_reg_input, G1_EO, , , );


--C1L11 is time_mux:b2v_inst2|minute_1[0]~27
C1L11_p1_out = TimeSet_EN & H01_dffs[0];
C1L11_p2_out = !TimeSet_EN & H4_dffs[0];
C1L11_or_out = C1L11_p1_out # C1L11_p2_out;
C1L11 = C1L11_or_out;


--H4_dffs[1] is timepiece_main:b2v_inst1|minute_counter:b2v_inst1|lpm_counter:minute_data1_rtl_6|dffs[1]
H4_dffs[1]_p0_out = H4_dffs[1] & !H3_dffs[0] & !H3_dffs[2] & !H3_dffs[1];
H4_dffs[1]_p1_out = !H4_dffs[2] & H4_dffs[0] & !H4_dffs[1] & H3_dffs[0] & Timepiece_EN & H3_dffs[3];
H4_dffs[1]_p2_out = H4_dffs[1] & !Timepiece_EN;
H4_dffs[1]_p4_out = H4_dffs[1] & !H3_dffs[3];
H4_dffs[1]_or_out = H4L4 # H4_dffs[1]_p0_out # H4_dffs[1]_p1_out # H4_dffs[1]_p2_out # H4_dffs[1]_p4_out;
H4_dffs[1]_reg_input = H4_dffs[1]_or_out;
H4_dffs[1] = DFFE(H4_dffs[1]_reg_input, G1_EO, , , );


--C1L21 is time_mux:b2v_inst2|minute_1[1]~30
C1L21_p1_out = TimeSet_EN & H01_dffs[1];
C1L21_p2_out = !TimeSet_EN & H4_dffs[1];
C1L21_or_out = C1L21_p1_out # C1L21_p2_out;
C1L21 = C1L21_or_out;


--H4_dffs[2] is timepiece_main:b2v_inst1|minute_counter:b2v_inst1|lpm_counter:minute_data1_rtl_6|dffs[2]
H4_dffs[2]_p0_out = H4_dffs[2] & !H3_dffs[0] & !H3_dffs[2] & !H3_dffs[1];
H4_dffs[2]_p1_out = H4_dffs[1] & H4_dffs[0] & Timepiece_EN & H3_dffs[3] & !H4_dffs[2] & H3_dffs[0];
H4_dffs[2]_p2_out = !Timepiece_EN & H4_dffs[2];
H4_dffs[2]_p4_out = !H3_dffs[3] & H4_dffs[2];
H4_dffs[2]_or_out = H4L6 # H4_dffs[2]_p0_out # H4_dffs[2]_p1_out # H4_dffs[2]_p2_out # H4_dffs[2]_p4_out;
H4_dffs[2]_reg_input = H4_dffs[2]_or_out;
H4_dffs[2] = DFFE(H4_dffs[2]_reg_input, G1_EO, , , );


--C1L31 is time_mux:b2v_inst2|minute_1[2]~33
C1L31_p1_out = TimeSet_EN & H01_dffs[2];
C1L31_p2_out = !TimeSet_EN & H4_dffs[2];
C1L31_or_out = C1L31_p1_out # C1L31_p2_out;
C1L31 = C1L31_or_out;


--F1_EO is timepiece_main:b2v_inst1|minute_counter:b2v_inst1|EO
F1_EO_p0_out = !H3_dffs[0] & F1_EO & !H3_dffs[2] & !H3_dffs[1];
F1_EO_p1_out = H4_dffs[2] & H4_dffs[0] & Timepiece_EN & H3_dffs[3] & H3_dffs[0];
F1_EO_p2_out = !Timepiece_EN & F1_EO;
F1_EO_p4_out = !H3_dffs[3] & F1_EO;
F1_EO_or_out = F1L2 # F1_EO_p0_out # F1_EO_p1_out # F1_EO_p2_out # F1_EO_p4_out;
F1_EO_reg_input = F1_EO_or_out;
F1_EO = DFFE(F1_EO_reg_input, G1_EO, , , );


--H1_dffs[0] is timepiece_main:b2v_inst1|hour_counter:b2v_inst|lpm_counter:hour_data0_rtl_0|dffs[0]
H1_dffs[0]_p0_out = H1_dffs[0] & !Timepiece_EN;
H1_dffs[0]_p1_out = !H1_dffs[1] & !H2_dffs[1] & !H1_dffs[2] & !H1_dffs[0] & Timepiece_EN;
H1_dffs[0]_p2_out = !H2_dffs[1] & !H1_dffs[0] & Timepiece_EN & !H1_dffs[3];
H1_dffs[0]_p4_out = !H1_dffs[2] & !H1_dffs[0] & Timepiece_EN & !H1_dffs[3] & !H2_dffs[0];
H1_dffs[0]_or_out = H1_dffs[0]_p0_out # H1_dffs[0]_p1_out # H1_dffs[0]_p2_out # H1_dffs[0]_p4_out;
H1_dffs[0]_reg_input = H1_dffs[0]_or_out;
H1_dffs[0] = DFFE(H1_dffs[0]_reg_input, F1_EO, , , );


--C1L1 is time_mux:b2v_inst2|hour_0[0]~30
C1L1_p1_out = TimeSet_EN & H7_dffs[0];
C1L1_p2_out = !TimeSet_EN & H1_dffs[0];
C1L1_or_out = C1L1_p1_out # C1L1_p2_out;
C1L1 = C1L1_or_out;


--H1_dffs[1] is timepiece_main:b2v_inst1|hour_counter:b2v_inst|lpm_counter:hour_data0_rtl_0|dffs[1]
H1_dffs[1]_p0_out = H1_dffs[1] & !Timepiece_EN;
H1_dffs[1]_p1_out = !H2_dffs[1] & !H1_dffs[3] & H1_dffs[0] & !H1_dffs[1] & Timepiece_EN;
H1_dffs[1]_p2_out = !H1_dffs[3] & !H1_dffs[0] & H1_dffs[1] & !H1_dffs[2] & !H2_dffs[0];
H1_dffs[1]_p4_out = !H1_dffs[3] & H1_dffs[0] & !H1_dffs[1] & Timepiece_EN & !H1_dffs[2] & !H2_dffs[0];
H1_dffs[1]_or_out = H1L4 # H1_dffs[1]_p0_out # H1_dffs[1]_p1_out # H1_dffs[1]_p2_out # H1_dffs[1]_p4_out;
H1_dffs[1]_reg_input = H1_dffs[1]_or_out;
H1_dffs[1] = DFFE(H1_dffs[1]_reg_input, F1_EO, , , );


--C1L2 is time_mux:b2v_inst2|hour_0[1]~33
C1L2_p1_out = TimeSet_EN & H7_dffs[1];
C1L2_p2_out = !TimeSet_EN & H1_dffs[1];
C1L2_or_out = C1L2_p1_out # C1L2_p2_out;
C1L2 = C1L2_or_out;


--H1_dffs[2] is timepiece_main:b2v_inst1|hour_counter:b2v_inst|lpm_counter:hour_data0_rtl_0|dffs[2]
H1_dffs[2]_p0_out = H1_dffs[2] & !Timepiece_EN;
H1_dffs[2]_p1_out = !H2_dffs[1] & !H1_dffs[3] & !H1_dffs[0] & H1_dffs[2];
H1_dffs[2]_p2_out = !H2_dffs[1] & !H1_dffs[3] & H1_dffs[0] & !H1_dffs[2] & H1_dffs[1] & Timepiece_EN;
H1_dffs[2]_p4_out = !H1_dffs[3] & H1_dffs[0] & !H1_dffs[2] & H1_dffs[1] & Timepiece_EN & !H2_dffs[0];
H1_dffs[2]_or_out = H1L6 # H1_dffs[2]_p0_out # H1_dffs[2]_p1_out # H1_dffs[2]_p2_out # H1_dffs[2]_p4_out;
H1_dffs[2]_reg_input = H1_dffs[2]_or_out;
H1_dffs[2] = DFFE(H1_dffs[2]_reg_input, F1_EO, , , );


--C1L3 is time_mux:b2v_inst2|hour_0[2]~36
C1L3_p1_out = TimeSet_EN & H7_dffs[2];
C1L3_p2_out = !TimeSet_EN & H1_dffs[2];
C1L3_or_out = C1L3_p1_out # C1L3_p2_out;
C1L3 = C1L3_or_out;


--H1_dffs[3] is timepiece_main:b2v_inst1|hour_counter:b2v_inst|lpm_counter:hour_data0_rtl_0|dffs[3]
H1_dffs[3]_p1_out = !H2_dffs[1] & !H1_dffs[2] & !H1_dffs[1] & !H1_dffs[0] & H1_dffs[3];
H1_dffs[3]_p2_out = !H2_dffs[1] & H1_dffs[2] & H1_dffs[1] & H1_dffs[0] & !H1_dffs[3] & Timepiece_EN;
H1_dffs[3]_p4_out = H1_dffs[3] & !Timepiece_EN;
H1_dffs[3]_or_out = H1_dffs[3]_p1_out # H1_dffs[3]_p2_out # H1_dffs[3]_p4_out;
H1_dffs[3]_reg_input = H1_dffs[3]_or_out;
H1_dffs[3] = DFFE(H1_dffs[3]_reg_input, F1_EO, , , );


--C1L4 is time_mux:b2v_inst2|hour_0[3]~39
C1L4_p1_out = H7_dffs[3] & TimeSet_EN;
C1L4_p2_out = !TimeSet_EN & H1_dffs[3];
C1L4_or_out = C1L4_p1_out # C1L4_p2_out;
C1L4 = C1L4_or_out;


--H2_dffs[0] is timepiece_main:b2v_inst1|hour_counter:b2v_inst|lpm_counter:hour_data1_rtl_2|dffs[0]
H2_dffs[0]_p0_out = H2_dffs[0] & !H2_dffs[1] & !H1_dffs[3];
H2_dffs[0]_p1_out = Timepiece_EN & H1_dffs[0] & !H2_dffs[0] & !H2_dffs[1] & H1_dffs[3];
H2_dffs[0]_p2_out = !Timepiece_EN & H2_dffs[0];
H2_dffs[0]_p4_out = !H1_dffs[0] & H2_dffs[0] & !H2_dffs[1] & !H1_dffs[1] & !H1_dffs[2];
H2_dffs[0]_or_out = H2L3 # H2_dffs[0]_p0_out # H2_dffs[0]_p1_out # H2_dffs[0]_p2_out # H2_dffs[0]_p4_out;
H2_dffs[0]_reg_input = H2_dffs[0]_or_out;
H2_dffs[0] = DFFE(H2_dffs[0]_reg_input, F1_EO, , , );


--C1L5 is time_mux:b2v_inst2|hour_1[0]~24
C1L5_p1_out = TimeSet_EN & H8_dffs[0];
C1L5_p2_out = !TimeSet_EN & H2_dffs[0];
C1L5_or_out = C1L5_p1_out # C1L5_p2_out;
C1L5 = C1L5_or_out;


--H2_dffs[1] is timepiece_main:b2v_inst1|hour_counter:b2v_inst|lpm_counter:hour_data1_rtl_2|dffs[1]
H2_dffs[1]_p0_out = H2_dffs[1] & !H1_dffs[3] & !H2_dffs[0] & !H1_dffs[2];
H2_dffs[1]_p1_out = H1_dffs[1] & Timepiece_EN & !H2_dffs[1] & H1_dffs[3] & H2_dffs[0];
H2_dffs[1]_p2_out = Timepiece_EN & !H2_dffs[1] & H1_dffs[3] & H2_dffs[0] & H1_dffs[0];
H2_dffs[1]_p4_out = !Timepiece_EN & H2_dffs[1];
H2_dffs[1]_or_out = H2L5 # H2_dffs[1]_p0_out # H2_dffs[1]_p1_out # H2_dffs[1]_p2_out # H2_dffs[1]_p4_out;
H2_dffs[1]_reg_input = H2_dffs[1]_or_out;
H2_dffs[1] = DFFE(H2_dffs[1]_reg_input, F1_EO, , , );


--C1L6 is time_mux:b2v_inst2|hour_1[1]~27
C1L6_p1_out = TimeSet_EN & H8_dffs[1];
C1L6_p2_out = !TimeSet_EN & H2_dffs[1];
C1L6_or_out = C1L6_p1_out # C1L6_p2_out;
C1L6 = C1L6_or_out;


--E1_EO is timepiece_main:b2v_inst1|hour_counter:b2v_inst|EO
E1_EO_p0_out = !H1_dffs[2] & E1_EO & !H1_dffs[1] & !H1_dffs[0];
E1_EO_p1_out = Timepiece_EN & H2_dffs[1] & H1_dffs[2];
E1_EO_p2_out = Timepiece_EN & H2_dffs[1] & H2_dffs[0];
E1_EO_p4_out = !Timepiece_EN & E1_EO;
E1_EO_or_out = E1L2 # E1_EO_p0_out # E1_EO_p1_out # E1_EO_p2_out # E1_EO_p4_out;
E1_EO_reg_input = E1_EO_or_out;
E1_EO = DFFE(E1_EO_reg_input, F1_EO, , , );


--H6L4 is timepiece_main:b2v_inst1|second_counter:b2v_inst2|lpm_counter:second_data1_rtl_10|dffs[1]~145
H6L4_p1_out = H6_dffs[1] & !H5_dffs[2] & !H5_dffs[1] & !H5_dffs[0];
H6L4_p2_out = H6_dffs[1] & !H5_dffs[3];
H6L4 = H6L4_p1_out # H6L4_p2_out;


--H6L6 is timepiece_main:b2v_inst1|second_counter:b2v_inst2|lpm_counter:second_data1_rtl_10|dffs[2]~148
H6L6_p1_out = H6_dffs[2] & !H5_dffs[2] & !H5_dffs[1] & !H5_dffs[0];