myclock.map.eqn

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

--C1_min_ten[2] is clk_and_modify:u2|min_ten[2]
C1_min_ten[2]_p1_out = C1_min_h_alarm[2] & alarm_modify & !reset;
C1_min_ten[2]_p2_out = !alarm_modify & !reset & C1_min_h[2];
C1_min_ten[2]_p4_out = reset & C1_min_ten[2];
C1_min_ten[2]_or_out = C1_min_ten[2]_p1_out # C1_min_ten[2]_p2_out # C1_min_ten[2]_p4_out;
C1_min_ten[2]_reg_input = C1_min_ten[2]_or_out;
C1_min_ten[2] = DFFE(C1_min_ten[2]_reg_input, B1_y2, , , );


--C1_hour_one[1] is clk_and_modify:u2|hour_one[1]
C1_hour_one[1]_p1_out = C1_hour_l_alarm[1] & alarm_modify & !reset;
C1_hour_one[1]_p2_out = !alarm_modify & !reset & C1_hour_l[1];
C1_hour_one[1]_p4_out = reset & C1_hour_one[1];
C1_hour_one[1]_or_out = C1_hour_one[1]_p1_out # C1_hour_one[1]_p2_out # C1_hour_one[1]_p4_out;
C1_hour_one[1]_reg_input = C1_hour_one[1]_or_out;
C1_hour_one[1] = DFFE(C1_hour_one[1]_reg_input, B1_y2, , , );


--C1_hour_l[2] is clk_and_modify:u2|hour_l[2]
C1_hour_l[2]_p1_out = !C1_choose_state & modify_min_hour & C1_hour_l[0] & C1_hour_l[1] & choose & !C1_hour_h[1] & !C1_hour_l[3];
C1_hour_l[2]_p4_out = C1_hour_l[0] & C1_hour_l[1] & !choose & !C1_hour_h[1] & !C1_hour_l[3] & 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]_or_out = C1_hour_l[2]_p1_out # C1_hour_l[2]_p4_out;
C1_hour_l[2]_reg_input = C1_hour_l[2]_or_out;
C1_hour_l[2] = TFFE(C1_hour_l[2]_reg_input, B1_y2, !reset, , );


--C1_hour_l[3] is clk_and_modify:u2|hour_l[3]
C1_hour_l[3]_p0_out = !C1_hour_h[1] & C1_hour_l[0] & !C1_hour_l[1] & !C1_hour_l[2] & 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] & !choose & C1_hour_l[3];
C1_hour_l[3]_p1_out = !C1_hour_h[1] & C1_hour_l[0] & C1_hour_l[1] & C1_hour_l[2] & 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] & !choose & !C1_hour_l[3];
C1_hour_l[3]_p4_out = !C1_hour_h[1] & C1_hour_l[0] & !C1_hour_l[1] & !C1_hour_l[2] & choose & C1_hour_l[3] & !C1_choose_state & modify_min_hour;
C1_hour_l[3]_or_out = C1L62 # C1_hour_l[3]_p0_out # C1_hour_l[3]_p1_out # C1_hour_l[3]_p4_out;
C1_hour_l[3]_reg_input = C1_hour_l[3]_or_out;
C1_hour_l[3] = TFFE(C1_hour_l[3]_reg_input, B1_y2, !reset, , );


--C1_hour_one[2] is clk_and_modify:u2|hour_one[2]
C1_hour_one[2]_p1_out = C1_hour_l_alarm[2] & alarm_modify & !reset;
C1_hour_one[2]_p2_out = !alarm_modify & !reset & C1_hour_l[2];
C1_hour_one[2]_p4_out = reset & C1_hour_one[2];
C1_hour_one[2]_or_out = C1_hour_one[2]_p1_out # C1_hour_one[2]_p2_out # C1_hour_one[2]_p4_out;
C1_hour_one[2]_reg_input = C1_hour_one[2]_or_out;
C1_hour_one[2] = DFFE(C1_hour_one[2]_reg_input, B1_y2, , , );


--C1_hour_h[0] is clk_and_modify:u2|hour_h[0]
C1_hour_h[0]_p1_out = !C1_choose_state & modify_min_hour & C1_hour_l[3] & !C1_hour_h[1] & C1_hour_l[0] & !C1_hour_l[1] & !C1_hour_l[2] & choose;
C1_hour_h[0]_p4_out = C1_hour_l[3] & !C1_hour_h[1] & C1_hour_l[0] & !C1_hour_l[1] & !C1_hour_l[2] & !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[0]_or_out = C1_hour_h[0]_p1_out # C1_hour_h[0]_p4_out;
C1_hour_h[0]_reg_input = C1_hour_h[0]_or_out;
C1_hour_h[0] = TFFE(C1_hour_h[0]_reg_input, B1_y2, !reset, , );


--C1_hour_one[3] is clk_and_modify:u2|hour_one[3]
C1_hour_one[3]_p1_out = C1_hour_l_alarm[3] & alarm_modify & !reset;
C1_hour_one[3]_p2_out = !alarm_modify & !reset & C1_hour_l[3];
C1_hour_one[3]_p4_out = reset & C1_hour_one[3];
C1_hour_one[3]_or_out = C1_hour_one[3]_p1_out # C1_hour_one[3]_p2_out # C1_hour_one[3]_p4_out;
C1_hour_one[3]_reg_input = C1_hour_one[3]_or_out;
C1_hour_one[3] = DFFE(C1_hour_one[3]_reg_input, B1_y2, , , );


--C1_hour_ten[0] is clk_and_modify:u2|hour_ten[0]
C1_hour_ten[0]_p1_out = C1_hour_h_alarm[0] & alarm_modify & !reset;
C1_hour_ten[0]_p2_out = !alarm_modify & !reset & C1_hour_h[0];
C1_hour_ten[0]_p4_out = reset & C1_hour_ten[0];
C1_hour_ten[0]_or_out = C1_hour_ten[0]_p1_out # C1_hour_ten[0]_p2_out # C1_hour_ten[0]_p4_out;
C1_hour_ten[0]_reg_input = C1_hour_ten[0]_or_out;
C1_hour_ten[0] = DFFE(C1_hour_ten[0]_reg_input, B1_y2, , , );


--C1L41 is clk_and_modify:u2|hour_l[0]~1332
C1L41 = EXP(!C1_hour_h[0] & !C1_hour_l[2] & !C1_hour_l[3]);


--C1L51 is clk_and_modify:u2|hour_l[0]~1333
C1L51 = EXP(!C1_hour_l[1] & !C1_hour_l[2]);


--C1_hour_l[0] is clk_and_modify:u2|hour_l[0]
C1_hour_l[0]_p0_out = C1L41 & C1_hour_l[0] & C1_hour_h[1];
C1_hour_l[0]_p1_out = C1_hour_l[0] & !choose & C1L91;
C1_hour_l[0]_p4_out = C1_hour_l[0] & C1L51 & C1_hour_l[3];
C1_hour_l[0]_or_out = C1L71 # C1_hour_l[0]_p0_out # C1_hour_l[0]_p1_out # C1_hour_l[0]_p4_out;
C1_hour_l[0]_reg_input = C1_hour_l[0]_or_out;
C1_hour_l[0] = DFFE(C1_hour_l[0]_reg_input, B1_y2, !reset, , );


--C1_hour_one[0] is clk_and_modify:u2|hour_one[0]
C1_hour_one[0]_p1_out = C1_hour_l_alarm[0] & alarm_modify & !reset;
C1_hour_one[0]_p2_out = !alarm_modify & !reset & C1_hour_l[0];
C1_hour_one[0]_p4_out = reset & C1_hour_one[0];
C1_hour_one[0]_or_out = C1_hour_one[0]_p1_out # C1_hour_one[0]_p2_out # C1_hour_one[0]_p4_out;
C1_hour_one[0]_reg_input = C1_hour_one[0]_or_out;
C1_hour_one[0] = DFFE(C1_hour_one[0]_reg_input, B1_y2, , , );


--C1_hour_h[1] is clk_and_modify:u2|hour_h[1]
C1_hour_h[1]_p0_out = C1_hour_l[0] & C1_hour_l[1] & !C1_hour_h[0] & !C1_hour_l[2] & !C1_hour_l[3] & 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] & !choose & C1_hour_h[1];
C1_hour_h[1]_p1_out = C1_hour_l[0] & !C1_hour_l[1] & C1_hour_h[0] & !C1_hour_l[2] & C1_hour_l[3] & 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] & !choose & !C1_hour_h[1];
C1_hour_h[1]_p4_out = 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] & !C1_choose_state & modify_min_hour;
C1_hour_h[1]_or_out = C1L8 # C1_hour_h[1]_p0_out # C1_hour_h[1]_p1_out # C1_hour_h[1]_p4_out;
C1_hour_h[1]_reg_input = C1_hour_h[1]_or_out;
C1_hour_h[1] = TFFE(C1_hour_h[1]_reg_input, B1_y2, !reset, , );


--D1_hour_l_12[0] is time_form:u3|hour_l_12[0]
D1_hour_l_12[0]_or_out = C1_hour_one[0];
D1_hour_l_12[0]_reg_input = D1_hour_l_12[0]_or_out;
D1_hour_l_12[0] = DFFE(D1_hour_l_12[0]_reg_input, GLOBAL(clk), , , );


--C1L1 is clk_and_modify:u2|alarm~117
C1L1_p1_out = !C1_sec_l[2] & !C1_min_h[2] & !C1_min_l[3] & !choose & C1_sec_l[1] & !C1_sec_l[0] & !C1_min_l[0] & !C1_min_l[1] & !C1_min_l[2] & !C1_min_h[0] & !C1_min_h[1];
C1L1_p2_out = !C1_sec_l[2] & !C1_min_h[2] & !C1_min_l[3] & !choose & !C1_sec_l[1] & C1_sec_l[0] & !C1_min_l[0] & !C1_min_l[1] & !C1_min_l[2] & !C1_min_h[0] & !C1_min_h[1];
C1L1_or_out = C1L1_p1_out # C1L1_p2_out;
C1L1 = C1L1_or_out;


--C1L2 is clk_and_modify:u2|alarm~121
C1L2_p1_out = !C1_sec_l[1] & C1_sec_l[2];
C1L2_p2_out = C1_sec_l[1] & !C1_sec_l[2];
C1L2_p3_out = !C1_sec_l[2] & C1_sec_l[0];
C1L2_or_out = C1L2_p1_out # C1L2_p2_out # C1L2_p3_out;
C1L2 = C1L2_or_out;


--C1L57 is clk_and_modify:u2|p1~479
C1L57_or_out = C1_min_l_alarm[3];
C1L57 = C1_min_l[3] $ C1L57_or_out;


--C1L67 is clk_and_modify:u2|p1~483
C1L67_or_out = C1_hour_l_alarm[0];
C1L67 = C1_hour_l[0] $ C1L67_or_out;


--C1L77 is clk_and_modify:u2|p1~487
C1L77_or_out = C1_hour_l_alarm[1];
C1L77 = C1_hour_l[1] $ C1L77_or_out;


--C1L87 is clk_and_modify:u2|p1~491
C1L87_or_out = C1_hour_l_alarm[2];
C1L87 = C1_hour_l[2] $ C1L87_or_out;


--C1L97 is clk_and_modify:u2|p1~495
C1L97_or_out = C1_hour_l_alarm[3];
C1L97 = C1_hour_l[3] $ C1L97_or_out;


--C1L3 is clk_and_modify:u2|alarm~124
C1L3_p1_out = !C1_sec_l[3] & !C1_sec_h[2] & C1L1 & !C1_sec_h[1] & !C1_sec_h[0];
C1L3_p2_out = !C1_sec_l[3] & !C1_sec_h[2] & !C1_sec_h[1] & !C1_sec_h[0] & C1L2 & !C1L57 & !C1L67 & !C1L77 & !C1L87 & !C1L97 & C1L17 & C1L27 & C1L37 & C1L47;
C1L3_or_out = C1L3_p1_out # C1L3_p2_out;
C1L3 = C1L3_or_out;


--C1_hour_ten[1] is clk_and_modify:u2|hour_ten[1]
C1_hour_ten[1]_p1_out = C1_hour_h_alarm[1] & alarm_modify & !reset;
C1_hour_ten[1]_p2_out = !alarm_modify & !reset & C1_hour_h[1];
C1_hour_ten[1]_p4_out = reset & C1_hour_ten[1];
C1_hour_ten[1]_or_out = C1_hour_ten[1]_p1_out # C1_hour_ten[1]_p2_out # C1_hour_ten[1]_p4_out;
C1_hour_ten[1]_reg_input = C1_hour_ten[1]_or_out;
C1_hour_ten[1] = DFFE(C1_hour_ten[1]_reg_input, B1_y2, , , );


--D1_am_or_pm is time_form:u3|am_or_pm
D1_am_or_pm_p1_out = C1_hour_ten[1] & D1_state;
D1_am_or_pm_p2_out = D1_state & C1_hour_one[3] & C1_hour_ten[0];
D1_am_or_pm_p3_out = D1_state & C1_hour_ten[0] & C1_hour_one[2];
D1_am_or_pm_p4_out = D1_state & C1_hour_ten[0] & C1_hour_one[1];
D1_am_or_pm_or_out = D1_am_or_pm_p1_out # D1_am_or_pm_p2_out # D1_am_or_pm_p3_out # D1_am_or_pm_p4_out;
D1_am_or_pm_reg_input = D1_am_or_pm_or_out;
D1_am_or_pm = DFFE(D1_am_or_pm_reg_input, GLOBAL(clk), , , );


--D1_hour_l_12[1] is time_form:u3|hour_l_12[1]
D1_hour_l_12[1]_p2_out = !C1_hour_one[3] & !C1_hour_one[2] & !C1_hour_one[1];
D1_hour_l_12[1]_p3_out = !C1_hour_ten[1] & !C1_hour_ten[0];
D1_hour_l_12[1]_or_out = D1_hour_l_12[1]_p2_out # D1_hour_l_12[1]_p3_out # !D1_state;
D1_hour_l_12[1]_reg_input = !C1_hour_one[1] $ D1_hour_l_12[1]_or_out;
D1_hour_l_12[1] = DFFE(D1_hour_l_12[1]_reg_input, GLOBAL(clk), , , );


--D1_hour_l_12[3] is time_form:u3|hour_l_12[3]
D1_hour_l_12[3]_p0_out = C1_hour_one[3] & !C1_hour_ten[1] & !C1_hour_ten[0];
D1_hour_l_12[3]_p1_out = D1_state & !C1_hour_one[2] & !C1_hour_one[1] & !C1_hour_one[3] & C1_hour_ten[1];
D1_hour_l_12[3]_p2_out = !D1_state & C1_hour_one[3];
D1_hour_l_12[3]_p3_out = C1_hour_one[2] & C1_hour_one[3];
D1_hour_l_12[3]_p4_out = C1_hour_one[1] & C1_hour_one[3];
D1_hour_l_12[3]_or_out = D1_hour_l_12[3]_p0_out # D1_hour_l_12[3]_p1_out # D1_hour_l_12[3]_p2_out # D1_hour_l_12[3]_p3_out # D1_hour_l_12[3]_p4_out;
D1_hour_l_12[3]_reg_input = D1_hour_l_12[3]_or_out;
D1_hour_l_12[3] = DFFE(D1_hour_l_12[3]_reg_input, GLOBAL(clk), , , );


--D1_hour_l_12[2] is time_form:u3|hour_l_12[2]
D1_hour_l_12[2]_p0_out = C1_hour_one[2] & !C1_hour_ten[1] & !C1_hour_ten[0];
D1_hour_l_12[2]_p1_out = C1_hour_one[1] & C1_hour_one[2];
D1_hour_l_12[2]_p2_out = !C1_hour_one[1] & !C1_hour_one[2] & C1_hour_one[3] & D1_state & C1_hour_ten[1];
D1_hour_l_12[2]_p3_out = !C1_hour_one[1] & !C1_hour_one[2] & C1_hour_one[3] & D1_state & C1_hour_ten[0];
D1_hour_l_12[2]_p4_out = C1_hour_one[2] & !D1_state;
D1_hour_l_12[2]_or_out = D1_hour_l_12[2]_p0_out # D1_hour_l_12[2]_p1_out # D1_hour_l_12[2]_p2_out # D1_hour_l_12[2]_p3_out # D1_hour_l_12[2]_p4_out;
D1_hour_l_12[2]_reg_input = D1_hour_l_12[2]_or_out;
D1_hour_l_12[2] = DFFE(D1_hour_l_12[2]_reg_input, GLOBAL(clk), , , );


--D1_hour_h_12[0] is time_form:u3|hour_h_12[0]
D1_hour_h_12[0]_p0_out = C1_hour_ten[0] & !C1_hour_ten[1] & !C1_hour_one[3] & !C1_hour_one[2] & !C1_hour_one[1];
D1_hour_h_12[0]_p1_out = D1_state & !C1_hour_ten[0] & C1_hour_ten[1] & C1_hour_one[3];
D1_hour_h_12[0]_p2_out = D1_state & !C1_hour_ten[0] & C1_hour_ten[1] & C1_hour_one[2];
D1_hour_h_12[0]_p3_out = D1_state & !C1_hour_ten[0] & C1_hour_ten[1] & C1_hour_one[1];
D1_hour_h_12[0]_p4_out = !D1_state & C1_hour_ten[0];
D1_hour_h_12[0]_or_out = D1_hour_h_12[0]_p0_out # D1_hour_h_12[0]_p1_out # D1_hour_h_12[0]_p2_out # D1_hour_h_12[0]_p3_out # D1_hour_h_12[0]_p4_out;
D1_hour_h_12[0]_reg_input = D1_hour_h_12[0]_or_out;
D1_hour_h_12[0] = DFFE(D1_hour_h_12[0]_reg_input, GLOBAL(clk), , , );


--D1_hour_h_12[1] is time_form:u3|hour_h_12[1]
D1_hour_h_12[1]_p1_out = C1_hour_one[3] & C1_hour_ten[0] & C1_hour_ten[1];
D1_hour_h_12[1]_p2_out = C1_hour_ten[0] & C1_hour_ten[1] & C1_hour_one[2];
D1_hour_h_12[1]_p3_out = C1_hour_ten[0] & C1_hour_ten[1] & C1_hour_one[1];
D1_hour_h_12[1]_p4_out = C1_hour_ten[1] & !D1_state;
D1_hour_h_12[1]_or_out = D1_hour_h_12[1]_p1_out # D1_hour_h_12[1]_p2_out # D1_hour_h_12[1]_p3_out # D1_hour_h_12[1]_p4_out;
D1_hour_h_12[1]_reg_input = D1_hour_h_12[1]_or_out;
D1_hour_h_12[1] = DFFE(D1_hour_h_12[1]_reg_input, GLOBAL(clk), , , );


--E1_mux_out[2] is display:u4|mux_out[2]
E1_mux_out[2]_p0_out = !E1_q[2] & !E1_q[1] & E1_q[0] & C1_sec_ten[2];
E1_mux_out[2]_p1_out = C1_min_one[2] & !E1_q[2] & E1_q[1] & !E1_q[0];
E1_mux_out[2]_p2_out = !E1_q[2] & E1_q[1] & E1_q[0] & C1_min_ten[2];
E1_mux_out[2]_p4_out = !E1_q[2] & !E1_q[1] & !E1_q[0] & C1_sec_one[2];
E1_mux_out[2]_or_out = E1L31 # E1_mux_out[2]_p0_out # E1_mux_out[2]_p1_out # E1_mux_out[2]_p2_out # E1_mux_out[2]_p4_out;
E1_mux_out[2]_reg_input = E1_mux_out[2]_or_out;
E1_mux_out[2] = DFFE(E1_mux_out[2]_reg_input, B1_y, , , );


--E1_mux_out[3] is display:u4|mux_out[3]
E1_mux_out[3]_p1_out = D1_hour_l_12[3] & !E1_q[0] & E1_q[2] & !E1_q[1];
E1_mux_out[3]_p2_out = !E1_q[0] & !E1_q[2] & !E1_q[1] & C1_sec_one[3];
E1_mux_out[3]_p4_out = !E1_q[0] & !E1_q[2] & E1_q[1] & C1_min_one[3];
E1_mux_out[3]_or_out = E1_mux_out[3]_p1_out # E1_mux_out[3]_p2_out # E1_mux_out[3]_p4_out;
E1_mux_out[3]_reg_input = E1_mux_out[3]_or_out;
E1_mux_out[3] = DFFE(E1_mux_out[3]_reg_input, B1_y, , , );


--E1_mux_out[1] is display:u4|mux_out[1]
E1_mux_out[1]_p0_out = E1_q[2] & !E1_q[1] & !E1_q[0] & D1_hour_l_12[1];
E1_mux_out[1]_p1_out = C1_min_ten[1] & !E1_q[2] & E1_q[1] & E1_q[0];
E1_mux_out[1]_p2_out = !E1_q[2] & !E1_q[1] & E1_q[0] & C1_sec_ten[1];
E1_mux_out[1]_p4_out = E1_q[2] & !E1_q[1] & E1_q[0] & D1_hour_h_12[1];
E1_mux_out[1]_or_out = E1L41 # E1_mux_out[1]_p0_out # E1_mux_out[1]_p1_out # E1_mux_out[1]_p2_out # E1_mux_out[1]_p4_out;
E1_mux_out[1]_reg_input = E1_mux_out[1]_or_out;
E1_mux_out[1] = DFFE(E1_mux_out[1]_reg_input, B1_y, , , );


--E1_mux_out[0] is display:u4|mux_out[0]
E1_mux_out[0]_p0_out = E1_q[2] & !E1_q[1] & !E1_q[0] & D1_hour_l_12[0];
E1_mux_out[0]_p1_out = C1_sec_one[0] & !E1_q[2] & !E1_q[1] & !E1_q[0];
E1_mux_out[0]_p2_out = !E1_q[2] & !E1_q[1] & E1_q[0] & C1_sec_ten[0];
E1_mux_out[0]_p4_out = E1_q[2] & !E1_q[1] & E1_q[0] & D1_hour_h_12[0];
E1_mux_out[0]_or_out = E1L51 # E1_mux_out[0]_p0_out # E1_mux_out[0]_p1_out # E1_mux_out[0]_p2_out # E1_mux_out[0]_p4_out;
E1_mux_out[0]_reg_input = E1_mux_out[0]_or_out;
E1_mux_out[0] = DFFE(E1_mux_out[0]_reg_input, B1_y, , , );


--E1L3 is display:u4|mux_o[2]~486
E1L3_p1_out = !E1_mux_out[0] & E1_mux_out[1] & !E1_mux_out[2];
E1L3_or_out = E1L3_p1_out;
E1L3 = !(E1L3_or_out);


--E1L5 is display:u4|mux_o[4]~489
E1L5_p1_out = !E1_mux_out[1] & E1_mux_out[2];
E1L5_or_out = E1L5_p1_out # E1_mux_out[0];
E1L5 = !(E1L5_or_out);


--E1L2 is display:u4|mux_o[1]~494
E1L2_p1_out = !E1_mux_out[1] & !E1_mux_out[0];
E1L2_p2_out = E1_mux_out[1] & E1_mux_out[0];
E1L2_or_out = E1L2_p1_out # E1L2_p2_out # !E1_mux_out[2];
E1L2 = E1L2_or_out;


--E1L7 is display:u4|mux_o[6]~499
E1L7_p1_out = E1_mux_out[2] & !E1_mux_out[1];