setdate.map.eqn

来自「基于FPGA的多功能数字钟的设计与实现 内附有详尽的Verilog HDL源码」· EQN 代码 · 共 259 行

--A1L61Q is disp_drive[0]~reg0
A1L61Q_reg_input = VCC;
A1L61Q = TFFE(A1L61Q_reg_input, GLOBAL(SW1), , , EN2);


--A1L81Q is disp_drive[1]~reg0
A1L81Q_or_out = A1L61Q;
A1L81Q_reg_input = A1L81Q_or_out;
A1L81Q = TFFE(A1L81Q_reg_input, GLOBAL(SW1), , , EN2);


--B4_dffs[0] is lpm_counter:month_set1_rtl_0|dffs[0]
B4_dffs[0]_p1_out = !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 = !A1L81Q & !A1L61Q;
B4_dffs[0] = DFFE(B4_dffs[0]_reg_input, GLOBAL(SW2), , , B4_dffs[0]_p3_out);


--B3_dffs[0] is lpm_counter:month_set0_rtl_1|dffs[0]
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 = !A1L81Q & A1L61Q;
B3_dffs[0] = DFFE(B3_dffs[0]_reg_input, GLOBAL(SW2), , , B3_dffs[0]_p3_out);


--B2_dffs[0] is lpm_counter:day_set1_rtl_2|dffs[0]
B2_dffs[0]_reg_input = VCC;
B2_dffs[0]_p3_out = A1L81Q & !A1L61Q;
B2_dffs[0] = TFFE(B2_dffs[0]_reg_input, GLOBAL(SW2), , , B2_dffs[0]_p3_out);


--B1_dffs[0] is lpm_counter:day_set0_rtl_3|dffs[0]
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 = A1L81Q & A1L61Q;
B1_dffs[0] = DFFE(B1_dffs[0]_reg_input, GLOBAL(SW2), , , B1_dffs[0]_p3_out);


--B4_dffs[1] is lpm_counter:month_set1_rtl_0|dffs[1]
B4_dffs[1]_p1_out = !B4_dffs[1] & B4_dffs[0];
B4_dffs[1]_or_out = B4_dffs[1]_p1_out;
B4_dffs[1]_reg_input = B4_dffs[1]_or_out;
B4_dffs[1]_p3_out = !A1L81Q & !A1L61Q;
B4_dffs[1] = DFFE(B4_dffs[1]_reg_input, GLOBAL(SW2), , , B4_dffs[1]_p3_out);


--B3_dffs[1] is lpm_counter:month_set0_rtl_1|dffs[1]
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 = !A1L81Q & A1L61Q;
B3_dffs[1] = DFFE(B3_dffs[1]_reg_input, GLOBAL(SW2), , , B3_dffs[1]_p3_out);


--B2_dffs[1] is lpm_counter:day_set1_rtl_2|dffs[1]
B2_dffs[1]_or_out = !B2_dffs[0];
B2_dffs[1]_reg_input = !B2_dffs[1]_or_out;
B2_dffs[1]_p3_out = A1L81Q & !A1L61Q;
B2_dffs[1] = TFFE(B2_dffs[1]_reg_input, GLOBAL(SW2), , , B2_dffs[1]_p3_out);


--B1_dffs[1] is lpm_counter:day_set0_rtl_3|dffs[1]
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 = A1L81Q & A1L61Q;
B1_dffs[1] = DFFE(B1_dffs[1]_reg_input, GLOBAL(SW2), , , B1_dffs[1]_p3_out);


--B3_dffs[2] is lpm_counter:month_set0_rtl_1|dffs[2]
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 = !A1L81Q & A1L61Q;
B3_dffs[2] = TFFE(B3_dffs[2]_reg_input, GLOBAL(SW2), , , B3_dffs[2]_p3_out);


--B1_dffs[2] is lpm_counter:day_set0_rtl_3|dffs[2]
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 = A1L81Q & A1L61Q;
B1_dffs[2] = TFFE(B1_dffs[2]_reg_input, GLOBAL(SW2), , , B1_dffs[2]_p3_out);


--B3_dffs[3] is lpm_counter:month_set0_rtl_1|dffs[3]
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 = !A1L81Q & A1L61Q;
B3_dffs[3] = DFFE(B3_dffs[3]_reg_input, GLOBAL(SW2), , , B3_dffs[3]_p3_out);


--B1_dffs[3] is lpm_counter:day_set0_rtl_3|dffs[3]
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 = A1L81Q & A1L61Q;
B1_dffs[3] = DFFE(B1_dffs[3]_reg_input, GLOBAL(SW2), , , B1_dffs[3]_p3_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;


--EN2 is EN2
--operation mode is input

EN2 = INPUT();


--SW1 is SW1
--operation mode is input

SW1 = INPUT();


--SW2 is SW2
--operation mode is input

SW2 = INPUT();


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

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


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

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


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

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


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

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


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

disp_drive[0] = OUTPUT(A1L61Q);


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

disp_drive[1] = OUTPUT(A1L81Q);


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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