myclock.map.eqn

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

E1L7_p2_out = !E1_mux_out[2] & E1_mux_out[1];
E1L7_p3_out = E1_mux_out[1] & !E1_mux_out[0];
E1L7_or_out = E1L7_p1_out # E1L7_p2_out # E1L7_p3_out # E1_mux_out[3];
E1L7 = E1L7_or_out;


--E1L1 is display:u4|mux_o[0]~503
E1L1_p1_out = !E1_mux_out[3] & !E1_mux_out[1] & E1_mux_out[2] & !E1_mux_out[0];
E1L1_p2_out = !E1_mux_out[3] & !E1_mux_out[1] & !E1_mux_out[2] & E1_mux_out[0];
E1L1_or_out = E1L1_p1_out # E1L1_p2_out;
E1L1 = !(E1L1_or_out);


--E1L6 is display:u4|mux_o[5]~508
E1L6_p1_out = E1_mux_out[1] & !E1_mux_out[3] & !E1_mux_out[2];
E1L6_p2_out = E1_mux_out[1] & !E1_mux_out[3] & E1_mux_out[0];
E1L6_p3_out = !E1_mux_out[3] & !E1_mux_out[2] & E1_mux_out[0];
E1L6_or_out = E1L6_p1_out # E1L6_p2_out # E1L6_p3_out;
E1L6 = !(E1L6_or_out);


--E1L4 is display:u4|mux_o[3]~513
E1L4_p1_out = !E1_mux_out[3] & E1_mux_out[1] & E1_mux_out[2] & E1_mux_out[0];
E1L4_p2_out = !E1_mux_out[3] & !E1_mux_out[1] & E1_mux_out[2] & !E1_mux_out[0];
E1L4_p3_out = !E1_mux_out[3] & !E1_mux_out[1] & !E1_mux_out[2] & E1_mux_out[0];
E1L4_or_out = E1L4_p1_out # E1L4_p2_out # E1L4_p3_out;
E1L4 = !(E1L4_or_out);


--C1L68 is clk_and_modify:u2|sec_l[0]~428
C1L68_p1_out = !C1_sec_l[2] & !C1_sec_l[1] & !choose & !C1_sec_l[0];
C1L68 = C1L68_p1_out;


--C1L25 is clk_and_modify:u2|min_l[0]~546
C1L25_p0_out = C1_sec_h[2] & !C1_sec_h[1] & C1_sec_h[0] & C1_sec_l[3] & !C1_sec_l[2] & !C1_sec_l[1] & C1_sec_l[0] & !C1_min_l[1] & !C1_min_l[2] & !choose & !C1_min_h[2];
C1L25_p1_out = C1_sec_h[2] & !C1_sec_h[1] & C1_sec_h[0] & C1_sec_l[3] & !C1_sec_l[2] & !C1_sec_l[1] & C1_sec_l[0] & !C1_min_l[1] & !C1_min_l[2] & !C1_min_l[0] & !choose;
C1L25_p2_out = !C1_min_l[1] & !C1_min_l[2] & !C1_min_l[0] & choose & C1_choose_state & modify_min_hour;
C1L25_p3_out = C1_sec_h[2] & !C1_sec_h[1] & C1_sec_h[0] & C1_sec_l[3] & !C1_sec_l[2] & !C1_sec_l[1] & C1_sec_l[0] & !choose & !C1_min_l[3];
C1L25_p4_out = choose & C1_choose_state & modify_min_hour & !C1_min_l[3];
C1L25 = C1L25_p0_out # C1L25_p1_out # C1L25_p2_out # C1L25_p3_out # C1L25_p4_out;


--C1L65 is clk_and_modify:u2|min_l[3]~552
C1L65_p1_out = C1_sec_h[2] & !C1_sec_h[1] & C1_sec_h[0] & C1_sec_l[3] & !C1_sec_l[2] & !C1_sec_l[1] & C1_sec_l[0] & C1_min_l[1] & C1_min_l[2] & C1_min_l[0] & !choose & !C1_min_l[3];
C1L65_p2_out = C1_min_l[1] & C1_min_l[2] & C1_min_l[0] & choose & !C1_min_l[3] & C1_choose_state & modify_min_hour;
C1L65_p3_out = C1_sec_h[2] & !C1_sec_h[1] & C1_sec_h[0] & C1_sec_l[3] & !C1_sec_l[2] & !C1_sec_l[1] & C1_sec_l[0] & !C1_min_l[1] & !C1_min_l[2] & C1_min_l[0] & !choose & C1_min_l[3] & !C1_min_h[2];
C1L65 = C1L65_p1_out # C1L65_p2_out # C1L65_p3_out;


--C1L24 is clk_and_modify:u2|min_h[0]~532
C1L24_p1_out = !C1_min_h[2] & C1_choose_state & modify_min_hour & C1_min_l[3] & C1_min_l[0] & !C1_min_l[1] & !C1_min_l[2] & choose;
C1L24 = C1L24_p1_out;


--C1L54 is clk_and_modify:u2|min_h[2]~534
C1L54_p1_out = C1_choose_state & modify_min_hour & C1_min_h[0] & C1_min_h[1] & C1_min_l[3] & C1_min_l[0] & !C1_min_l[1] & !C1_min_l[2] & choose & !C1_min_h[2];
C1L54 = C1L54_p1_out;


--C1L32 is clk_and_modify:u2|hour_l[1]~1341
C1L32_p0_out = C1_hour_l[1] & choose & C1L22;
C1L32_p1_out = C1_hour_l[0] & !C1_hour_l[1] & !C1_hour_l[3] & !choose & C1_min_h[2] & C1_min_h[0] & !C1_min_h[1] & C1_min_l[3] & C1_min_l[0] & !C1_min_l[1] & !C1_min_l[2] & C1_sec_h[2] & !C1_sec_h[1] & C1_sec_h[0] & C1_sec_l[3] & !C1_sec_l[2] & !C1_sec_l[1] & C1_sec_l[0] & !C1_hour_h[1];
C1L32_p2_out = C1_hour_l[0] & !C1_hour_l[1] & !C1_hour_l[3] & !C1_choose_state & choose & modify_min_hour & !C1_hour_h[1];
C1L32_p3_out = C1_hour_l[0] & !C1_hour_l[1] & !C1_hour_h[0] & !C1_hour_l[2] & !C1_hour_l[3] & !choose & C1_min_h[2] & C1_min_h[0] & !C1_min_h[1] & C1_min_l[3] & C1_min_l[0] & !C1_min_l[1] & !C1_min_l[2] & C1_sec_h[2] & !C1_sec_h[1] & C1_sec_h[0] & C1_sec_l[3] & !C1_sec_l[2] & !C1_sec_l[1] & C1_sec_l[0];
C1L32_p4_out = C1_hour_l[0] & !C1_hour_l[1] & !C1_hour_h[0] & !C1_hour_l[2] & !C1_hour_l[3] & !C1_choose_state & choose & modify_min_hour;
C1L32 = C1L32_p0_out # C1L32_p1_out # C1L32_p2_out # C1L32_p3_out # C1L32_p4_out;


--C1L62 is clk_and_modify:u2|hour_l[3]~1347
C1L62_p1_out = !C1_choose_state & modify_min_hour & !C1_hour_h[1] & C1_hour_l[0] & C1_hour_l[1] & C1_hour_l[2] & choose & !C1_hour_l[3];
C1L62 = C1L62_p1_out;


--C1L61 is clk_and_modify:u2|hour_l[0]~1349
C1L61_p1_out = !C1_hour_l[3] & !C1_choose_state & !C1_hour_l[0] & choose & modify_min_hour & !C1_hour_h[1];
C1L61_p2_out = C1_hour_l[0] & choose & C1L22;
C1L61 = C1L61_p1_out # C1L61_p2_out;


--C1L71 is clk_and_modify:u2|hour_l[0]~1352
C1L71_p0_out = !C1_hour_l[3] & !C1_hour_l[0] & !choose & !C1_hour_h[1] & C1_min_h[2] & C1_min_h[0] & !C1_min_h[1] & C1_min_l[3] & C1_min_l[0] & !C1_min_l[1] & !C1_min_l[2] & C1_sec_h[2] & !C1_sec_h[1] & C1_sec_h[0] & C1_sec_l[3] & !C1_sec_l[2] & !C1_sec_l[1] & C1_sec_l[0];
C1L71_p1_out = !C1_hour_l[3] & !C1_hour_l[0] & !choose & C1_min_h[2] & C1_min_h[0] & !C1_min_h[1] & C1_min_l[3] & C1_min_l[0] & !C1_min_l[1] & !C1_min_l[2] & C1_sec_h[2] & !C1_sec_h[1] & C1_sec_h[0] & C1_sec_l[3] & !C1_sec_l[2] & !C1_sec_l[1] & C1_sec_l[0] & !C1_hour_l[2] & !C1_hour_h[0];
C1L71_p2_out = !C1_hour_l[3] & !C1_choose_state & !C1_hour_l[0] & choose & modify_min_hour & !C1_hour_l[2] & !C1_hour_h[0];
C1L71_p3_out = !C1_hour_l[0] & !choose & !C1_hour_h[1] & C1_min_h[2] & C1_min_h[0] & !C1_min_h[1] & C1_min_l[3] & C1_min_l[0] & !C1_min_l[1] & !C1_min_l[2] & C1_sec_h[2] & !C1_sec_h[1] & C1_sec_h[0] & C1_sec_l[3] & !C1_sec_l[2] & !C1_sec_l[1] & C1_sec_l[0] & !C1_hour_l[2] & !C1_hour_l[1];
C1L71_p4_out = !C1_choose_state & !C1_hour_l[0] & choose & modify_min_hour & !C1_hour_h[1] & !C1_hour_l[2] & !C1_hour_l[1];
C1L71 = C1L61 # C1L71_p0_out # C1L71_p1_out # C1L71_p2_out # C1L71_p3_out # C1L71_p4_out;


--C1L8 is clk_and_modify:u2|hour_h[1]~299
C1L8_p1_out = !C1_choose_state & modify_min_hour & C1_hour_l[0] & !C1_hour_l[1] & C1_hour_h[0] & !C1_hour_l[2] & C1_hour_l[3] & choose & !C1_hour_h[1];
C1L8 = C1L8_p1_out;


--E1L31 is display:u4|Mux~1350
E1L31_p1_out = D1_hour_l_12[2] & E1_q[2] & !E1_q[1] & !E1_q[0];
E1L31 = E1L31_p1_out;


--E1L41 is display:u4|Mux~1352
E1L41_p1_out = C1_min_one[1] & !E1_q[2] & E1_q[1] & !E1_q[0];
E1L41_p2_out = !E1_q[2] & !E1_q[1] & !E1_q[0] & C1_sec_one[1];
E1L41 = E1L41_p1_out # E1L41_p2_out;


--E1L51 is display:u4|Mux~1355
E1L51_p1_out = C1_min_one[0] & !E1_q[2] & E1_q[1] & !E1_q[0];
E1L51_p2_out = !E1_q[2] & E1_q[1] & E1_q[0] & C1_min_ten[0];
E1L51 = E1L51_p1_out # E1L51_p2_out;


--C1L17 is clk_and_modify:u2|p1~447sexpbal
C1L17_p0_out = C1_min_h[2] & !C1_min_h_alarm[2];
C1L17_p1_out = C1_hour_h[1] & !C1_hour_h_alarm[1];
C1L17_p2_out = !C1_hour_h[1] & C1_hour_h_alarm[1];
C1L17_p3_out = C1_hour_h[0] & !C1_hour_h_alarm[0];
C1L17_p4_out = !C1_hour_h[0] & C1_hour_h_alarm[0];
C1L17_or_out = C1L17_p0_out # C1L17_p1_out # C1L17_p2_out # C1L17_p3_out # C1L17_p4_out;
C1L17 = !(C1L17_or_out);


--C1L27 is clk_and_modify:u2|p1~455sexpbal
C1L27_p0_out = !C1_min_h[0] & C1_min_h_alarm[0];
C1L27_p1_out = !C1_min_h[2] & C1_min_h_alarm[2];
C1L27_p2_out = C1_min_h[1] & !C1_min_h_alarm[1];
C1L27_p3_out = !C1_min_h[1] & C1_min_h_alarm[1];
C1L27_p4_out = C1_min_h[0] & !C1_min_h_alarm[0];
C1L27_or_out = C1L27_p0_out # C1L27_p1_out # C1L27_p2_out # C1L27_p3_out # C1L27_p4_out;
C1L27 = !(C1L27_or_out);


--C1L37 is clk_and_modify:u2|p1~467sexpbal
C1L37_p0_out = C1_min_l[2] & !C1_min_l_alarm[2];
C1L37_p1_out = C1_min_l[0] & !C1_min_l_alarm[0];
C1L37_p2_out = !C1_min_l[0] & C1_min_l_alarm[0];
C1L37_p3_out = C1_min_l[1] & !C1_min_l_alarm[1];
C1L37_p4_out = !C1_min_l[1] & C1_min_l_alarm[1];
C1L37_or_out = C1L37_p0_out # C1L37_p1_out # C1L37_p2_out # C1L37_p3_out # C1L37_p4_out;
C1L37 = !(C1L37_or_out);


--C1L47 is clk_and_modify:u2|p1~475sexpbal
C1L47_p1_out = !C1_min_l[2] & C1_min_l_alarm[2];
C1L47_or_out = C1L47_p1_out;
C1L47 = !(C1L47_or_out);


--clk is clk
--operation mode is input

clk = INPUT();


--reset is reset
--operation mode is input

reset = INPUT();


--choose is choose
--operation mode is input

choose = INPUT();


--modify_min_hour is modify_min_hour
--operation mode is input

modify_min_hour = INPUT();


--div_choose_state is div_choose_state
--operation mode is input

div_choose_state = INPUT();


--revert is revert
--operation mode is input

revert = INPUT();


--alarm_modify is alarm_modify
--operation mode is input

alarm_modify = INPUT();


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

sel[3] = OUTPUT(E1_sel[3]);


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

sel[2] = OUTPUT(E1_sel[2]);


--sel[5] is sel[5]
--operation mode is output

sel[5] = OUTPUT(E1_sel[5]);


--sel[4] is sel[4]
--operation mode is output

sel[4] = OUTPUT(E1_sel[4]);


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

sel[1] = OUTPUT(E1_sel[1]);


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

sel[0] = OUTPUT(E1_sel[0]);


--mux_o[7] is mux_o[7]
--operation mode is output

mux_o[7] = OUTPUT(A1L71);


--alarm is alarm
--operation mode is output

alarm = OUTPUT(C1L3);


--am_or_pm is am_or_pm
--operation mode is output

am_or_pm = OUTPUT(D1_am_or_pm);


--mux_o[4] is mux_o[4]
--operation mode is output

mux_o[4] = OUTPUT(E1L5);


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

mux_o[2] = OUTPUT(E1L3);


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

mux_o[1] = OUTPUT(E1L2);


--mux_o[6] is mux_o[6]
--operation mode is output

mux_o[6] = OUTPUT(E1L7);


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

mux_o[0] = OUTPUT(E1L1);


--mux_o[5] is mux_o[5]
--operation mode is output

mux_o[5] = OUTPUT(E1L6);


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

mux_o[3] = OUTPUT(E1L4);