myclock.map.eqn

用VHDL语言实现一个能显示时、分、秒的时钟：可分别进行时和分的手动校正；12小时、24小时计时制可选

--B1_q1[0] is distribute_frq:u1|q1[0]
B1_q1[0]_reg_input = VCC;
B1_q1[0] = TFFE(B1_q1[0]_reg_input, GLOBAL(clk), , , );


--C1_choose_state is clk_and_modify:u2|choose_state
C1_choose_state_reg_input = VCC;
C1_choose_state = TFFE(C1_choose_state_reg_input, div_choose_state, , , );


--D1_state is time_form:u3|state
D1_state_reg_input = VCC;
D1_state = TFFE(D1_state_reg_input, GLOBAL(revert), , , );


--B1_q1[1] is distribute_frq:u1|q1[1]
B1_q1[1]_p1_out = !B1_q1[9] & !B1_q1[8] & B1_q1[5] & !B1_q1[4] & !B1_q1[3] & !B1_q1[2] & B1_q1[10] & B1_q1[7] & B1_q1[6] & !B1_q1[1];
B1_q1[1]_or_out = B1_q1[1]_p1_out # !B1_q1[0];
B1_q1[1]_reg_input = !B1_q1[1]_or_out;
B1_q1[1] = TFFE(B1_q1[1]_reg_input, GLOBAL(clk), , , );


--B1_q1[2] is distribute_frq:u1|q1[2]
B1_q1[2]_p1_out = B1_q1[1] & B1_q1[0];
B1_q1[2]_or_out = B1_q1[2];
B1_q1[2]_reg_input = B1_q1[2]_p1_out $ B1_q1[2]_or_out;
B1_q1[2] = DFFE(B1_q1[2]_reg_input, GLOBAL(clk), , , );


--B1_q1[3] is distribute_frq:u1|q1[3]
B1_q1[3]_p1_out = B1_q1[2] & B1_q1[1] & B1_q1[0];
B1_q1[3]_or_out = B1_q1[3];
B1_q1[3]_reg_input = B1_q1[3]_p1_out $ B1_q1[3]_or_out;
B1_q1[3] = DFFE(B1_q1[3]_reg_input, GLOBAL(clk), , , );


--B1_q1[4] is distribute_frq:u1|q1[4]
B1_q1[4]_p1_out = B1_q1[3] & B1_q1[2] & B1_q1[1] & B1_q1[0];
B1_q1[4]_or_out = B1_q1[4];
B1_q1[4]_reg_input = B1_q1[4]_p1_out $ B1_q1[4]_or_out;
B1_q1[4] = DFFE(B1_q1[4]_reg_input, GLOBAL(clk), , , );


--B1_q1[5] is distribute_frq:u1|q1[5]
B1_q1[5]_p1_out = !B1_q1[9] & !B1_q1[8] & B1_q1[10] & B1_q1[7] & B1_q1[6] & !B1_q1[3] & !B1_q1[2] & !B1_q1[1] & !B1_q1[4] & B1_q1[0] & B1_q1[5];
B1_q1[5]_p2_out = B1_q1[3] & B1_q1[2] & B1_q1[1] & B1_q1[4] & B1_q1[0];
B1_q1[5]_or_out = B1_q1[5]_p1_out # B1_q1[5]_p2_out;
B1_q1[5]_reg_input = B1_q1[5]_or_out;
B1_q1[5] = TFFE(B1_q1[5]_reg_input, GLOBAL(clk), , , );


--B1_q1[6] is distribute_frq:u1|q1[6]
B1_q1[6]_p1_out = !B1_q1[9] & !B1_q1[8] & B1_q1[10] & B1_q1[7] & !B1_q1[4] & B1_q1[5] & !B1_q1[3] & !B1_q1[2] & !B1_q1[1] & B1_q1[0] & B1_q1[6];
B1_q1[6]_p2_out = B1_q1[4] & B1_q1[5] & B1_q1[3] & B1_q1[2] & B1_q1[1] & B1_q1[0];
B1_q1[6]_or_out = B1_q1[6]_p1_out # B1_q1[6]_p2_out;
B1_q1[6]_reg_input = B1_q1[6]_or_out;
B1_q1[6] = TFFE(B1_q1[6]_reg_input, GLOBAL(clk), , , );


--B1_q1[7] is distribute_frq:u1|q1[7]
B1_q1[7]_p1_out = !B1_q1[9] & !B1_q1[8] & B1_q1[10] & !B1_q1[4] & !B1_q1[3] & !B1_q1[2] & !B1_q1[1] & B1_q1[5] & B1_q1[0] & B1_q1[7] & B1_q1[6];
B1_q1[7]_p2_out = B1_q1[4] & B1_q1[3] & B1_q1[2] & B1_q1[1] & B1_q1[5] & B1_q1[0] & B1_q1[6];
B1_q1[7]_or_out = B1_q1[7]_p1_out # B1_q1[7]_p2_out;
B1_q1[7]_reg_input = B1_q1[7]_or_out;
B1_q1[7] = TFFE(B1_q1[7]_reg_input, GLOBAL(clk), , , );


--B1_q1[8] is distribute_frq:u1|q1[8]
B1_q1[8]_p1_out = B1_q1[7] & B1_q1[6] & B1_q1[5] & B1_q1[4] & B1_q1[3] & B1_q1[2] & B1_q1[1] & B1_q1[0];
B1_q1[8]_or_out = B1_q1[8]_p1_out;
B1_q1[8]_reg_input = B1_q1[8]_or_out;
B1_q1[8] = TFFE(B1_q1[8]_reg_input, GLOBAL(clk), , , );


--B1_q1[9] is distribute_frq:u1|q1[9]
B1_q1[9]_p1_out = B1_q1[8] & B1_q1[7] & B1_q1[6] & B1_q1[5] & B1_q1[4] & B1_q1[3] & B1_q1[2] & B1_q1[1] & B1_q1[0];
B1_q1[9]_or_out = B1_q1[9];
B1_q1[9]_reg_input = B1_q1[9]_p1_out $ B1_q1[9]_or_out;
B1_q1[9] = DFFE(B1_q1[9]_reg_input, GLOBAL(clk), , , );


--B1_q1[10] is distribute_frq:u1|q1[10]
B1_q1[10]_p1_out = !B1_q1[9] & !B1_q1[8] & !B1_q1[4] & !B1_q1[3] & !B1_q1[2] & !B1_q1[1] & B1_q1[5] & B1_q1[0] & B1_q1[7] & B1_q1[10] & B1_q1[6];
B1_q1[10]_p2_out = B1_q1[9] & B1_q1[8] & B1_q1[4] & B1_q1[3] & B1_q1[2] & B1_q1[1] & B1_q1[5] & B1_q1[0] & B1_q1[7] & B1_q1[6];
B1_q1[10]_or_out = B1_q1[10]_p1_out # B1_q1[10]_p2_out;
B1_q1[10]_reg_input = B1_q1[10]_or_out;
B1_q1[10] = TFFE(B1_q1[10]_reg_input, GLOBAL(clk), , , );


--B1_y is distribute_frq:u1|y
B1_y_p1_out = !B1_q1[9] & !B1_q1[8] & B1_q1[5] & !B1_q1[4] & !B1_q1[3] & !B1_q1[2] & !B1_q1[1] & B1_q1[0] & B1_q1[10] & B1_q1[7] & B1_q1[6];
B1_y_or_out = B1_y_p1_out;
B1_y_reg_input = B1_y_or_out;
B1_y = TFFE(B1_y_reg_input, GLOBAL(clk), , , );


--E1_q[0] is display:u4|q[0]
E1_q[0]_reg_input = VCC;
E1_q[0] = TFFE(E1_q[0]_reg_input, B1_y, , , );


--E1_q[1] is display:u4|q[1]
E1_q[1]_p1_out = !E1_q[2] & !E1_q[1] & E1_q[0];
E1_q[1]_p2_out = E1_q[1] & !E1_q[0];
E1_q[1]_or_out = E1_q[1]_p1_out # E1_q[1]_p2_out;
E1_q[1]_reg_input = E1_q[1]_or_out;
E1_q[1] = DFFE(E1_q[1]_reg_input, B1_y, , , );


--B1_q3[1] is distribute_frq:u1|q3[1]
B1_q3[1]_or_out = B1_q3[1];
B1_q3[1]_reg_input = E1_q[0] $ B1_q3[1]_or_out;
B1_q3[1] = DFFE(B1_q3[1]_reg_input, B1_y, , , );


--E1_sel[3] is display:u4|sel[3]
E1_sel[3]_p1_out = E1_q[0] & E1_q[1];
E1_sel[3]_or_out = E1_sel[3]_p1_out;
E1_sel[3]_reg_input = !(E1_sel[3]_or_out);
E1_sel[3] = DFFE(E1_sel[3]_reg_input, B1_y, , , );


--E1_sel[2] is display:u4|sel[2]
E1_sel[2]_p1_out = !E1_q[0] & E1_q[1];
E1_sel[2]_or_out = E1_sel[2]_p1_out;
E1_sel[2]_reg_input = !(E1_sel[2]_or_out);
E1_sel[2] = DFFE(E1_sel[2]_reg_input, B1_y, , , );


--E1_q[2] is display:u4|q[2]
E1_q[2]_p1_out = E1_q[2] & !E1_q[0];
E1_q[2]_p2_out = !E1_q[2] & E1_q[0] & E1_q[1];
E1_q[2]_or_out = E1_q[2]_p1_out # E1_q[2]_p2_out;
E1_q[2]_reg_input = E1_q[2]_or_out;
E1_q[2] = DFFE(E1_q[2]_reg_input, B1_y, , , );


--B1_q3[2] is distribute_frq:u1|q3[2]
B1_q3[2]_p1_out = E1_q[0] & B1_q3[1];
B1_q3[2]_or_out = B1_q3[2];
B1_q3[2]_reg_input = B1_q3[2]_p1_out $ B1_q3[2]_or_out;
B1_q3[2] = DFFE(B1_q3[2]_reg_input, B1_y, , , );


--E1_sel[5] is display:u4|sel[5]
E1_sel[5]_p1_out = E1_q[0] & E1_q[2];
E1_sel[5]_or_out = E1_sel[5]_p1_out;
E1_sel[5]_reg_input = !(E1_sel[5]_or_out);
E1_sel[5] = DFFE(E1_sel[5]_reg_input, B1_y, , , );


--E1_sel[4] is display:u4|sel[4]
E1_sel[4]_p1_out = !E1_q[0] & E1_q[2];
E1_sel[4]_or_out = E1_sel[4]_p1_out;
E1_sel[4]_reg_input = !(E1_sel[4]_or_out);
E1_sel[4] = DFFE(E1_sel[4]_reg_input, B1_y, , , );


--E1_sel[1] is display:u4|sel[1]
E1_sel[1]_p1_out = E1_q[0] & !E1_q[2] & !E1_q[1];
E1_sel[1]_or_out = E1_sel[1]_p1_out;
E1_sel[1]_reg_input = !(E1_sel[1]_or_out);
E1_sel[1] = DFFE(E1_sel[1]_reg_input, B1_y, , , );


--E1_sel[0] is display:u4|sel[0]
E1_sel[0]_p1_out = !E1_q[0] & !E1_q[2] & !E1_q[1];
E1_sel[0]_or_out = E1_sel[0]_p1_out;
E1_sel[0]_reg_input = !(E1_sel[0]_or_out);
E1_sel[0] = DFFE(E1_sel[0]_reg_input, B1_y, , , );


--A1L71 is mux_o~50
A1L71_p1_out = E1_sel[5] & E1_sel[3] & E1_sel[1] & E1_sel[0] & E1_sel[4] & !E1_sel[2] & C1_choose_state;
A1L71_p2_out = E1_sel[5] & E1_sel[3] & E1_sel[1] & E1_sel[0] & !E1_sel[4] & E1_sel[2] & !C1_choose_state;
A1L71_or_out = A1L71_p1_out # A1L71_p2_out;
A1L71 = A1L71_or_out;


--B1_q3[3] is distribute_frq:u1|q3[3]
B1_q3[3]_p1_out = B1_q3[7] & B1_q3[6] & !B1_q3[5] & !B1_q3[4] & !B1_q3[3];
B1_q3[3]_or_out = !B1_q3[1] # B1_q3[3]_p1_out # !B1_q3[2] # !E1_q[0];
B1_q3[3]_reg_input = !B1_q3[3]_or_out;
B1_q3[3] = TFFE(B1_q3[3]_reg_input, B1_y, , , );


--B1_q3[4] is distribute_frq:u1|q3[4]
B1_q3[4]_p1_out = B1_q3[3] & B1_q3[2] & E1_q[0] & B1_q3[1];
B1_q3[4]_or_out = B1_q3[4];
B1_q3[4]_reg_input = B1_q3[4]_p1_out $ B1_q3[4]_or_out;
B1_q3[4] = DFFE(B1_q3[4]_reg_input, B1_y, , , );


--B1_q3[5] is distribute_frq:u1|q3[5]
B1_q3[5]_p1_out = B1_q3[4] & B1_q3[3] & B1_q3[2] & E1_q[0] & B1_q3[1];
B1_q3[5]_or_out = B1_q3[5];
B1_q3[5]_reg_input = B1_q3[5]_p1_out $ B1_q3[5]_or_out;
B1_q3[5] = DFFE(B1_q3[5]_reg_input, B1_y, , , );


--B1_q3[6] is distribute_frq:u1|q3[6]
B1_q3[6]_p1_out = B1_q3[7] & !B1_q3[5] & !B1_q3[4] & !B1_q3[3] & B1_q3[2] & E1_q[0] & B1_q3[6] & B1_q3[1];
B1_q3[6]_p2_out = B1_q3[5] & B1_q3[4] & B1_q3[3] & B1_q3[2] & E1_q[0] & B1_q3[1];
B1_q3[6]_or_out = B1_q3[6]_p1_out # B1_q3[6]_p2_out;
B1_q3[6]_reg_input = B1_q3[6]_or_out;
B1_q3[6] = TFFE(B1_q3[6]_reg_input, B1_y, , , );


--B1_q3[7] is distribute_frq:u1|q3[7]
B1_q3[7]_p1_out = B1_q3[6] & !B1_q3[5] & !B1_q3[4] & !B1_q3[3] & B1_q3[2] & E1_q[0] & B1_q3[7] & B1_q3[1];
B1_q3[7]_p2_out = B1_q3[6] & B1_q3[5] & B1_q3[4] & B1_q3[3] & B1_q3[2] & E1_q[0] & B1_q3[1];
B1_q3[7]_or_out = B1_q3[7]_p1_out # B1_q3[7]_p2_out;
B1_q3[7]_reg_input = B1_q3[7]_or_out;
B1_q3[7] = TFFE(B1_q3[7]_reg_input, B1_y, , , );


--B1_y2 is distribute_frq:u1|y2
B1_y2_p1_out = B1_q3[7] & B1_q3[6] & !B1_q3[5] & !B1_q3[4] & !B1_q3[3] & B1_q3[2] & E1_q[0] & B1_q3[1];
B1_y2_or_out = B1_y2_p1_out;
B1_y2_reg_input = B1_y2_or_out;
B1_y2 = TFFE(B1_y2_reg_input, B1_y, , , );


--C1_sec_l[0] is clk_and_modify:u2|sec_l[0]
C1_sec_l[0]_p0_out = !choose & !C1_sec_l[3];
C1_sec_l[0]_p1_out = !C1_sec_h[2] & !C1_sec_l[2] & !C1_sec_l[1] & !choose;
C1_sec_l[0]_p4_out = !C1_sec_l[2] & !C1_sec_l[1] & !choose & !C1_sec_h[1];
C1_sec_l[0]_or_out = C1L68 # C1_sec_l[0]_p0_out # C1_sec_l[0]_p1_out # C1_sec_l[0]_p4_out;
C1_sec_l[0]_reg_input = C1_sec_l[0]_or_out;
C1_sec_l[0] = TFFE(C1_sec_l[0]_reg_input, B1_y2, !reset, , );


--C1_min_l_alarm[1] is clk_and_modify:u2|min_l_alarm[1]
C1_min_l_alarm[1]_p1_out = C1_min_l_alarm[0] & !C1_min_l_alarm[3] & C1_choose_state & !reset & modify_min_hour & alarm_modify;
C1_min_l_alarm[1]_or_out = C1_min_l_alarm[1]_p1_out;
C1_min_l_alarm[1]_reg_input = C1_min_l_alarm[1]_or_out;
C1_min_l_alarm[1] = TFFE(C1_min_l_alarm[1]_reg_input, B1_y2, , , );


--C1_hour_l_alarm[1] is clk_and_modify:u2|hour_l_alarm[1]
C1_hour_l_alarm[1]_p1_out = !C1_hour_h_alarm[0] & !C1_hour_l_alarm[2] & C1_hour_l_alarm[0] & !C1_hour_l_alarm[3] & !C1_choose_state & !reset & modify_min_hour & alarm_modify;
C1_hour_l_alarm[1]_p2_out = C1_hour_l_alarm[0] & !C1_hour_l_alarm[3] & !C1_choose_state & !reset & modify_min_hour & alarm_modify & !C1_hour_h_alarm[1];
C1_hour_l_alarm[1]_or_out = C1_hour_l_alarm[1]_p1_out # C1_hour_l_alarm[1]_p2_out;
C1_hour_l_alarm[1]_reg_input = C1_hour_l_alarm[1]_or_out;
C1_hour_l_alarm[1] = TFFE(C1_hour_l_alarm[1]_reg_input, B1_y2, , , );


--C1_sec_one[0] is clk_and_modify:u2|sec_one[0]
C1_sec_one[0]_p1_out = C1_sec_l[0] & !reset & !alarm_modify & !C1_sec_one[0];
C1_sec_one[0]_p2_out = !C1_sec_l[0] & !reset & !alarm_modify & C1_sec_one[0];
C1_sec_one[0]_or_out = C1_sec_one[0]_p1_out # C1_sec_one[0]_p2_out;
C1_sec_one[0]_reg_input = C1_sec_one[0]_or_out;
C1_sec_one[0] = TFFE(C1_sec_one[0]_reg_input, B1_y2, , , );


--C1_sec_l[1] is clk_and_modify:u2|sec_l[1]
C1_sec_l[1]_p1_out = C1_sec_l[0] & !choose & !C1_sec_l[3];
C1_sec_l[1]_or_out = C1_sec_l[1]_p1_out;
C1_sec_l[1]_reg_input = C1_sec_l[1]_or_out;
C1_sec_l[1] = TFFE(C1_sec_l[1]_reg_input, B1_y2, !reset, , );


--C1_min_l_alarm[2] is clk_and_modify:u2|min_l_alarm[2]
C1_min_l_alarm[2]_p1_out = C1_min_l_alarm[0] & C1_min_l_alarm[1] & !C1_min_l_alarm[3] & C1_choose_state & !reset & modify_min_hour & alarm_modify;
C1_min_l_alarm[2]_or_out = C1_min_l_alarm[2]_p1_out;
C1_min_l_alarm[2]_reg_input = C1_min_l_alarm[2]_or_out;
C1_min_l_alarm[2] = TFFE(C1_min_l_alarm[2]_reg_input, B1_y2, , , );


--C1_sec_one[1] is clk_and_modify:u2|sec_one[1]
C1_sec_one[1]_p1_out = C1_sec_l[1] & !reset & !alarm_modify & !C1_sec_one[1];
C1_sec_one[1]_p2_out = !C1_sec_l[1] & !reset & !alarm_modify & C1_sec_one[1];
C1_sec_one[1]_or_out = C1_sec_one[1]_p1_out # C1_sec_one[1]_p2_out;
C1_sec_one[1]_reg_input = C1_sec_one[1]_or_out;
C1_sec_one[1] = TFFE(C1_sec_one[1]_reg_input, B1_y2, , , );


--C1_sec_l[2] is clk_and_modify:u2|sec_l[2]
C1_sec_l[2]_p1_out = C1_sec_l[1] & C1_sec_l[0] & !choose & !C1_sec_l[3];
C1_sec_l[2]_or_out = C1_sec_l[2]_p1_out;
C1_sec_l[2]_reg_input = C1_sec_l[2]_or_out;
C1_sec_l[2] = TFFE(C1_sec_l[2]_reg_input, B1_y2, !reset, , );


--C1_hour_l_alarm[2] is clk_and_modify:u2|hour_l_alarm[2]
C1_hour_l_alarm[2]_p1_out = C1_hour_l_alarm[0] & C1_hour_l_alarm[1] & !C1_choose_state & !reset & modify_min_hour & alarm_modify & !C1_hour_h_alarm[1] & !C1_hour_l_alarm[3];
C1_hour_l_alarm[2]_or_out = C1_hour_l_alarm[2]_p1_out;
C1_hour_l_alarm[2]_reg_input = C1_hour_l_alarm[2]_or_out;