date_main.map.eqn

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

--B1_EO1 is autodate:inst|EO1
B1_EO1_or_out = !Date_Set_EN;
B1_EO1_reg_input = B1_EO1_or_out;
B1_EO1 = DFFE(B1_EO1_reg_input, GLOBAL(day_EN), , , );


--D1_disp_drive[0] is setdate:inst2|disp_drive[0]
D1_disp_drive[0]_or_out = Date_Set_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, , , );


--D1_disp_drive[1] is setdate:inst2|disp_drive[1]
D1_disp_drive[1]_p1_out = D1_disp_drive[0] & Date_Set_EN;
D1_disp_drive[1]_or_out = D1_disp_drive[1]_p1_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, , , );


--E2_dffs[2] is autodate:inst|lpm_counter:month0_rtl_3|dffs[2]
E2_dffs[2]_p1_out = B1_day0[3] & E2_dffs[0] & E2_dffs[1] & !Date_Set_EN & E1_dffs[1] & E1_dffs[0] & !E2_dffs[3] & !B1_month1[0];
E2_dffs[2]_p2_out = E2_dffs[0] & E2_dffs[1] & !Date_Set_EN & E1_dffs[1] & E1_dffs[0] & !E2_dffs[3] & !B1_month1[0] & B1_day0[2];
E2_dffs[2]_p3_out = E2_dffs[0] & E2_dffs[1] & !Date_Set_EN & E1_dffs[1] & E1_dffs[0] & !E2_dffs[3] & !B1_month1[0] & B1_day0[1];
E2_dffs[2]_p4_out = E2_dffs[0] & E2_dffs[1] & !Date_Set_EN & E1_dffs[1] & E1_dffs[0] & !E2_dffs[3] & !B1_month1[0] & B1_day0[0];
E2_dffs[2]_or_out = E2_dffs[2]_p1_out # E2_dffs[2]_p2_out # E2_dffs[2]_p3_out # E2_dffs[2]_p4_out;
E2_dffs[2]_reg_input = E2_dffs[2]_or_out;
E2_dffs[2] = TFFE(E2_dffs[2]_reg_input, GLOBAL(day_EN), , , );


--E4_dffs[0] is setdate:inst2|lpm_counter:day_set1_rtl_2|dffs[0]
E4_dffs[0]_p1_out = D1_disp_drive[1] & !D1_disp_drive[0];
E4_dffs[0]_or_out = E4_dffs[0]_p1_out;
E4_dffs[0]_reg_input = E4_dffs[0]_or_out;
E4_dffs[0] = TFFE(E4_dffs[0]_reg_input, SW2, , , );


--E3_dffs[0] is setdate:inst2|lpm_counter:day_set0_rtl_0|dffs[0]
E3_dffs[0]_p1_out = !E3_dffs[3] & !E3_dffs[0] & D1_disp_drive[1] & D1_disp_drive[0];
E3_dffs[0]_p2_out = !E3_dffs[0] & !E3_dffs[2] & !E3_dffs[1] & D1_disp_drive[1] & D1_disp_drive[0];
E3_dffs[0]_p4_out = E3_dffs[0] & C1L2;
E3_dffs[0]_or_out = E3_dffs[0]_p1_out # E3_dffs[0]_p2_out # E3_dffs[0]_p4_out;
E3_dffs[0]_reg_input = E3_dffs[0]_or_out;
E3_dffs[0] = DFFE(E3_dffs[0]_reg_input, SW2, , , );


--E5_dffs[0] is setdate:inst2|lpm_counter:month_set0_rtl_4|dffs[0]
E5_dffs[0]_p1_out = !E5_dffs[3] & !E5_dffs[0] & !D1_disp_drive[1] & D1_disp_drive[0];
E5_dffs[0]_p2_out = !E5_dffs[0] & !E5_dffs[2] & !E5_dffs[1] & !D1_disp_drive[1] & D1_disp_drive[0];
E5_dffs[0]_p4_out = E5_dffs[0] & C1L1;
E5_dffs[0]_or_out = E5_dffs[0]_p1_out # E5_dffs[0]_p2_out # E5_dffs[0]_p4_out;
E5_dffs[0]_reg_input = E5_dffs[0]_or_out;
E5_dffs[0] = DFFE(E5_dffs[0]_reg_input, SW2, , , );


--E6_dffs[0] is setdate:inst2|lpm_counter:month_set1_rtl_5|dffs[0]
E6_dffs[0]_p1_out = !E6_dffs[1] & !D1_disp_drive[1] & !D1_disp_drive[0];
E6_dffs[0]_p2_out = !D1_disp_drive[1] & !D1_disp_drive[0] & E6_dffs[0];
E6_dffs[0]_or_out = E6_dffs[0]_p1_out # E6_dffs[0]_p2_out;
E6_dffs[0]_reg_input = E6_dffs[0]_or_out;
E6_dffs[0] = TFFE(E6_dffs[0]_reg_input, SW2, , , );


--C1_disp_select[5] is datecontrol:inst1|disp_select[5]
C1_disp_select[5]_p1_out = !B1_EO1 & !D1_disp_drive[1] & !D1_disp_drive[0] & Date_Set_EN;
C1_disp_select[5]_p2_out = !B1_EO1 & !Date_Set_EN & C1_disp_select[5];
C1_disp_select[5]_p3_out = !D1_disp_drive[1] & !D1_disp_drive[0] & Date_Set_EN & !Date_EN;
C1_disp_select[5]_p4_out = !Date_Set_EN & C1_disp_select[5] & !Date_EN;
C1_disp_select[5]_or_out = C1_disp_select[5]_p1_out # C1_disp_select[5]_p2_out # C1_disp_select[5]_p3_out # C1_disp_select[5]_p4_out;
C1_disp_select[5]_reg_input = C1_disp_select[5]_or_out;
C1_disp_select[5] = DFFE(C1_disp_select[5]_reg_input, GLOBAL(date_disp_clk), , , );


--C1_disp_select[4] is datecontrol:inst1|disp_select[4]
C1_disp_select[4]_p1_out = !B1_EO1 & Date_Set_EN & !D1_disp_drive[1] & D1_disp_drive[0];
C1_disp_select[4]_p2_out = !B1_EO1 & !Date_Set_EN & C1_disp_select[4];
C1_disp_select[4]_p3_out = Date_Set_EN & !Date_EN & !D1_disp_drive[1] & D1_disp_drive[0];
C1_disp_select[4]_p4_out = !Date_Set_EN & C1_disp_select[4] & !Date_EN;
C1_disp_select[4]_or_out = C1_disp_select[4]_p1_out # C1_disp_select[4]_p2_out # C1_disp_select[4]_p3_out # C1_disp_select[4]_p4_out;
C1_disp_select[4]_reg_input = C1_disp_select[4]_or_out;
C1_disp_select[4] = DFFE(C1_disp_select[4]_reg_input, GLOBAL(date_disp_clk), , , );


--C1_disp_select[3] is datecontrol:inst1|disp_select[3]
C1_disp_select[3]_p1_out = !B1_EO1 & D1_disp_drive[1] & !D1_disp_drive[0] & Date_Set_EN;
C1_disp_select[3]_p2_out = !B1_EO1 & !Date_Set_EN & C1_disp_select[3];
C1_disp_select[3]_p3_out = D1_disp_drive[1] & !D1_disp_drive[0] & Date_Set_EN & !Date_EN;
C1_disp_select[3]_p4_out = !Date_Set_EN & C1_disp_select[3] & !Date_EN;
C1_disp_select[3]_or_out = C1_disp_select[3]_p1_out # C1_disp_select[3]_p2_out # C1_disp_select[3]_p3_out # C1_disp_select[3]_p4_out;
C1_disp_select[3]_reg_input = C1_disp_select[3]_or_out;
C1_disp_select[3] = DFFE(C1_disp_select[3]_reg_input, GLOBAL(date_disp_clk), , , );


--C1_disp_select[2] is datecontrol:inst1|disp_select[2]
C1_disp_select[2]_p1_out = !Date_Set_EN & C1_disp_select[2];
C1_disp_select[2]_p2_out = Date_Set_EN & D1_disp_drive[1] & D1_disp_drive[0];
C1_disp_select[2]_p3_out = B1_EO1 & Date_EN;
C1_disp_select[2]_or_out = C1_disp_select[2]_p1_out # C1_disp_select[2]_p2_out # C1_disp_select[2]_p3_out;
C1_disp_select[2]_reg_input = C1_disp_select[2]_or_out;
C1_disp_select[2] = DFFE(C1_disp_select[2]_reg_input, GLOBAL(date_disp_clk), , , );


--E2_dffs[3] is autodate:inst|lpm_counter:month0_rtl_3|dffs[3]
E2_dffs[3]_p0_out = !Date_Set_EN & E1_dffs[1] & E1_dffs[0] & E2_dffs[0] & !E2_dffs[1] & !B1_month1[0] & !E2_dffs[2] & E2_dffs[3];
E2_dffs[3]_p1_out = B1_day0[3] & !Date_Set_EN & E1_dffs[1] & E1_dffs[0] & E2_dffs[0] & E2_dffs[1] & !B1_month1[0] & E2_dffs[2] & !E2_dffs[3];
E2_dffs[3]_p2_out = !Date_Set_EN & E1_dffs[1] & E1_dffs[0] & E2_dffs[0] & E2_dffs[1] & !B1_month1[0] & E2_dffs[2] & !E2_dffs[3] & B1_day0[2];
E2_dffs[3]_p3_out = !Date_Set_EN & E1_dffs[1] & E1_dffs[0] & E2_dffs[0] & E2_dffs[1] & !B1_month1[0] & E2_dffs[2] & !E2_dffs[3] & B1_day0[1];
E2_dffs[3]_p4_out = !Date_Set_EN & E1_dffs[1] & E1_dffs[0] & E2_dffs[0] & E2_dffs[1] & !B1_month1[0] & E2_dffs[2] & !E2_dffs[3] & B1_day0[0];
E2_dffs[3]_or_out = E2_dffs[3]_p0_out # E2_dffs[3]_p1_out # E2_dffs[3]_p2_out # E2_dffs[3]_p3_out # E2_dffs[3]_p4_out;
E2_dffs[3]_reg_input = E2_dffs[3]_or_out;
E2_dffs[3] = TFFE(E2_dffs[3]_reg_input, GLOBAL(day_EN), , , );


--E4_dffs[1] is setdate:inst2|lpm_counter:day_set1_rtl_2|dffs[1]
E4_dffs[1]_p1_out = E4_dffs[0] & D1_disp_drive[1] & !D1_disp_drive[0];
E4_dffs[1]_or_out = E4_dffs[1]_p1_out;
E4_dffs[1]_reg_input = E4_dffs[1]_or_out;
E4_dffs[1] = TFFE(E4_dffs[1]_reg_input, SW2, , , );


--E6_dffs[1] is setdate:inst2|lpm_counter:month_set1_rtl_5|dffs[1]
E6_dffs[1]_p1_out = E6_dffs[0] & !D1_disp_drive[1] & !D1_disp_drive[0];
E6_dffs[1]_p2_out = !D1_disp_drive[1] & !D1_disp_drive[0] & E6_dffs[1];
E6_dffs[1]_or_out = E6_dffs[1]_p1_out # E6_dffs[1]_p2_out;
E6_dffs[1]_reg_input = E6_dffs[1]_or_out;
E6_dffs[1] = TFFE(E6_dffs[1]_reg_input, SW2, , , );


--E3_dffs[1] is setdate:inst2|lpm_counter:day_set0_rtl_0|dffs[1]
E3_dffs[1]_p1_out = !E3_dffs[3] & E3_dffs[0] & D1_disp_drive[1] & D1_disp_drive[0];
E3_dffs[1]_p2_out = E3_dffs[3] & E3_dffs[1] & D1_disp_drive[1] & D1_disp_drive[0];
E3_dffs[1]_or_out = E3_dffs[1]_p1_out # E3_dffs[1]_p2_out;
E3_dffs[1]_reg_input = E3_dffs[1]_or_out;
E3_dffs[1] = TFFE(E3_dffs[1]_reg_input, SW2, , , );


--E5_dffs[1] is setdate:inst2|lpm_counter:month_set0_rtl_4|dffs[1]
E5_dffs[1]_p1_out = !E5_dffs[3] & E5_dffs[0] & !D1_disp_drive[1] & D1_disp_drive[0];
E5_dffs[1]_p2_out = E5_dffs[3] & E5_dffs[1] & !D1_disp_drive[1] & D1_disp_drive[0];
E5_dffs[1]_or_out = E5_dffs[1]_p1_out # E5_dffs[1]_p2_out;
E5_dffs[1]_reg_input = E5_dffs[1]_or_out;
E5_dffs[1] = TFFE(E5_dffs[1]_reg_input, SW2, , , );


--C1_month1[1] is datecontrol:inst1|month1[1]
C1_month1[1]_p1_out = !B1_EO1 & E6_dffs[1] & Date_Set_EN;
C1_month1[1]_p2_out = !B1_EO1 & !Date_Set_EN & C1_month1[1];
C1_month1[1]_p3_out = E6_dffs[1] & Date_Set_EN & !Date_EN;
C1_month1[1]_p4_out = !Date_Set_EN & C1_month1[1] & !Date_EN;
C1_month1[1]_or_out = C1_month1[1]_p1_out # C1_month1[1]_p2_out # C1_month1[1]_p3_out # C1_month1[1]_p4_out;
C1_month1[1]_reg_input = C1_month1[1]_or_out;
C1_month1[1] = DFFE(C1_month1[1]_reg_input, GLOBAL(date_disp_clk), , , );


--B1_month1[0] is autodate:inst|month1[0]
B1_month1[0]_p0_out = E2_dffs[1] & !Date_Set_EN & B1_month1[0] & E1_dffs[1] & E1_dffs[0] & !E2_dffs[3] & !E2_dffs[2] & !E2_dffs[0] & B1_day0[0];
B1_month1[0]_p1_out = !E2_dffs[1] & !Date_Set_EN & !B1_month1[0] & E1_dffs[1] & E1_dffs[0] & E2_dffs[3] & !E2_dffs[2] & E2_dffs[0];
B1_month1[0]_p2_out = E2_dffs[1] & !Date_Set_EN & B1_month1[0] & E1_dffs[1] & E1_dffs[0] & !E2_dffs[3] & !E2_dffs[2] & !E2_dffs[0] & B1_day0[3];
B1_month1[0]_p3_out = E2_dffs[1] & !Date_Set_EN & B1_month1[0] & E1_dffs[1] & E1_dffs[0] & !E2_dffs[3] & !E2_dffs[2] & !E2_dffs[0] & B1_day0[2];
B1_month1[0]_p4_out = E2_dffs[1] & !Date_Set_EN & B1_month1[0] & E1_dffs[1] & E1_dffs[0] & !E2_dffs[3] & !E2_dffs[2] & !E2_dffs[0] & B1_day0[1];
B1_month1[0]_or_out = B1_month1[0]_p0_out # B1_month1[0]_p1_out # B1_month1[0]_p2_out # B1_month1[0]_p3_out # B1_month1[0]_p4_out;
B1_month1[0]_reg_input = B1_month1[0]_or_out;
B1_month1[0] = TFFE(B1_month1[0]_reg_input, GLOBAL(day_EN), , , );


--C1_month1[0] is datecontrol:inst1|month1[0]
C1_month1[0]_p0_out = !Date_EN & !Date_Set_EN & C1_month1[0];
C1_month1[0]_p1_out = B1_month1[0] & B1_EO1 & Date_EN;
C1_month1[0]_p2_out = !B1_EO1 & E6_dffs[0] & Date_Set_EN;
C1_month1[0]_p3_out = !B1_EO1 & !Date_Set_EN & C1_month1[0];
C1_month1[0]_p4_out = !Date_EN & E6_dffs[0] & Date_Set_EN;
C1_month1[0]_or_out = C1_month1[0]_p0_out # C1_month1[0]_p1_out # C1_month1[0]_p2_out # C1_month1[0]_p3_out # C1_month1[0]_p4_out;
C1_month1[0]_reg_input = C1_month1[0]_or_out;
C1_month1[0] = DFFE(C1_month1[0]_reg_input, GLOBAL(date_disp_clk), , , );


--E3_dffs[2] is setdate:inst2|lpm_counter:day_set0_rtl_0|dffs[2]
E3_dffs[2]_p1_out = !E3_dffs[3] & E3_dffs[1] & E3_dffs[0] & D1_disp_drive[1] & D1_disp_drive[0];
E3_dffs[2]_p2_out = E3_dffs[3] & E3_dffs[2] & D1_disp_drive[1] & D1_disp_drive[0];
E3_dffs[2]_or_out = E3_dffs[2]_p1_out # E3_dffs[2]_p2_out;
E3_dffs[2]_reg_input = E3_dffs[2]_or_out;
E3_dffs[2] = TFFE(E3_dffs[2]_reg_input, SW2, , , );


--E5_dffs[2] is setdate:inst2|lpm_counter:month_set0_rtl_4|dffs[2]
E5_dffs[2]_p1_out = !E5_dffs[3] & E5_dffs[1] & E5_dffs[0] & !D1_disp_drive[1] & D1_disp_drive[0];
E5_dffs[2]_p2_out = E5_dffs[3] & E5_dffs[2] & !D1_disp_drive[1] & D1_disp_drive[0];
E5_dffs[2]_or_out = E5_dffs[2]_p1_out # E5_dffs[2]_p2_out;
E5_dffs[2]_reg_input = E5_dffs[2]_or_out;
E5_dffs[2] = TFFE(E5_dffs[2]_reg_input, SW2, , , );


--C1_month0[2] is datecontrol:inst1|month0[2]
C1_month0[2]_p0_out = !Date_EN & !Date_Set_EN & C1_month0[2];
C1_month0[2]_p1_out = E2_dffs[2] & B1_EO1 & Date_EN;
C1_month0[2]_p2_out = !B1_EO1 & E5_dffs[2] & Date_Set_EN;
C1_month0[2]_p3_out = !B1_EO1 & !Date_Set_EN & C1_month0[2];
C1_month0[2]_p4_out = !Date_EN & E5_dffs[2] & Date_Set_EN;
C1_month0[2]_or_out = C1_month0[2]_p0_out # C1_month0[2]_p1_out # C1_month0[2]_p2_out # C1_month0[2]_p3_out # C1_month0[2]_p4_out;
C1_month0[2]_reg_input = C1_month0[2]_or_out;
C1_month0[2] = DFFE(C1_month0[2]_reg_input, GLOBAL(date_disp_clk), , , );


--E3_dffs[3] is setdate:inst2|lpm_counter:day_set0_rtl_0|dffs[3]
E3_dffs[3]_p1_out = E3_dffs[2] & E3_dffs[1] & E3_dffs[0] & !E3_dffs[3] & D1_disp_drive[1] & D1_disp_drive[0];
E3_dffs[3]_p2_out = !E3_dffs[2] & !E3_dffs[1] & !E3_dffs[0] & E3_dffs[3];
E3_dffs[3]_p4_out = E3_dffs[3] & C1L2;
E3_dffs[3]_or_out = E3_dffs[3]_p1_out # E3_dffs[3]_p2_out # E3_dffs[3]_p4_out;
E3_dffs[3]_reg_input = E3_dffs[3]_or_out;
E3_dffs[3] = DFFE(E3_dffs[3]_reg_input, SW2, , , );


--E5_dffs[3] is setdate:inst2|lpm_counter:month_set0_rtl_4|dffs[3]
E5_dffs[3]_p1_out = E5_dffs[2] & E5_dffs[1] & E5_dffs[0] & !E5_dffs[3] & !D1_disp_drive[1] & D1_disp_drive[0];
E5_dffs[3]_p2_out = !E5_dffs[2] & !E5_dffs[1] & !E5_dffs[0] & E5_dffs[3];
E5_dffs[3]_p4_out = E5_dffs[3] & C1L1;
E5_dffs[3]_or_out = E5_dffs[3]_p1_out # E5_dffs[3]_p2_out # E5_dffs[3]_p4_out;
E5_dffs[3]_reg_input = E5_dffs[3]_or_out;
E5_dffs[3] = DFFE(E5_dffs[3]_reg_input, SW2, , , );


--E2L3 is autodate:inst|lpm_counter:month0_rtl_3|dffs[0]~482
E2L3 = EXP(B1_month1[0] & E2_dffs[3]);


--E2_dffs[0] is autodate:inst|lpm_counter:month0_rtl_3|dffs[0]
E2_dffs[0]_p0_out = E1_dffs[1] & !E2_dffs[0] & !E2_dffs[1] & !E2_dffs[3] & !Date_Set_EN & E1_dffs[0] & !E2_dffs[2] & B1_day0[1];
E2_dffs[0]_p1_out = E1_dffs[1] & !E2_dffs[0] & !E2_dffs[1] & !Date_Set_EN & !B1_month1[0] & E1_dffs[0] & !E2_dffs[2] & B1_day0[0];
E2_dffs[0]_p2_out = E1_dffs[1] & !E2_dffs[0] & !E2_dffs[1] & !Date_Set_EN & !B1_month1[0] & E1_dffs[0] & !E2_dffs[2] & B1_day0[1];
E2_dffs[0]_p3_out = E1_dffs[1] & !E2_dffs[0] & !E2_dffs[1] & !Date_Set_EN & !B1_month1[0] & E1_dffs[0] & !E2_dffs[2] & B1_day0[2];
E2_dffs[0]_p4_out = E1_dffs[1] & !E2_dffs[0] & !E2_dffs[1] & !E2_dffs[3] & !Date_Set_EN & E1_dffs[0] & !E2_dffs[2] & B1_day0[0];
E2_dffs[0]_or_out = E2L4 # E2_dffs[0]_p0_out # E2_dffs[0]_p1_out # E2_dffs[0]_p2_out # E2_dffs[0]_p3_out # E2_dffs[0]_p4_out;
E2_dffs[0]_reg_input = E2_dffs[0]_or_out;
E2_dffs[0] = DFFE(E2_dffs[0]_reg_input, GLOBAL(day_EN), , , );


--C1_month0[0] is datecontrol:inst1|month0[0]
C1_month0[0]_p0_out = !Date_EN & !Date_Set_EN & C1_month0[0];
C1_month0[0]_p1_out = E2_dffs[0] & B1_EO1 & Date_EN;
C1_month0[0]_p2_out = !B1_EO1 & E5_dffs[0] & Date_Set_EN;
C1_month0[0]_p3_out = !B1_EO1 & !Date_Set_EN & C1_month0[0];
C1_month0[0]_p4_out = !Date_EN & E5_dffs[0] & Date_Set_EN;
C1_month0[0]_or_out = C1_month0[0]_p0_out # C1_month0[0]_p1_out # C1_month0[0]_p2_out # C1_month0[0]_p3_out # C1_month0[0]_p4_out;
C1_month0[0]_reg_input = C1_month0[0]_or_out;
C1_month0[0] = DFFE(C1_month0[0]_reg_input, GLOBAL(date_disp_clk), , , );