clock6.map.eqn

通过VERILOG HDL语言使用CPLD连接PS2键盘.

-- Copyright (C) 1991-2005 Altera Corporation
-- Your use of Altera Corporation's design tools, logic functions 
-- and other software and tools, and its AMPP partner logic 
-- functions, and any output files any of the foregoing 
-- (including device programming or simulation files), and any 
-- associated documentation or information are expressly subject 
-- to the terms and conditions of the Altera Program License 
-- Subscription Agreement, Altera MegaCore Function License 
-- Agreement, or other applicable license agreement, including, 
-- without limitation, that your use is for the sole purpose of 
-- programming logic devices manufactured by Altera and sold by 
-- Altera or its authorized distributors.  Please refer to the 
-- applicable agreement for further details.
--count[15] is count[15]
count[15]_p1_out = count[14] & count[13] & count[12] & count[11] & count[10] & count[9] & count[8] & count[7] & count[6] & count[5] & count[4] & count[3] & count[2] & count[0] & count[1];
count[15]_or_out = count[15];
count[15]_reg_input = count[15]_p1_out $ count[15]_or_out;
count[15] = DFFE(count[15]_reg_input, !GLOBAL(clk), , , );


--count[0] is count[0]
count[0]_reg_input = VCC;
count[0] = TFFE(count[0]_reg_input, !GLOBAL(clk), , , );


--count[22] is count[22]
count[22]_p1_out = count[21] & count[20] & count[19] & count[18] & count[17] & count[16] & count[7] & count[6] & count[5] & count[4] & count[3] & count[2] & count[0] & count[1] & count[15] & count[14] & count[12] & count[13] & count[10] & count[11] & count[9] & count[8] & A1L89;
count[22]_p2_out = count[21] & count[20] & !count[19] & count[18] & !count[17] & !count[16] & !count[7] & !count[6] & !count[5] & count[4] & count[3] & count[2] & count[0] & !count[1] & !count[15] & count[14] & !count[12] & count[13] & !count[10] & !count[11] & !count[9] & !count[8] & count[22];
count[22]_or_out = count[22]_p1_out # count[22]_p2_out;
count[22]_reg_input = count[22]_or_out;
count[22] = TFFE(count[22]_reg_input, !GLOBAL(clk), , , );


--count[13] is count[13]
count[13]_p1_out = count[12] & count[11] & count[10] & count[9] & count[8] & count[7] & count[6] & count[5] & count[4] & count[3] & count[2] & count[0] & count[1] & A1L89;
count[13]_p2_out = !count[12] & !count[11] & !count[10] & !count[9] & !count[8] & !count[7] & !count[6] & !count[5] & count[4] & count[3] & count[2] & count[0] & !count[1] & count[13] & !count[15] & count[14] & count[22] & count[21] & count[20] & !count[19] & count[18] & !count[17] & !count[16];
count[13]_or_out = count[13]_p1_out # count[13]_p2_out;
count[13]_reg_input = count[13]_or_out;
count[13] = TFFE(count[13]_reg_input, !GLOBAL(clk), , , );


--count[14] is count[14]
count[14]_p1_out = count[13] & count[12] & count[11] & count[10] & count[9] & count[8] & count[7] & count[6] & count[5] & count[4] & count[3] & count[2] & count[0] & count[1] & A1L89;
count[14]_p2_out = count[13] & !count[12] & !count[11] & !count[10] & !count[9] & !count[8] & !count[7] & !count[6] & !count[5] & count[4] & count[3] & count[2] & count[0] & !count[1] & count[14] & !count[15] & count[22] & count[21] & count[20] & !count[19] & count[18] & !count[17] & !count[16];
count[14]_or_out = count[14]_p1_out # count[14]_p2_out;
count[14]_reg_input = count[14]_or_out;
count[14] = TFFE(count[14]_reg_input, !GLOBAL(clk), , , );


--count[16] is count[16]
count[16]_p1_out = count[7] & count[6] & count[5] & count[4] & count[3] & count[2] & count[0] & count[1] & count[15] & count[14] & count[12] & count[13] & count[10] & count[11] & count[9] & count[8];
count[16]_or_out = count[16]_p1_out;
count[16]_reg_input = count[16]_or_out;
count[16] = TFFE(count[16]_reg_input, !GLOBAL(clk), , , );


--count[17] is count[17]
count[17]_p1_out = count[16] & count[7] & count[6] & count[5] & count[4] & count[3] & count[2] & count[0] & count[1] & count[15] & count[14] & count[12] & count[13] & count[10] & count[11] & count[9] & count[8];
count[17]_or_out = count[17];
count[17]_reg_input = count[17]_p1_out $ count[17]_or_out;
count[17] = DFFE(count[17]_reg_input, !GLOBAL(clk), , , );


--count[18] is count[18]
count[18]_p1_out = count[17] & count[16] & count[7] & count[6] & count[5] & count[4] & count[3] & count[2] & count[0] & count[1] & count[15] & count[14] & count[12] & count[13] & count[10] & count[11] & count[9] & count[8] & A1L89;
count[18]_p2_out = !count[17] & !count[16] & !count[7] & !count[6] & !count[5] & count[4] & count[3] & count[2] & count[0] & !count[1] & !count[15] & count[14] & !count[12] & count[13] & !count[10] & !count[11] & !count[9] & !count[8] & count[18] & count[22] & count[21] & count[20] & !count[19];
count[18]_or_out = count[18]_p1_out # count[18]_p2_out;
count[18]_reg_input = count[18]_or_out;
count[18] = TFFE(count[18]_reg_input, !GLOBAL(clk), , , );


--count[19] is count[19]
count[19]_p1_out = count[18] & count[17] & count[16] & count[7] & count[6] & count[5] & count[4] & count[3] & count[2] & count[0] & count[1] & count[15] & count[14] & count[12] & count[13] & count[10] & count[11] & count[9] & count[8];
count[19]_or_out = count[19];
count[19]_reg_input = count[19]_p1_out $ count[19]_or_out;
count[19] = DFFE(count[19]_reg_input, !GLOBAL(clk), , , );


--count[20] is count[20]
count[20]_p1_out = count[19] & count[18] & count[17] & count[16] & count[7] & count[6] & count[5] & count[4] & count[3] & count[2] & count[0] & count[1] & count[15] & count[14] & count[12] & count[13] & count[10] & count[11] & count[9] & count[8] & A1L89;
count[20]_p2_out = !count[19] & count[18] & !count[17] & !count[16] & !count[7] & !count[6] & !count[5] & count[4] & count[3] & count[2] & count[0] & !count[1] & !count[15] & count[14] & !count[12] & count[13] & !count[10] & !count[11] & !count[9] & !count[8] & count[20] & count[22] & count[21];
count[20]_or_out = count[20]_p1_out # count[20]_p2_out;
count[20]_reg_input = count[20]_or_out;
count[20] = TFFE(count[20]_reg_input, !GLOBAL(clk), , , );


--count[21] is count[21]
count[21]_p1_out = count[20] & count[19] & count[18] & count[17] & count[16] & count[7] & count[6] & count[5] & count[4] & count[3] & count[2] & count[0] & count[1] & count[15] & count[14] & count[12] & count[13] & count[10] & count[11] & count[9] & count[8] & A1L89;
count[21]_p2_out = count[20] & !count[19] & count[18] & !count[17] & !count[16] & !count[7] & !count[6] & !count[5] & count[4] & count[3] & count[2] & count[0] & !count[1] & !count[15] & count[14] & !count[12] & count[13] & !count[10] & !count[11] & !count[9] & !count[8] & count[21] & count[22];
count[21]_or_out = count[21]_p1_out # count[21]_p2_out;
count[21]_reg_input = count[21]_or_out;
count[21] = TFFE(count[21]_reg_input, !GLOBAL(clk), , , );


--count[1] is count[1]
count[1]_p1_out = !count[12] & !count[10] & !count[11] & !count[7] & !count[6] & !count[5] & count[4] & count[3] & count[2] & !count[15] & count[14] & count[13] & !count[9] & !count[8] & count[22] & count[21] & count[20] & !count[19] & count[18] & !count[17] & !count[16] & !count[1];
count[1]_or_out = count[1]_p1_out # !count[0];
count[1]_reg_input = !count[1]_or_out;
count[1] = TFFE(count[1]_reg_input, !GLOBAL(clk), , , );


--sec is sec
sec_p1_out = !count[12] & !count[10] & !count[11] & count[0] & !count[7] & !count[6] & !count[5] & count[4] & count[3] & count[2] & !count[1] & !count[15] & count[14] & count[13] & !count[9] & !count[8] & count[22] & count[21] & count[20] & !count[19] & count[18] & !count[17] & !count[16];
sec_or_out = sec_p1_out;
sec_reg_input = sec_or_out;
sec = TFFE(sec_reg_input, !GLOBAL(clk), , , );


--min[3] is min[3]
min[3]_p1_out = min[1] & min[0] & min[2];
min[3]_p2_out = !min[1] & min[0] & !min[2] & min[3];
min[3]_or_out = min[3]_p1_out # min[3]_p2_out;
min[3]_reg_input = min[3]_or_out;
min[3] = TFFE(min[3]_reg_input, !sec, , , );


--min[0] is min[0]
min[0]_reg_input = VCC;
min[0] = TFFE(min[0]_reg_input, !sec, , , );


--min[1] is min[1]
min[1]_p1_out = min[3] & !min[2] & !min[1];
min[1]_or_out = min[1]_p1_out # !min[0];
min[1]_reg_input = !min[1]_or_out;
min[1] = TFFE(min[1]_reg_input, !sec, , , );


--count[2] is count[2]
count[2]_p1_out = !count[12] & !count[10] & !count[11] & !count[7] & !count[6] & !count[5] & count[4] & count[3] & !count[15] & count[14] & count[13] & !count[9] & !count[8] & count[22] & count[21] & count[20] & !count[19] & count[18] & !count[17] & !count[16] & count[0] & count[2];
count[2]_p2_out = count[0] & count[1];
count[2]_or_out = count[2]_p1_out # count[2]_p2_out;
count[2]_reg_input = count[2]_or_out;
count[2] = TFFE(count[2]_reg_input, !GLOBAL(clk), , , );


--min[2] is min[2]
min[2]_p1_out = min[0] & min[1];
min[2]_or_out = min[2]_p1_out;
min[2]_reg_input = min[2]_or_out;
min[2] = TFFE(min[2]_reg_input, !sec, , , );


--count[3] is count[3]
count[3]_p1_out = !count[12] & !count[10] & !count[11] & !count[7] & !count[6] & !count[5] & count[4] & !count[15] & count[14] & count[13] & !count[9] & !count[8] & count[22] & count[21] & count[20] & !count[19] & count[18] & !count[17] & !count[16] & count[2] & count[3] & count[0];
count[3]_p2_out = count[2] & count[0] & count[1];
count[3]_or_out = count[3]_p1_out # count[3]_p2_out;
count[3]_reg_input = count[3]_or_out;
count[3] = TFFE(count[3]_reg_input, !GLOBAL(clk), , , );


--min[4] is min[4]
min[4]_p1_out = min[0] & min[3] & !min[2] & !min[1];
min[4]_or_out = min[4]_p1_out;
min[4]_reg_input = min[4]_or_out;
min[4] = TFFE(min[4]_reg_input, !sec, , , );


--min[7] is min[7]
min[7]_p1_out = min[6] & min[4] & min[5] & min[0] & min[3] & !min[2] & !min[1];
min[7]_or_out = min[7]_p1_out;
min[7]_reg_input = min[7]_or_out;
min[7] = TFFE(min[7]_reg_input, !sec, , , );


--min[6] is min[6]
min[6]_p1_out = !min[7] & min[4] & min[0] & min[3] & !min[2] & !min[1] & min[6];
min[6]_p2_out = min[4] & min[0] & min[3] & !min[2] & !min[1] & min[5];
min[6]_or_out = min[6]_p1_out # min[6]_p2_out;
min[6]_reg_input = min[6]_or_out;
min[6] = TFFE(min[6]_reg_input, !sec, , , );


--count[4] is count[4]
count[4]_p1_out = !count[12] & !count[10] & !count[11] & !count[7] & !count[6] & !count[5] & !count[15] & count[14] & count[13] & !count[9] & !count[8] & count[22] & count[21] & count[20] & !count[19] & count[18] & !count[17] & !count[16] & count[3] & count[4] & count[2] & count[0];
count[4]_p2_out = count[3] & count[2] & count[0] & count[1];
count[4]_or_out = count[4]_p1_out # count[4]_p2_out;
count[4]_reg_input = count[4]_or_out;
count[4] = TFFE(count[4]_reg_input, !GLOBAL(clk), , , );


--min[5] is min[5]
min[5]_p1_out = !min[6] & min[4] & min[0] & min[3] & !min[2] & !min[1];
min[5]_p2_out = min[4] & min[0] & min[3] & !min[2] & !min[1] & min[7];
min[5]_p4_out = min[4] & min[0] & min[3] & !min[2] & !min[1] & min[5];
min[5]_or_out = min[5]_p1_out # min[5]_p2_out # min[5]_p4_out;
min[5]_reg_input = min[5]_or_out;
min[5] = TFFE(min[5]_reg_input, !sec, , , );


--count[5] is count[5]
count[5]_p1_out = count[4] & count[3] & count[2] & count[0] & count[1];
count[5]_or_out = count[5];
count[5]_reg_input = count[5]_p1_out $ count[5]_or_out;
count[5] = DFFE(count[5]_reg_input, !GLOBAL(clk), , , );


--min[8] is min[8]
min[8]_p1_out = min[0] & min[3] & !min[2] & !min[1] & min[4] & min[6] & !min[5] & !min[7];
min[8]_or_out = min[8]_p1_out;
min[8]_reg_input = min[8]_or_out;
min[8] = TFFE(min[8]_reg_input, !sec, , , );


--min[11] is min[11]
min[11]_p1_out = min[10] & min[8] & min[9] & min[0] & min[3] & !min[2] & !min[1] & min[4] & min[6] & !min[7] & !min[5];
min[11]_p2_out = !min[10] & min[8] & !min[9] & min[0] & min[3] & !min[2] & !min[1] & min[4] & min[6] & !min[7] & !min[5] & min[11];
min[11]_or_out = min[11]_p1_out # min[11]_p2_out;
min[11]_reg_input = min[11]_or_out;
min[11] = TFFE(min[11]_reg_input, !sec, , , );


--count[6] is count[6]
count[6]_p1_out = count[5] & count[4] & count[3] & count[2] & count[0] & count[1];
count[6]_or_out = count[6];
count[6]_reg_input = count[6]_p1_out $ count[6]_or_out;
count[6] = DFFE(count[6]_reg_input, !GLOBAL(clk), , , );


--min[9] is min[9]
min[9]_p1_out = !min[11] & min[8] & min[0] & min[3] & !min[2] & !min[1] & min[4] & min[6] & !min[7] & !min[5];
min[9]_p2_out = min[8] & min[0] & min[3] & !min[2] & !min[1] & min[4] & min[6] & !min[7] & !min[5] & min[10];
min[9]_p4_out = min[8] & min[0] & min[3] & !min[2] & !min[1] & min[4] & min[6] & !min[7] & !min[5] & min[9];
min[9]_or_out = min[9]_p1_out # min[9]_p2_out # min[9]_p4_out;
min[9]_reg_input = min[9]_or_out;
min[9] = TFFE(min[9]_reg_input, !sec, , , );


--count[7] is count[7]
count[7]_p1_out = count[6] & count[5] & count[4] & count[3] & count[2] & count[0] & count[1];
count[7]_or_out = count[7];
count[7]_reg_input = count[7]_p1_out $ count[7]_or_out;
count[7] = DFFE(count[7]_reg_input, !GLOBAL(clk), , , );


--min[10] is min[10]
min[10]_p1_out = min[8] & min[9] & min[0] & min[3] & !min[2] & !min[1] & min[4] & min[6] & !min[7] & !min[5];
min[10]_or_out = min[10]_p1_out;
min[10]_reg_input = min[10]_or_out;
min[10] = TFFE(min[10]_reg_input, !sec, , , );


--count[8] is count[8]
count[8]_p1_out = count[7] & count[6] & count[5] & count[4] & count[3] & count[2] & count[0] & count[1];
count[8]_or_out = count[8]_p1_out;
count[8]_reg_input = count[8]_or_out;
count[8] = TFFE(count[8]_reg_input, !GLOBAL(clk), , , );


--min[12] is min[12]
min[12]_p1_out = min[0] & min[3] & !min[2] & !min[1] & min[4] & min[6] & !min[5] & !min[7] & min[8] & min[11] & !min[10] & !min[9];
min[12]_or_out = min[12]_p1_out;
min[12]_reg_input = min[12]_or_out;
min[12] = TFFE(min[12]_reg_input, !sec, , , );


--min[15] is min[15]
min[15]_p1_out = min[14] & min[12] & min[13] & min[0] & min[3] & !min[2] & !min[1] & min[4] & min[6] & !min[7] & !min[5] & min[8] & min[11] & !min[10] & !min[9];
min[15]_or_out = min[15]_p1_out;
min[15]_reg_input = min[15]_or_out;
min[15] = TFFE(min[15]_reg_input, !sec, , , );


--min[14] is min[14]
min[14]_p1_out = !min[15] & min[12] & min[0] & min[3] & !min[2] & !min[1] & min[4] & min[6] & !min[7] & !min[5] & min[8] & min[11] & !min[10] & !min[9] & min[14];
min[14]_p2_out = min[12] & min[0] & min[3] & !min[2] & !min[1] & min[4] & min[6] & !min[7] & !min[5] & min[8] & min[11] & !min[10] & !min[9] & min[13];
min[14]_or_out = min[14]_p1_out # min[14]_p2_out;
min[14]_reg_input = min[14]_or_out;
min[14] = TFFE(min[14]_reg_input, !sec, , , );


--count[9] is count[9]
count[9]_p1_out = count[8] & count[7] & count[6] & count[5] & count[4] & count[3] & count[2] & count[0] & count[1];
count[9]_or_out = count[9];
count[9]_reg_input = count[9]_p1_out $ count[9]_or_out;
count[9] = DFFE(count[9]_reg_input, !GLOBAL(clk), , , );


--min[13] is min[13]
min[13]_p1_out = !min[14] & min[12] & min[0] & min[3] & !min[2] & !min[1] & min[4] & min[6] & !min[7] & !min[5] & min[8] & min[11] & !min[10] & !min[9];
min[13]_p2_out = min[12] & min[0] & min[3] & !min[2] & !min[1] & min[4] & min[6] & !min[7] & !min[5] & min[8] & min[11] & !min[10] & !min[9] & min[15];
min[13]_p4_out = min[12] & min[0] & min[3] & !min[2] & !min[1] & min[4] & min[6] & !min[7] & !min[5] & min[8] & min[11] & !min[10] & !min[9] & min[13];
min[13]_or_out = min[13]_p1_out # min[13]_p2_out # min[13]_p4_out;
min[13]_reg_input = min[13]_or_out;
min[13] = TFFE(min[13]_reg_input, !sec, , , );


--count[10] is count[10]
count[10]_p1_out = count[9] & count[8] & count[7] & count[6] & count[5] & count[4] & count[3] & count[2] & count[0] & count[1];
count[10]_or_out = count[10];
count[10]_reg_input = count[10]_p1_out $ count[10]_or_out;
count[10] = DFFE(count[10]_reg_input, !GLOBAL(clk), , , );


--min[16] is min[16]
min[16]_p1_out = min[0] & min[3] & !min[2] & !min[1] & min[4] & min[6] & !min[5] & !min[7] & min[8] & min[11] & !min[10] & !min[9] & min[12] & min[14] & !min[13] & !min[15];
min[16]_or_out = min[16]_p1_out;
min[16]_reg_input = min[16]_or_out;
min[16] = TFFE(min[16]_reg_input, !sec, , , );


--min[19] is min[19]
min[19]_p1_out = min[18] & min[16] & min[17] & min[0] & min[3] & !min[2] & !min[1] & min[4] & min[6] & !min[7] & !min[5] & min[8] & min[11] & !min[10] & !min[9] & min[12] & min[14] & !min[15] & !min[13];
min[19]_p2_out = !min[18] & min[16] & !min[17] & min[0] & min[3] & !min[2] & !min[1] & min[4] & min[6] & !min[7] & !min[5] & min[8] & min[11] & !min[10] & !min[9] & min[12] & min[14] & !min[15] & !min[13] & min[19];
min[19]_or_out = min[19]_p1_out # min[19]_p2_out;
min[19]_reg_input = min[19]_or_out;
min[19] = TFFE(min[19]_reg_input, !sec, , , );


--count[11] is count[11]
count[11]_p1_out = count[10] & count[9] & count[8] & count[7] & count[6] & count[5] & count[4] & count[3] & count[2] & count[0] & count[1];
count[11]_or_out = count[11];
count[11]_reg_input = count[11]_p1_out $ count[11]_or_out;
count[11] = DFFE(count[11]_reg_input, !GLOBAL(clk), , , );


--min[17] is min[17]
min[17]_p1_out = !min[19] & min[16] & min[0] & min[3] & !min[2] & !min[1] & min[4] & min[6] & !min[7] & !min[5] & min[8] & min[11] & !min[10] & !min[9] & min[12] & min[14] & !min[15] & !min[13];
min[17]_p2_out = min[16] & min[0] & min[3] & !min[2] & !min[1] & min[4] & min[6] & !min[7] & !min[5] & min[8] & min[11] & !min[10] & !min[9] & min[12] & min[14] & !min[15] & !min[13] & min[18];
min[17]_p4_out = min[16] & min[0] & min[3] & !min[2] & !min[1] & min[4] & min[6] & !min[7] & !min[5] & min[8] & min[11] & !min[10] & !min[9] & min[12] & min[14] & !min[15] & !min[13] & min[17];
min[17]_or_out = min[17]_p1_out # min[17]_p2_out # min[17]_p4_out;
min[17]_reg_input = min[17]_or_out;
min[17] = TFFE(min[17]_reg_input, !sec, , , );


--count[12] is count[12]
count[12]_p1_out = count[11] & count[10] & count[9] & count[8] & count[7] & count[6] & count[5] & count[4] & count[3] & count[2] & count[0] & count[1];
count[12]_or_out = count[12];
count[12]_reg_input = count[12]_p1_out $ count[12]_or_out;
count[12] = DFFE(count[12]_reg_input, !GLOBAL(clk), , , );


--min[18] is min[18]
min[18]_p1_out = min[16] & min[17] & min[0] & min[3] & !min[2] & !min[1] & min[4] & min[6] & !min[7] & !min[5] & min[8] & min[11] & !min[10] & !min[9] & min[12] & min[14] & !min[15] & !min[13];
min[18]_or_out = min[18]_p1_out;
min[18]_reg_input = min[18]_or_out;
min[18] = TFFE(min[18]_reg_input, !sec, , , );


--min[20] is min[20]
min[20]_p1_out = min[0] & min[3] & !min[2] & !min[1] & min[4] & min[6] & !min[7] & !min[5] & min[8] & min[11] & !min[10] & !min[9] & min[12] & min[14] & !min[15] & !min[13] & min[16] & min[19] & !min[18] & !min[17];
min[20]_or_out = min[20]_p1_out;
min[20]_reg_input = min[20]_or_out;
min[20] = TFFE(min[20]_reg_input, !sec, , , );


--min[23] is min[23]
min[23]_p1_out = min[22] & min[20] & min[21] & min[0] & min[3] & !min[2] & !min[1] & min[4] & min[6] & !min[7] & !min[5] & min[8] & min[11] & !min[10] & !min[9] & min[12] & min[14] & !min[15] & !min[13] & min[16] & min[19] & !min[18] & !min[17];
min[23]_or_out = min[23]_p1_out;
min[23]_reg_input = min[23]_or_out;
min[23] = TFFE(min[23]_reg_input, !sec, , , );


--min[22] is min[22]
min[22]_p1_out = !min[23] & min[20] & min[0] & min[3] & !min[2] & !min[1] & min[4] & min[6] & !min[7] & !min[5] & min[8] & min[11] & !min[10] & !min[9] & min[12] & min[14] & !min[15] & !min[13] & min[16] & min[19] & !min[18] & !min[17] & min[22];
min[22]_p2_out = min[20] & min[0] & min[3] & !min[2] & !min[1] & min[4] & min[6] & !min[7] & !min[5] & min[8] & min[11] & !min[10] & !min[9] & min[12] & min[14] & !min[15] & !min[13] & min[16] & min[19] & !min[18] & !min[17] & min[21];
min[22]_or_out = min[22]_p1_out # min[22]_p2_out;
min[22]_reg_input = min[22]_or_out;
min[22] = TFFE(min[22]_reg_input, !sec, , , );


--A1L2 is Select~1551
A1L2_p0_out = count[12] & !count[11] & !count[10] & min[16];
A1L2_p1_out = min[0] & !count[12] & !count[11] & !count[10];
A1L2_p2_out = !count[12] & count[11] & count[10] & min[12];
A1L2_p3_out = !count[12] & count[11] & !count[10] & min[8];
A1L2_p4_out = count[12] & !count[11] & count[10] & min[20];
A1L2_or_out = A1L6 # A1L2_p0_out # A1L2_p1_out # A1L2_p2_out # A1L2_p3_out # A1L2_p4_out;
A1L2 = A1L2_or_out;