timeset.fit.eqn

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

--A1L01Q is disp_drive[0]~reg0 at LC1
A1L01Q_p1_out = A1L21Q & A1L41Q & !A1L01Q;
A1L01Q_or_out = A1L01Q_p1_out;
A1L01Q_reg_input = !A1L01Q_or_out;
A1L01Q = TFFE(A1L01Q_reg_input, GLOBAL(SW1), , , TimeSet_EN);


--A1L21Q is disp_drive[1]~reg0 at LC2
A1L21Q_p1_out = !A1L41Q & A1L21Q & !A1L01Q;
A1L21Q_p2_out = !A1L41Q & !A1L21Q & A1L01Q;
A1L21Q_or_out = A1L21Q_p1_out # A1L21Q_p2_out;
A1L21Q_reg_input = A1L21Q_or_out;
A1L21Q = DFFE(A1L21Q_reg_input, GLOBAL(SW1), , , TimeSet_EN);


--A1L41Q is disp_drive[2]~reg0 at LC3
A1L41Q_p1_out = !A1L21Q & !A1L41Q;
A1L41Q_p2_out = !A1L41Q & !A1L01Q;
A1L41Q_p4_out = !A1L21Q & !A1L01Q;
A1L41Q_or_out = A1L41Q_p1_out # A1L41Q_p2_out # A1L41Q_p4_out;
A1L41Q_reg_input = !A1L41Q_or_out;
A1L41Q = TFFE(A1L41Q_reg_input, GLOBAL(SW1), , , TimeSet_EN);


--B2_dffs[0] is lpm_counter:hour_set1_rtl_0|dffs[0] at LC5
B2_dffs[0]_p1_out = !B2_dffs[1] & !B2_dffs[0];
B2_dffs[0]_or_out = B2_dffs[0]_p1_out;
B2_dffs[0]_reg_input = B2_dffs[0]_or_out;
B2_dffs[0]_p3_out = !A1L41Q & !A1L21Q & !A1L01Q;
B2_dffs[0] = DFFE(B2_dffs[0]_reg_input, GLOBAL(SW2), , , B2_dffs[0]_p3_out);


--B4_dffs[0] is lpm_counter:minute_set1_rtl_2|dffs[0] at LC17
B4_dffs[0]_p1_out = B4_dffs[2] & B4_dffs[1] & !B4_dffs[0];
B4_dffs[0]_or_out = B4_dffs[0]_p1_out;
B4_dffs[0]_reg_input = !B4_dffs[0]_or_out;
B4_dffs[0]_p3_out = !A1L41Q & A1L21Q & !A1L01Q;
B4_dffs[0] = TFFE(B4_dffs[0]_reg_input, GLOBAL(SW2), , , B4_dffs[0]_p3_out);


--B6_dffs[0] is lpm_counter:second_set1_rtl_4|dffs[0] at LC18
B6_dffs[0]_p1_out = B6_dffs[2] & B6_dffs[1] & !B6_dffs[0];
B6_dffs[0]_or_out = B6_dffs[0]_p1_out;
B6_dffs[0]_reg_input = !B6_dffs[0]_or_out;
B6_dffs[0]_p3_out = A1L41Q & !A1L21Q & !A1L01Q;
B6_dffs[0] = TFFE(B6_dffs[0]_reg_input, GLOBAL(SW2), , , B6_dffs[0]_p3_out);


--B5_dffs[0] is lpm_counter:second_set0_rtl_5|dffs[0] at LC11
B5_dffs[0]_p1_out = !B5_dffs[0] & !B5_dffs[3];
B5_dffs[0]_p2_out = !B5_dffs[0] & !B5_dffs[2] & !B5_dffs[1];
B5_dffs[0]_or_out = B5_dffs[0]_p1_out # B5_dffs[0]_p2_out;
B5_dffs[0]_reg_input = B5_dffs[0]_or_out;
B5_dffs[0]_p3_out = A1L41Q & !A1L21Q & A1L01Q;
B5_dffs[0] = DFFE(B5_dffs[0]_reg_input, GLOBAL(SW2), , , B5_dffs[0]_p3_out);


--B1_dffs[0] is lpm_counter:hour_set0_rtl_1|dffs[0] at LC20
B1_dffs[0]_p1_out = !B1_dffs[0] & !B1_dffs[3];
B1_dffs[0]_p2_out = !B1_dffs[0] & !B1_dffs[2] & !B1_dffs[1];
B1_dffs[0]_or_out = B1_dffs[0]_p1_out # B1_dffs[0]_p2_out;
B1_dffs[0]_reg_input = B1_dffs[0]_or_out;
B1_dffs[0]_p3_out = !A1L21Q & !A1L41Q & A1L01Q;
B1_dffs[0] = DFFE(B1_dffs[0]_reg_input, GLOBAL(SW2), , , B1_dffs[0]_p3_out);


--B3_dffs[0] is lpm_counter:minute_set0_rtl_3|dffs[0] at LC21
B3_dffs[0]_p1_out = !B3_dffs[0] & !B3_dffs[3];
B3_dffs[0]_p2_out = !B3_dffs[0] & !B3_dffs[2] & !B3_dffs[1];
B3_dffs[0]_or_out = B3_dffs[0]_p1_out # B3_dffs[0]_p2_out;
B3_dffs[0]_reg_input = B3_dffs[0]_or_out;
B3_dffs[0]_p3_out = A1L21Q & !A1L41Q & A1L01Q;
B3_dffs[0] = DFFE(B3_dffs[0]_reg_input, GLOBAL(SW2), , , B3_dffs[0]_p3_out);


--B2_dffs[1] is lpm_counter:hour_set1_rtl_0|dffs[1] at LC12
B2_dffs[1]_p1_out = !B2_dffs[1] & B2_dffs[0];
B2_dffs[1]_or_out = B2_dffs[1]_p1_out;
B2_dffs[1]_reg_input = B2_dffs[1]_or_out;
B2_dffs[1]_p3_out = !A1L41Q & !A1L21Q & !A1L01Q;
B2_dffs[1] = DFFE(B2_dffs[1]_reg_input, GLOBAL(SW2), , , B2_dffs[1]_p3_out);


--B4_dffs[1] is lpm_counter:minute_set1_rtl_2|dffs[1] at LC22
B4_dffs[1]_p1_out = !B4_dffs[2] & B4_dffs[1] & !B4_dffs[0];
B4_dffs[1]_p2_out = !B4_dffs[2] & !B4_dffs[1] & B4_dffs[0];
B4_dffs[1]_or_out = B4_dffs[1]_p1_out # B4_dffs[1]_p2_out;
B4_dffs[1]_reg_input = B4_dffs[1]_or_out;
B4_dffs[1]_p3_out = !A1L41Q & A1L21Q & !A1L01Q;
B4_dffs[1] = DFFE(B4_dffs[1]_reg_input, GLOBAL(SW2), , , B4_dffs[1]_p3_out);


--B6_dffs[1] is lpm_counter:second_set1_rtl_4|dffs[1] at LC28
B6_dffs[1]_p1_out = !B6_dffs[2] & B6_dffs[1] & !B6_dffs[0];
B6_dffs[1]_p2_out = !B6_dffs[2] & !B6_dffs[1] & B6_dffs[0];
B6_dffs[1]_or_out = B6_dffs[1]_p1_out # B6_dffs[1]_p2_out;
B6_dffs[1]_reg_input = B6_dffs[1]_or_out;
B6_dffs[1]_p3_out = A1L41Q & !A1L21Q & !A1L01Q;
B6_dffs[1] = DFFE(B6_dffs[1]_reg_input, GLOBAL(SW2), , , B6_dffs[1]_p3_out);


--B5_dffs[1] is lpm_counter:second_set0_rtl_5|dffs[1] at LC13
B5_dffs[1]_p1_out = !B5_dffs[3] & B5_dffs[1] & !B5_dffs[0];
B5_dffs[1]_p2_out = !B5_dffs[3] & !B5_dffs[1] & B5_dffs[0];
B5_dffs[1]_or_out = B5_dffs[1]_p1_out # B5_dffs[1]_p2_out;
B5_dffs[1]_reg_input = B5_dffs[1]_or_out;
B5_dffs[1]_p3_out = A1L41Q & !A1L21Q & A1L01Q;
B5_dffs[1] = DFFE(B5_dffs[1]_reg_input, GLOBAL(SW2), , , B5_dffs[1]_p3_out);


--B1_dffs[1] is lpm_counter:hour_set0_rtl_1|dffs[1] at LC29
B1_dffs[1]_p1_out = !B1_dffs[3] & B1_dffs[1] & !B1_dffs[0];
B1_dffs[1]_p2_out = !B1_dffs[3] & !B1_dffs[1] & B1_dffs[0];
B1_dffs[1]_or_out = B1_dffs[1]_p1_out # B1_dffs[1]_p2_out;
B1_dffs[1]_reg_input = B1_dffs[1]_or_out;
B1_dffs[1]_p3_out = !A1L21Q & !A1L41Q & A1L01Q;
B1_dffs[1] = DFFE(B1_dffs[1]_reg_input, GLOBAL(SW2), , , B1_dffs[1]_p3_out);


--B3_dffs[1] is lpm_counter:minute_set0_rtl_3|dffs[1] at LC30
B3_dffs[1]_p1_out = !B3_dffs[3] & B3_dffs[1] & !B3_dffs[0];
B3_dffs[1]_p2_out = !B3_dffs[3] & !B3_dffs[1] & B3_dffs[0];
B3_dffs[1]_or_out = B3_dffs[1]_p1_out # B3_dffs[1]_p2_out;
B3_dffs[1]_reg_input = B3_dffs[1]_or_out;
B3_dffs[1]_p3_out = A1L21Q & !A1L41Q & A1L01Q;
B3_dffs[1] = DFFE(B3_dffs[1]_reg_input, GLOBAL(SW2), , , B3_dffs[1]_p3_out);


--B4_dffs[2] is lpm_counter:minute_set1_rtl_2|dffs[2] at LC27
B4_dffs[2]_p1_out = B4_dffs[1] & B4_dffs[0] & !B4_dffs[2];
B4_dffs[2]_p2_out = !B4_dffs[1] & !B4_dffs[0] & B4_dffs[2];
B4_dffs[2]_or_out = B4_dffs[2]_p1_out # B4_dffs[2]_p2_out;
B4_dffs[2]_reg_input = B4_dffs[2]_or_out;
B4_dffs[2]_p3_out = !A1L41Q & A1L21Q & !A1L01Q;
B4_dffs[2] = DFFE(B4_dffs[2]_reg_input, GLOBAL(SW2), , , B4_dffs[2]_p3_out);


--B6_dffs[2] is lpm_counter:second_set1_rtl_4|dffs[2] at LC26
B6_dffs[2]_p1_out = B6_dffs[1] & B6_dffs[0] & !B6_dffs[2];
B6_dffs[2]_p2_out = !B6_dffs[1] & !B6_dffs[0] & B6_dffs[2];
B6_dffs[2]_or_out = B6_dffs[2]_p1_out # B6_dffs[2]_p2_out;
B6_dffs[2]_reg_input = B6_dffs[2]_or_out;
B6_dffs[2]_p3_out = A1L41Q & !A1L21Q & !A1L01Q;
B6_dffs[2] = DFFE(B6_dffs[2]_reg_input, GLOBAL(SW2), , , B6_dffs[2]_p3_out);


--B5_dffs[2] is lpm_counter:second_set0_rtl_5|dffs[2] at LC14
B5_dffs[2]_p1_out = !B5_dffs[3] & B5_dffs[1] & B5_dffs[0];
B5_dffs[2]_p2_out = B5_dffs[3] & B5_dffs[2];
B5_dffs[2]_or_out = B5_dffs[2]_p1_out # B5_dffs[2]_p2_out;
B5_dffs[2]_reg_input = B5_dffs[2]_or_out;
B5_dffs[2]_p3_out = A1L41Q & !A1L21Q & A1L01Q;
B5_dffs[2] = TFFE(B5_dffs[2]_reg_input, GLOBAL(SW2), , , B5_dffs[2]_p3_out);


--B1_dffs[2] is lpm_counter:hour_set0_rtl_1|dffs[2] at LC25
B1_dffs[2]_p1_out = !B1_dffs[3] & B1_dffs[1] & B1_dffs[0];
B1_dffs[2]_p2_out = B1_dffs[3] & B1_dffs[2];
B1_dffs[2]_or_out = B1_dffs[2]_p1_out # B1_dffs[2]_p2_out;
B1_dffs[2]_reg_input = B1_dffs[2]_or_out;
B1_dffs[2]_p3_out = !A1L21Q & !A1L41Q & A1L01Q;
B1_dffs[2] = TFFE(B1_dffs[2]_reg_input, GLOBAL(SW2), , , B1_dffs[2]_p3_out);


--B3_dffs[2] is lpm_counter:minute_set0_rtl_3|dffs[2] at LC23
B3_dffs[2]_p1_out = !B3_dffs[3] & B3_dffs[1] & B3_dffs[0];
B3_dffs[2]_p2_out = B3_dffs[3] & B3_dffs[2];
B3_dffs[2]_or_out = B3_dffs[2]_p1_out # B3_dffs[2]_p2_out;
B3_dffs[2]_reg_input = B3_dffs[2]_or_out;
B3_dffs[2]_p3_out = A1L21Q & !A1L41Q & A1L01Q;
B3_dffs[2] = TFFE(B3_dffs[2]_reg_input, GLOBAL(SW2), , , B3_dffs[2]_p3_out);


--B5_dffs[3] is lpm_counter:second_set0_rtl_5|dffs[3] at LC10
B5_dffs[3]_p1_out = B5_dffs[2] & B5_dffs[1] & B5_dffs[0] & !B5_dffs[3];
B5_dffs[3]_p2_out = !B5_dffs[2] & !B5_dffs[1] & !B5_dffs[0] & B5_dffs[3];
B5_dffs[3]_or_out = B5_dffs[3]_p1_out # B5_dffs[3]_p2_out;
B5_dffs[3]_reg_input = B5_dffs[3]_or_out;
B5_dffs[3]_p3_out = A1L41Q & !A1L21Q & A1L01Q;
B5_dffs[3] = DFFE(B5_dffs[3]_reg_input, GLOBAL(SW2), , , B5_dffs[3]_p3_out);


--B1_dffs[3] is lpm_counter:hour_set0_rtl_1|dffs[3] at LC31
B1_dffs[3]_p1_out = B1_dffs[2] & B1_dffs[1] & B1_dffs[0] & !B1_dffs[3];
B1_dffs[3]_p2_out = !B1_dffs[2] & !B1_dffs[1] & !B1_dffs[0] & B1_dffs[3];
B1_dffs[3]_or_out = B1_dffs[3]_p1_out # B1_dffs[3]_p2_out;
B1_dffs[3]_reg_input = B1_dffs[3]_or_out;
B1_dffs[3]_p3_out = !A1L21Q & !A1L41Q & A1L01Q;
B1_dffs[3] = DFFE(B1_dffs[3]_reg_input, GLOBAL(SW2), , , B1_dffs[3]_p3_out);


--B3_dffs[3] is lpm_counter:minute_set0_rtl_3|dffs[3] at LC19
B3_dffs[3]_p1_out = B3_dffs[2] & B3_dffs[1] & B3_dffs[0] & !B3_dffs[3];
B3_dffs[3]_p2_out = !B3_dffs[2] & !B3_dffs[1] & !B3_dffs[0] & B3_dffs[3];
B3_dffs[3]_or_out = B3_dffs[3]_p1_out # B3_dffs[3]_p2_out;
B3_dffs[3]_reg_input = B3_dffs[3]_or_out;
B3_dffs[3]_p3_out = A1L21Q & !A1L41Q & A1L01Q;
B3_dffs[3] = DFFE(B3_dffs[3]_reg_input, GLOBAL(SW2), , , B3_dffs[3]_p3_out);


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


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


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


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


--TimeSet_EN is TimeSet_EN at PIN_92
--operation mode is input

TimeSet_EN = INPUT();


--SW1 is SW1 at PIN_87
--operation mode is input

SW1 = INPUT();


--SW2 is SW2 at PIN_90
--operation mode is input

SW2 = INPUT();


--hour1[3] is hour1[3] at PIN_85
--operation mode is input

hour1[3] = INPUT();


--hour1[2] is hour1[2] at PIN_61
--operation mode is input

hour1[2] = INPUT();


--hour1[1] is hour1[1] at PIN_93
--operation mode is input

hour1[1] = INPUT();


--hour1[0] is hour1[0] at PIN_84
--operation mode is input

hour1[0] = INPUT();


--hour0[3] is hour0[3] at PIN_60
--operation mode is input

hour0[3] = INPUT();


--hour0[2] is hour0[2] at PIN_83
--operation mode is input

hour0[2] = INPUT();


--hour0[1] is hour0[1] at PIN_81
--operation mode is input

hour0[1] = INPUT();


--hour0[0] is hour0[0] at PIN_58
--operation mode is input

hour0[0] = INPUT();


--minute1[3] is minute1[3] at PIN_80
--operation mode is input

minute1[3] = INPUT();


--minute1[2] is minute1[2] at PIN_57
--operation mode is input

minute1[2] = INPUT();


--minute1[1] is minute1[1] at PIN_79
--operation mode is input

minute1[1] = INPUT();


--minute1[0] is minute1[0] at PIN_56
--operation mode is input

minute1[0] = INPUT();


--minute0[3] is minute0[3] at PIN_54
--operation mode is input

minute0[3] = INPUT();


--minute0[2] is minute0[2] at PIN_76
--operation mode is input

minute0[2] = INPUT();


--minute0[1] is minute0[1] at PIN_75
--operation mode is input

minute0[1] = INPUT();


--minute0[0] is minute0[0] at PIN_52
--operation mode is input

minute0[0] = INPUT();


--second1[3] is second1[3] at PIN_29
--operation mode is input

second1[3] = INPUT();


--second1[2] is second1[2] at PIN_48
--operation mode is input

second1[2] = INPUT();


--second1[1] is second1[1] at PIN_71
--operation mode is input

second1[1] = INPUT();


--second1[0] is second1[0] at PIN_47
--operation mode is input

second1[0] = INPUT();


--second0[3] is second0[3] at PIN_69
--operation mode is input

second0[3] = INPUT();


--second0[2] is second0[2] at PIN_46
--operation mode is input

second0[2] = INPUT();


--second0[1] is second0[1] at PIN_68
--operation mode is input

second0[1] = INPUT();


--second0[0] is second0[0] at PIN_45
--operation mode is input

second0[0] = INPUT();


--hour_set1[3] is hour_set1[3] at PIN_100
--operation mode is output

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


--hour_set1[2] is hour_set1[2] at PIN_6
--operation mode is output

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


--minute_set1[3] is minute_set1[3] at PIN_8
--operation mode is output

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


--second_set1[3] is second_set1[3] at PIN_10
--operation mode is output

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


--disp_drive[0] is disp_drive[0] at PIN_14
--operation mode is output

disp_drive[0] = OUTPUT(A1L01Q);


--disp_drive[1] is disp_drive[1] at PIN_13
--operation mode is output

disp_drive[1] = OUTPUT(A1L21Q);


--disp_drive[2] is disp_drive[2] at PIN_12
--operation mode is output

disp_drive[2] = OUTPUT(A1L41Q);


--hour_set1[0] is hour_set1[0] at PIN_9
--operation mode is output

hour_set1[0] = OUTPUT(B2_dffs[0]);


--minute_set1[0] is minute_set1[0] at PIN_37
--operation mode is output

minute_set1[0] = OUTPUT(B4_dffs[0]);


--second_set1[0] is second_set1[0] at PIN_36
--operation mode is output

second_set1[0] = OUTPUT(B6_dffs[0]);


--second_set0[0] is second_set0[0] at PIN_98
--operation mode is output

second_set0[0] = OUTPUT(B5_dffs[0]);


--hour_set0[0] is hour_set0[0] at PIN_33
--operation mode is output

hour_set0[0] = OUTPUT(B1_dffs[0]);


--minute_set0[0] is minute_set0[0] at PIN_32
--operation mode is output

minute_set0[0] = OUTPUT(B3_dffs[0]);


--hour_set1[1] is hour_set1[1] at PIN_97
--operation mode is output

hour_set1[1] = OUTPUT(B2_dffs[1]);


--minute_set1[1] is minute_set1[1] at PIN_31
--operation mode is output

minute_set1[1] = OUTPUT(B4_dffs[1]);


--second_set1[1] is second_set1[1] at PIN_20
--operation mode is output

second_set1[1] = OUTPUT(B6_dffs[1]);


--second_set0[1] is second_set0[1] at PIN_96
--operation mode is output

second_set0[1] = OUTPUT(B5_dffs[1]);


--hour_set0[1] is hour_set0[1] at PIN_19
--operation mode is output

hour_set0[1] = OUTPUT(B1_dffs[1]);


--minute_set0[1] is minute_set0[1] at PIN_17
--operation mode is output

minute_set0[1] = OUTPUT(B3_dffs[1]);


--minute_set1[2] is minute_set1[2] at PIN_21
--operation mode is output

minute_set1[2] = OUTPUT(B4_dffs[2]);


--second_set1[2] is second_set1[2] at PIN_23
--operation mode is output

second_set1[2] = OUTPUT(B6_dffs[2]);


--second_set0[2] is second_set0[2] at PIN_94
--operation mode is output

second_set0[2] = OUTPUT(B5_dffs[2]);


--hour_set0[2] is hour_set0[2] at PIN_25
--operation mode is output

hour_set0[2] = OUTPUT(B1_dffs[2]);


--minute_set0[2] is minute_set0[2] at PIN_30
--operation mode is output

minute_set0[2] = OUTPUT(B3_dffs[2]);


--second_set0[3] is second_set0[3] at PIN_99
--operation mode is output

second_set0[3] = OUTPUT(B5_dffs[3]);


--hour_set0[3] is hour_set0[3] at PIN_16
--operation mode is output

hour_set0[3] = OUTPUT(B1_dffs[3]);


--minute_set0[3] is minute_set0[3] at PIN_35
--operation mode is output

minute_set0[3] = OUTPUT(B3_dffs[3]);