date_main.fit.eqn

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

C1_month0[3]_reg_input = C1_month0[3]_or_out;
C1_month0[3] = DFFE(C1_month0[3]_reg_input, GLOBAL(date_disp_clk), , , );


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


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


--B1_day0[0] is autodate:inst|day0[0] at LC56
B1_day0[0]_p0_out = !B1_day0[0] & B1_day0[3] & B1_day0[1];
B1_day0[0]_p1_out = E1_dffs[1] & E1_dffs[0] & !B1_month1[0] & E2_dffs[0] & E2_dffs[3] & !E2_dffs[2] & !E2_dffs[1] & !B1_day0[0];
B1_day0[0]_p2_out = E1_dffs[1] & E1_dffs[0] & B1_month1[0] & E2_dffs[0] & !E2_dffs[3] & !E2_dffs[2] & !E2_dffs[1] & !B1_day0[0];
B1_day0[0]_p4_out = !B1_day0[0] & B1_day0[2] & B1_day0[3];
B1_day0[0]_or_out = A1L73 # B1_day0[0]_p0_out # B1_day0[0]_p1_out # B1_day0[0]_p2_out # B1_day0[0]_p4_out;
B1_day0[0]_reg_input = !B1_day0[0]_or_out;
B1_day0[0]_p3_out = E2L3 & A1L23 & A1L33 & !Date_Set_EN & A1L43 & A1L53;
B1_day0[0] = TFFE(B1_day0[0]_reg_input, GLOBAL(day_EN), , , B1_day0[0]_p3_out);


--A1L23 is rtl~1353 at SEXP58
A1L23 = EXP(E2_dffs[3] & E2_dffs[2]);


--A1L33 is rtl~1354 at SEXP57
A1L33 = EXP(E2_dffs[3] & E2_dffs[1]);


--A1L43 is rtl~1355 at SEXP54
A1L43 = EXP(E2_dffs[0] & B1_month1[0] & E2_dffs[1]);


--A1L53 is rtl~1356 at SEXP51
A1L53 = EXP(B1_month1[0] & E2_dffs[2]);


--C1_day0[0] is datecontrol:inst1|day0[0] at LC62
C1_day0[0]_p0_out = !Date_EN & !Date_Set_EN & C1_day0[0];
C1_day0[0]_p1_out = B1_day0[0] & B1_EO1 & Date_EN;
C1_day0[0]_p2_out = !B1_EO1 & E3_dffs[0] & Date_Set_EN;
C1_day0[0]_p3_out = !B1_EO1 & !Date_Set_EN & C1_day0[0];
C1_day0[0]_p4_out = !Date_EN & E3_dffs[0] & Date_Set_EN;
C1_day0[0]_or_out = C1_day0[0]_p0_out # C1_day0[0]_p1_out # C1_day0[0]_p2_out # C1_day0[0]_p3_out # C1_day0[0]_p4_out;
C1_day0[0]_reg_input = C1_day0[0]_or_out;
C1_day0[0] = DFFE(C1_day0[0]_reg_input, GLOBAL(date_disp_clk), , , );


--B1_day0[1] is autodate:inst|day0[1] at LC2
B1_day0[1]_p0_out = !B1_day0[3] & !B1_day0[1] & B1_day0[0] & !E1_dffs[0];
B1_day0[1]_p1_out = !E1_dffs[1] & !B1_day0[3] & B1_day0[1] & !B1_day0[0];
B1_day0[1]_p2_out = !E1_dffs[1] & !B1_day0[3] & !B1_day0[1] & B1_day0[0];
B1_day0[1]_p4_out = !B1_day0[3] & B1_day0[1] & !B1_day0[0] & !E1_dffs[0];
B1_day0[1]_or_out = B1_day0[1]_p0_out # B1_day0[1]_p1_out # B1_day0[1]_p2_out # B1_day0[1]_p4_out;
B1_day0[1]_reg_input = B1_day0[1]_or_out;
B1_day0[1]_p3_out = E2L7 & A1L04 & A1L14 & !Date_Set_EN & A1L24 & A1L34;
B1_day0[1] = DFFE(B1_day0[1]_reg_input, GLOBAL(day_EN), , , B1_day0[1]_p3_out);


--C1_day0[1] is datecontrol:inst1|day0[1] at LC21
C1_day0[1]_p0_out = !Date_EN & !Date_Set_EN & C1_day0[1];
C1_day0[1]_p1_out = B1_day0[1] & B1_EO1 & Date_EN;
C1_day0[1]_p2_out = !B1_EO1 & E3_dffs[1] & Date_Set_EN;
C1_day0[1]_p3_out = !B1_EO1 & !Date_Set_EN & C1_day0[1];
C1_day0[1]_p4_out = !Date_EN & E3_dffs[1] & Date_Set_EN;
C1_day0[1]_or_out = C1_day0[1]_p0_out # C1_day0[1]_p1_out # C1_day0[1]_p2_out # C1_day0[1]_p3_out # C1_day0[1]_p4_out;
C1_day0[1]_reg_input = C1_day0[1]_or_out;
C1_day0[1] = DFFE(C1_day0[1]_reg_input, GLOBAL(date_disp_clk), , , );


--B1_day0[2] is autodate:inst|day0[2] at LC61
B1_day0[2]_p1_out = !B1_day0[1] & !B1_day0[2];
B1_day0[2]_p2_out = !B1_day0[2] & !B1_day0[0];
B1_day0[2]_p4_out = B1_day0[1] & B1_day0[2] & B1_day0[0];
B1_day0[2]_or_out = A1L83 # B1_day0[3] # B1_day0[2]_p1_out # B1_day0[2]_p2_out # B1_day0[2]_p4_out;
B1_day0[2]_reg_input = !(B1_day0[2]_or_out);
B1_day0[2]_p3_out = E2L3 & A1L23 & A1L33 & !Date_Set_EN & A1L43 & A1L53;
B1_day0[2] = DFFE(B1_day0[2]_reg_input, GLOBAL(day_EN), , , B1_day0[2]_p3_out);


--C1_day0[2] is datecontrol:inst1|day0[2] at LC20
C1_day0[2]_p0_out = !Date_EN & !Date_Set_EN & C1_day0[2];
C1_day0[2]_p1_out = B1_day0[2] & B1_EO1 & Date_EN;
C1_day0[2]_p2_out = !B1_EO1 & E3_dffs[2] & Date_Set_EN;
C1_day0[2]_p3_out = !B1_EO1 & !Date_Set_EN & C1_day0[2];
C1_day0[2]_p4_out = !Date_EN & E3_dffs[2] & Date_Set_EN;
C1_day0[2]_or_out = C1_day0[2]_p0_out # C1_day0[2]_p1_out # C1_day0[2]_p2_out # C1_day0[2]_p3_out # C1_day0[2]_p4_out;
C1_day0[2]_reg_input = C1_day0[2]_or_out;
C1_day0[2] = DFFE(C1_day0[2]_reg_input, GLOBAL(date_disp_clk), , , );


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


--C1_day1[0] is datecontrol:inst1|day1[0] at LC49
C1_day1[0]_p0_out = !Date_EN & !Date_Set_EN & C1_day1[0];
C1_day1[0]_p1_out = E1_dffs[0] & B1_EO1 & Date_EN;
C1_day1[0]_p2_out = !B1_EO1 & E4_dffs[0] & Date_Set_EN;
C1_day1[0]_p3_out = !B1_EO1 & !Date_Set_EN & C1_day1[0];
C1_day1[0]_p4_out = !Date_EN & E4_dffs[0] & Date_Set_EN;
C1_day1[0]_or_out = C1_day1[0]_p0_out # C1_day1[0]_p1_out # C1_day1[0]_p2_out # C1_day1[0]_p3_out # C1_day1[0]_p4_out;
C1_day1[0]_reg_input = C1_day1[0]_or_out;
C1_day1[0] = DFFE(C1_day1[0]_reg_input, GLOBAL(date_disp_clk), , , );


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


--C1_day1[1] is datecontrol:inst1|day1[1] at LC53
C1_day1[1]_p0_out = !Date_EN & !Date_Set_EN & C1_day1[1];
C1_day1[1]_p1_out = E1_dffs[1] & B1_EO1 & Date_EN;
C1_day1[1]_p2_out = !B1_EO1 & E4_dffs[1] & Date_Set_EN;
C1_day1[1]_p3_out = !B1_EO1 & !Date_Set_EN & C1_day1[1];
C1_day1[1]_p4_out = !Date_EN & E4_dffs[1] & Date_Set_EN;
C1_day1[1]_or_out = C1_day1[1]_p0_out # C1_day1[1]_p1_out # C1_day1[1]_p2_out # C1_day1[1]_p3_out # C1_day1[1]_p4_out;
C1_day1[1]_reg_input = C1_day1[1]_or_out;
C1_day1[1] = DFFE(C1_day1[1]_reg_input, GLOBAL(date_disp_clk), , , );


--B1_day0[3] is autodate:inst|day0[3] at LC59
B1_day0[3]_p0_out = !B1_day0[2] & !B1_day0[1] & !B1_day0[0] & B1_day0[3] & !E1_dffs[0] & !B1_month1[0] & !E2_dffs[3] & E2_dffs[2];
B1_day0[3]_p1_out = !B1_day0[2] & !B1_day0[1] & !B1_day0[0] & B1_day0[3] & !E1_dffs[0] & !B1_month1[0] & E2_dffs[0] & !E2_dffs[3];
B1_day0[3]_p2_out = !B1_day0[2] & !B1_day0[1] & !B1_day0[0] & B1_day0[3] & !E1_dffs[0] & B1_month1[0] & !E2_dffs[0] & !E2_dffs[3] & !E2_dffs[2];
B1_day0[3]_p4_out = !B1_day0[2] & !B1_day0[1] & !B1_day0[0] & B1_day0[3] & !E1_dffs[0] & !B1_month1[0] & !E2_dffs[2] & !E2_dffs[1];
B1_day0[3]_or_out = A1L93 # B1_day0[3]_p0_out # B1_day0[3]_p1_out # B1_day0[3]_p2_out # B1_day0[3]_p4_out;
B1_day0[3]_reg_input = B1_day0[3]_or_out;
B1_day0[3]_p3_out = E2L3 & A1L23 & A1L33 & !Date_Set_EN & A1L43 & A1L53;
B1_day0[3] = DFFE(B1_day0[3]_reg_input, GLOBAL(day_EN), , , B1_day0[3]_p3_out);


--C1_day0[3] is datecontrol:inst1|day0[3] at LC25
C1_day0[3]_p0_out = !Date_EN & !Date_Set_EN & C1_day0[3];
C1_day0[3]_p1_out = B1_day0[3] & B1_EO1 & Date_EN;
C1_day0[3]_p2_out = !B1_EO1 & E3_dffs[3] & Date_Set_EN;
C1_day0[3]_p3_out = !B1_EO1 & !Date_Set_EN & C1_day0[3];
C1_day0[3]_p4_out = !Date_EN & E3_dffs[3] & Date_Set_EN;
C1_day0[3]_or_out = C1_day0[3]_p0_out # C1_day0[3]_p1_out # C1_day0[3]_p2_out # C1_day0[3]_p3_out # C1_day0[3]_p4_out;
C1_day0[3]_reg_input = C1_day0[3]_or_out;
C1_day0[3] = DFFE(C1_day0[3]_reg_input, GLOBAL(date_disp_clk), , , );


--E2L4 is autodate:inst|lpm_counter:month0_rtl_3|dffs[0]~496 at LC44
E2L4_p0_out = !Date_Set_EN & E1_dffs[1] & E2_dffs[1] & B1_day0[3] & !E2_dffs[3] & !E2_dffs[2] & !B1_month1[0] & !E1_dffs[0];
E2L4_p1_out = !Date_Set_EN & E1_dffs[1] & !E2_dffs[1] & !E2_dffs[3] & !E2_dffs[2] & E1_dffs[0] & !E2_dffs[0] & B1_day0[2];
E2L4_p2_out = !Date_Set_EN & E1_dffs[1] & !E2_dffs[1] & B1_day0[3] & !E2_dffs[3] & !E2_dffs[2] & E1_dffs[0] & !E2_dffs[0];
E2L4_p3_out = !Date_Set_EN & E1_dffs[1] & !E2_dffs[3] & E2_dffs[2] & !B1_month1[0] & E1_dffs[0] & !E2_dffs[0];
E2L4_p4_out = Date_Set_EN & E2_dffs[0];
E2L4 = E2L5 # E2L4_p0_out # E2L4_p1_out # E2L4_p2_out # E2L4_p3_out # E2L4_p4_out;


--E2L9 is autodate:inst|lpm_counter:month0_rtl_3|dffs[1]~499 at LC8
E2L9_p1_out = E2_dffs[0] & !E2_dffs[2] & B1_month1[0] & E1_dffs[0] & !Date_Set_EN & E1_dffs[1] & !E2_dffs[3] & !E2_dffs[1];
E2L9_p2_out = E2_dffs[0] & !B1_month1[0] & E1_dffs[0] & !Date_Set_EN & E1_dffs[1] & !E2_dffs[3] & B1_day0[3];
E2L9_p3_out = E2_dffs[0] & !B1_month1[0] & E1_dffs[0] & !Date_Set_EN & E1_dffs[1] & !E2_dffs[3] & B1_day0[2];
E2L9_p4_out = E2_dffs[0] & !B1_month1[0] & E1_dffs[0] & !Date_Set_EN & E1_dffs[1] & !E2_dffs[3] & B1_day0[1];
E2L9 = E2L9_p1_out # E2L9_p2_out # E2L9_p3_out # E2L9_p4_out;


--A1L63 is rtl~1391 at LC54
A1L63_p1_out = E1_dffs[1] & !B1_month1[0] & !E2_dffs[0] & !E2_dffs[3] & !E2_dffs[2] & E2_dffs[1] & B1_day0[3] & !B1_day0[0];
A1L63 = A1L63_p1_out;


--A1L73 is rtl~1393 at LC55
A1L73_p0_out = E1_dffs[1] & E1_dffs[0] & !B1_day0[0] & !B1_month1[0] & !E2_dffs[0] & !E2_dffs[3] & E2_dffs[2];
A1L73_p1_out = E1_dffs[1] & E1_dffs[0] & B1_day0[3] & !B1_day0[0];
A1L73_p2_out = E1_dffs[1] & E1_dffs[0] & !B1_day0[0] & B1_day0[2];
A1L73_p3_out = E1_dffs[1] & E1_dffs[0] & !B1_day0[0] & B1_day0[1];
A1L73_p4_out = E1_dffs[1] & E1_dffs[0] & !B1_day0[0] & !B1_month1[0] & !E2_dffs[0] & !E2_dffs[3] & E2_dffs[1];
A1L73 = A1L63 # A1L73_p0_out # A1L73_p1_out # A1L73_p2_out # A1L73_p3_out # A1L73_p4_out;


--A1L83 is rtl~1399 at LC60
A1L83_p1_out = E1_dffs[1] & E1_dffs[0];
A1L83 = A1L83_p1_out;


--E1L3 is autodate:inst|lpm_counter:day1_rtl_1|dffs[0]~193 at LC10
E1L3_p1_out = !E1_dffs[1] & !B1_day0[2] & !B1_day0[1] & !B1_day0[0];
E1L3_p2_out = !E1_dffs[1] & !B1_day0[3];
E1L3_p3_out = !B1_day0[2] & !B1_day0[1] & !B1_day0[0] & !B1_day0[3] & !E2_dffs[0] & !E2_dffs[1] & !E2_dffs[2];
E1L3_p4_out = !B1_day0[2] & !B1_day0[1] & !B1_day0[0] & !B1_day0[3] & !E2_dffs[0] & B1_month1[0];
E1L3 = E1L3_p1_out # E1L3_p2_out # E1L3_p3_out # E1L3_p4_out;


--E1L4 is autodate:inst|lpm_counter:day1_rtl_1|dffs[0]~198 at LC11
E1L4_p0_out = !B1_day0[3] & !E1_dffs[0];
E1L4_p1_out = E2_dffs[0] & !B1_day0[3] & !B1_day0[2] & !B1_day0[1] & !B1_day0[0] & !E2_dffs[3] & !B1_month1[0];
E1L4_p3_out = !E2_dffs[0] & !B1_month1[0] & E1_dffs[1] & E2_dffs[1] & !E1_dffs[0] & !E2_dffs[2];
E1L4_p4_out = E2_dffs[0] & B1_month1[0] & E2_dffs[1];
E1L4 = E1L3 # E1L4_p0_out # E1L4_p1_out # Date_Set_EN # E1L4_p3_out # E1L4_p4_out;


--E1L6 is autodate:inst|lpm_counter:day1_rtl_1|dffs[1]~204 at LC3
E1L6_p1_out = !E1_dffs[0] & !E2_dffs[1];
E1L6_p2_out = !E1_dffs[0] & E2_dffs[0];
E1L6 = E1L6_p1_out # E1L6_p2_out;


--E1L7 is autodate:inst|lpm_counter:day1_rtl_1|dffs[1]~207 at LC4
E1L7_p0_out = !B1_month1[0] & !B1_day0[3] & E2_dffs[0] & !B1_day0[2] & !B1_day0[0] & !B1_day0[1] & !E2_dffs[3];
E1L7_p1_out = !E1_dffs[0] & B1_month1[0];
E1L7_p2_out = !E1_dffs[0] & !B1_day0[3];
E1L7_p3_out = !B1_day0[3] & !E2_dffs[2] & !E2_dffs[1] & !E2_dffs[0] & !B1_day0[2] & !B1_day0[0] & !B1_day0[1];
E1L7_p4_out = B1_month1[0] & !B1_day0[3] & !E2_dffs[0] & !B1_day0[2] & !B1_day0[0] & !B1_day0[1];
E1L7 = E1L6 # E1L7_p0_out # E1L7_p1_out # E1L7_p2_out # E1L7_p3_out # E1L7_p4_out;


--E1L8 is autodate:inst|lpm_counter:day1_rtl_1|dffs[1]~213 at LC5
E1L8_p0_out = E2_dffs[3] & E2_dffs[1];
E1L8_p1_out = !E1_dffs[0] & E2_dffs[2];
E1L8_p3_out = !E1_dffs[0] & !E1_dffs[1];
E1L8_p4_out = !E1_dffs[1] & !B1_day0[3];
E1L8 = E1L7 # E1L8_p0_out # E1L8_p1_out # Date_Set_EN # E1L8_p3_out # E1L8_p4_out;


--A1L93 is rtl~1401 at LC58
A1L93_p1_out = !E1_dffs[1] & B1_day0[2] & B1_day0[1] & B1_day0[0] & !B1_day0[3];
A1L93_p2_out = !E1_dffs[1] & !B1_day0[2] & !B1_day0[1] & !B1_day0[0] & B1_day0[3];
A1L93_p3_out = B1_day0[2] & B1_day0[1] & B1_day0[0] & !B1_day0[3] & !E1_dffs[0];
A1L93_p4_out = !B1_day0[2] & !B1_day0[1] & !B1_day0[0] & B1_day0[3] & !E1_dffs[0] & !E2_dffs[3] & !E2_dffs[2] & !E2_dffs[1];