time_auto_and_set.map.eqn

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

H6L6_p2_out = H6_dffs[2] & !H5_dffs[3];
H6L6 = H6L6_p1_out # H6L6_p2_out;


--G1L2 is timepiece_main:b2v_inst1|second_counter:b2v_inst2|LessThan~76
G1L2_p1_out = H6_dffs[1] & H6_dffs[2] & Timepiece_EN & H5_dffs[3] & H5_dffs[2];
G1L2_p2_out = H6_dffs[2] & Timepiece_EN & H5_dffs[3] & H5_dffs[2] & H6_dffs[0];
G1L2_p3_out = H6_dffs[1] & H6_dffs[2] & Timepiece_EN & H5_dffs[3] & H5_dffs[1];
G1L2_p4_out = H6_dffs[2] & Timepiece_EN & H5_dffs[3] & H6_dffs[0] & H5_dffs[1];
G1L2 = G1L2_p1_out # G1L2_p2_out # G1L2_p3_out # G1L2_p4_out;


--H4L4 is timepiece_main:b2v_inst1|minute_counter:b2v_inst1|lpm_counter:minute_data1_rtl_6|dffs[1]~146
H4L4_p1_out = !H4_dffs[2] & !H4_dffs[0] & H4_dffs[1];
H4L4_p2_out = !H4_dffs[2] & H4_dffs[0] & !H4_dffs[1] & H3_dffs[2] & Timepiece_EN & H3_dffs[3];
H4L4_p3_out = !H4_dffs[2] & H4_dffs[0] & !H4_dffs[1] & Timepiece_EN & H3_dffs[3] & H3_dffs[1];
H4L4 = H4L4_p1_out # H4L4_p2_out # H4L4_p3_out;


--H4L6 is timepiece_main:b2v_inst1|minute_counter:b2v_inst1|lpm_counter:minute_data1_rtl_6|dffs[2]~150
H4L6_p1_out = !H4_dffs[1] & !H4_dffs[0] & H4_dffs[2];
H4L6_p2_out = H4_dffs[1] & H4_dffs[0] & !H4_dffs[2] & Timepiece_EN & H3_dffs[3] & H3_dffs[2];
H4L6_p3_out = H4_dffs[1] & H4_dffs[0] & !H4_dffs[2] & Timepiece_EN & H3_dffs[3] & H3_dffs[1];
H4L6 = H4L6_p1_out # H4L6_p2_out # H4L6_p3_out;


--F1L2 is timepiece_main:b2v_inst1|minute_counter:b2v_inst1|EO~15
F1L2_p0_out = H4_dffs[2] & Timepiece_EN & H3_dffs[3] & H3_dffs[1] & H4_dffs[0];
F1L2_p1_out = H4_dffs[1] & H4_dffs[2] & Timepiece_EN & H3_dffs[3] & H3_dffs[2];
F1L2_p2_out = H4_dffs[1] & H4_dffs[2] & Timepiece_EN & H3_dffs[3] & H3_dffs[1];
F1L2_p3_out = H4_dffs[1] & H4_dffs[2] & Timepiece_EN & H3_dffs[3] & H3_dffs[0];
F1L2_p4_out = H4_dffs[2] & Timepiece_EN & H3_dffs[3] & H3_dffs[2] & H4_dffs[0];
F1L2 = F1L2_p0_out # F1L2_p1_out # F1L2_p2_out # F1L2_p3_out # F1L2_p4_out;


--H1L4 is timepiece_main:b2v_inst1|hour_counter:b2v_inst|lpm_counter:hour_data0_rtl_0|dffs[1]~195
H1L4_p1_out = !H2_dffs[1] & !H1_dffs[3] & !H1_dffs[0] & H1_dffs[1];
H1L4 = H1L4_p1_out;


--H1L6 is timepiece_main:b2v_inst1|hour_counter:b2v_inst|lpm_counter:hour_data0_rtl_0|dffs[2]~197
H1L6_p1_out = !H2_dffs[1] & !H1_dffs[3] & !H1_dffs[1] & H1_dffs[2];
H1L6 = H1L6_p1_out;


--H2L3 is timepiece_main:b2v_inst1|hour_counter:b2v_inst|lpm_counter:hour_data1_rtl_2|dffs[0]~81
H2L3_p1_out = Timepiece_EN & H1_dffs[2] & !H2_dffs[0] & !H2_dffs[1] & H1_dffs[3];
H2L3_p2_out = Timepiece_EN & !H2_dffs[0] & !H2_dffs[1] & H1_dffs[3] & H1_dffs[1];
H2L3 = H2L3_p1_out # H2L3_p2_out;


--H2L5 is timepiece_main:b2v_inst1|hour_counter:b2v_inst|lpm_counter:hour_data1_rtl_2|dffs[1]~84
H2L5_p1_out = Timepiece_EN & !H2_dffs[1] & H1_dffs[3] & H1_dffs[2] & H2_dffs[0];
H2L5 = H2L5_p1_out;


--E1L2 is timepiece_main:b2v_inst1|hour_counter:b2v_inst|EO~154
E1L2_p1_out = !H1_dffs[3] & E1_EO;
E1L2_p2_out = H1_dffs[3] & Timepiece_EN & H2_dffs[1];
E1L2 = E1L2_p1_out # E1L2_p2_out;


--~GND~0 is ~GND~0
~GND~0_or_out = GND;
~GND~0 = ~GND~0_or_out;


--~GND~1 is ~GND~1
~GND~1_or_out = GND;
~GND~1 = ~GND~1_or_out;


--~GND~2 is ~GND~2
~GND~2_or_out = GND;
~GND~2 = ~GND~2_or_out;


--~GND~3 is ~GND~3
~GND~3_or_out = GND;
~GND~3 = ~GND~3_or_out;


--CLK is CLK
--operation mode is input

CLK = INPUT();


--Timepiece_EN is Timepiece_EN
--operation mode is input

Timepiece_EN = INPUT();


--TimeSet_EN is TimeSet_EN
--operation mode is input

TimeSet_EN = INPUT();


--SW1 is SW1
--operation mode is input

SW1 = INPUT();


--SW2 is SW2
--operation mode is input

SW2 = INPUT();


--hour_1[3] is hour_1[3]
--operation mode is output

hour_1[3] = OUTPUT(~GND~0);


--hour_1[2] is hour_1[2]
--operation mode is output

hour_1[2] = OUTPUT(~GND~1);


--minute_1[3] is minute_1[3]
--operation mode is output

minute_1[3] = OUTPUT(~GND~2);


--second_1[3] is second_1[3]
--operation mode is output

second_1[3] = OUTPUT(~GND~3);


--TimeSet_disp_drive[0] is TimeSet_disp_drive[0]
--operation mode is output

TimeSet_disp_drive[0] = OUTPUT(D1_disp_drive[0]);


--TimeSet_disp_drive[2] is TimeSet_disp_drive[2]
--operation mode is output

TimeSet_disp_drive[2] = OUTPUT(D1_disp_drive[2]);


--TimeSet_disp_drive[1] is TimeSet_disp_drive[1]
--operation mode is output

TimeSet_disp_drive[1] = OUTPUT(D1_disp_drive[1]);


--second_0[0] is second_0[0]
--operation mode is output

second_0[0] = OUTPUT(C1L41);


--second_1[0] is second_1[0]
--operation mode is output

second_1[0] = OUTPUT(C1L81);


--second_0[1] is second_0[1]
--operation mode is output

second_0[1] = OUTPUT(C1L51);


--second_1[1] is second_1[1]
--operation mode is output

second_1[1] = OUTPUT(C1L91);


--second_0[2] is second_0[2]
--operation mode is output

second_0[2] = OUTPUT(C1L61);


--second_0[3] is second_0[3]
--operation mode is output

second_0[3] = OUTPUT(C1L71);


--second_1[2] is second_1[2]
--operation mode is output

second_1[2] = OUTPUT(C1L02);


--minute_0[0] is minute_0[0]
--operation mode is output

minute_0[0] = OUTPUT(C1L7);


--minute_0[1] is minute_0[1]
--operation mode is output

minute_0[1] = OUTPUT(C1L8);


--minute_0[2] is minute_0[2]
--operation mode is output

minute_0[2] = OUTPUT(C1L9);


--minute_0[3] is minute_0[3]
--operation mode is output

minute_0[3] = OUTPUT(C1L01);


--minute_1[0] is minute_1[0]
--operation mode is output

minute_1[0] = OUTPUT(C1L11);


--minute_1[1] is minute_1[1]
--operation mode is output

minute_1[1] = OUTPUT(C1L21);


--minute_1[2] is minute_1[2]
--operation mode is output

minute_1[2] = OUTPUT(C1L31);


--hour_0[0] is hour_0[0]
--operation mode is output

hour_0[0] = OUTPUT(C1L1);


--hour_0[1] is hour_0[1]
--operation mode is output

hour_0[1] = OUTPUT(C1L2);


--hour_0[2] is hour_0[2]
--operation mode is output

hour_0[2] = OUTPUT(C1L3);


--hour_0[3] is hour_0[3]
--operation mode is output

hour_0[3] = OUTPUT(C1L4);


--hour_1[0] is hour_1[0]
--operation mode is output

hour_1[0] = OUTPUT(C1L5);


--hour_1[1] is hour_1[1]
--operation mode is output

hour_1[1] = OUTPUT(C1L6);


--Day_EN is Day_EN
--operation mode is output

Day_EN = OUTPUT(E1_EO);