clock.fit.eqn

一些Verilog学习程序B

dataout_buf[1][3]_reg_input = dataout_buf[1][3]_or_out;
dataout_buf[1][3]_p3_out = cnt[25] & !cnt[24] & !cnt[23] & cnt[22] & cnt[21] & !cnt[20] & !cnt[19] & !cnt[18] & cnt[17] & !cnt[16] & !cnt[15] & cnt[14] & !cnt[13] & cnt[12] & cnt[11] & !cnt[10] & cnt[9] & !cnt[8] & !cnt[7] & !cnt[6] & !cnt[5] & !cnt[4] & !cnt[3] & !cnt[2] & !cnt[1] & !cnt[0] & dataout_buf[0][3] & dataout_buf[0][0] & !dataout_buf[0][1] & !dataout_buf[0][2];
dataout_buf[1][3] = TFFE(dataout_buf[1][3]_reg_input, GLOBAL(clk), GLOBAL(rst), , dataout_buf[1][3]_p3_out);


--dataout_buf[3][0] is dataout_buf[3][0] at LC3
dataout_buf[3][0]_reg_input = VCC;
dataout_buf[3][0]_p3_out = cnt[25] & !cnt[24] & !cnt[23] & cnt[22] & cnt[21] & !cnt[20] & !cnt[19] & !cnt[18] & cnt[17] & !cnt[16] & !cnt[15] & cnt[14] & !cnt[13] & cnt[12] & cnt[11] & !cnt[10] & cnt[9] & !cnt[8] & !cnt[7] & !cnt[6] & !cnt[5] & !cnt[4] & !cnt[3] & !cnt[2] & !cnt[1] & !cnt[0] & !dataout_buf[1][3] & dataout_buf[1][0] & !dataout_buf[1][1] & dataout_buf[1][2] & dataout_buf[0][3] & dataout_buf[0][0] & !dataout_buf[0][1] & !dataout_buf[0][2];
dataout_buf[3][0] = TFFE(dataout_buf[3][0]_reg_input, GLOBAL(clk), GLOBAL(rst), , dataout_buf[3][0]_p3_out);


--dataout_buf[3][1] is dataout_buf[3][1] at LC17
dataout_buf[3][1]_p1_out = dataout_buf[3][3] & !dataout_buf[3][2] & !dataout_buf[1][3] & dataout_buf[1][0] & !dataout_buf[1][1] & dataout_buf[1][2] & dataout_buf[0][3] & dataout_buf[0][0] & !dataout_buf[0][1] & !dataout_buf[0][2] & !dataout_buf[3][1];
dataout_buf[3][1]_or_out = dataout_buf[3][1]_p1_out # !dataout_buf[3][0];
dataout_buf[3][1]_reg_input = !dataout_buf[3][1]_or_out;
dataout_buf[3][1]_p3_out = !dataout_buf[1][3] & dataout_buf[1][0] & !dataout_buf[1][1] & dataout_buf[1][2] & dataout_buf[0][3] & dataout_buf[0][0] & !dataout_buf[0][1] & !dataout_buf[0][2] & A1L601;
dataout_buf[3][1] = TFFE(dataout_buf[3][1]_reg_input, GLOBAL(clk), GLOBAL(rst), , dataout_buf[3][1]_p3_out);


--dataout_buf[3][2] is dataout_buf[3][2] at LC13
dataout_buf[3][2]_p1_out = dataout_buf[3][0] & dataout_buf[3][1];
dataout_buf[3][2]_or_out = dataout_buf[3][2]_p1_out;
dataout_buf[3][2]_reg_input = dataout_buf[3][2]_or_out;
dataout_buf[3][2]_p3_out = cnt[25] & !cnt[24] & !cnt[23] & cnt[22] & cnt[21] & !cnt[20] & !cnt[19] & !cnt[18] & cnt[17] & !cnt[16] & !cnt[15] & cnt[14] & !cnt[13] & cnt[12] & cnt[11] & !cnt[10] & cnt[9] & !cnt[8] & !cnt[7] & !cnt[6] & !cnt[5] & !cnt[4] & !cnt[3] & !cnt[2] & !cnt[1] & !cnt[0] & !dataout_buf[1][3] & dataout_buf[1][0] & !dataout_buf[1][1] & dataout_buf[1][2] & dataout_buf[0][3] & dataout_buf[0][0] & !dataout_buf[0][1] & !dataout_buf[0][2];
dataout_buf[3][2] = TFFE(dataout_buf[3][2]_reg_input, GLOBAL(clk), GLOBAL(rst), , dataout_buf[3][2]_p3_out);


--dataout_buf[3][3] is dataout_buf[3][3] at LC20
dataout_buf[3][3]_p1_out = dataout_buf[3][0] & dataout_buf[3][1] & dataout_buf[3][2];
dataout_buf[3][3]_p2_out = dataout_buf[3][0] & !dataout_buf[3][1] & !dataout_buf[3][2] & !dataout_buf[1][3] & dataout_buf[1][0] & !dataout_buf[1][1] & dataout_buf[1][2] & dataout_buf[0][3] & dataout_buf[0][0] & !dataout_buf[0][1] & !dataout_buf[0][2] & dataout_buf[3][3];
dataout_buf[3][3]_or_out = dataout_buf[3][3]_p1_out # dataout_buf[3][3]_p2_out;
dataout_buf[3][3]_reg_input = dataout_buf[3][3]_or_out;
dataout_buf[3][3]_p3_out = !dataout_buf[1][3] & dataout_buf[1][0] & !dataout_buf[1][1] & dataout_buf[1][2] & dataout_buf[0][3] & dataout_buf[0][0] & !dataout_buf[0][1] & !dataout_buf[0][2] & A1L601;
dataout_buf[3][3] = TFFE(dataout_buf[3][3]_reg_input, GLOBAL(clk), GLOBAL(rst), , dataout_buf[3][3]_p3_out);


--dataout_buf[4][0] is dataout_buf[4][0] at LC26
dataout_buf[4][0]_reg_input = VCC;
dataout_buf[4][0]_p3_out = dataout_buf[3][3] & dataout_buf[3][0] & !dataout_buf[3][1] & !dataout_buf[3][2] & A1L601 & !dataout_buf[1][3] & dataout_buf[1][0] & !dataout_buf[1][1] & dataout_buf[1][2] & dataout_buf[0][3] & dataout_buf[0][0] & !dataout_buf[0][1] & !dataout_buf[0][2];
dataout_buf[4][0] = TFFE(dataout_buf[4][0]_reg_input, GLOBAL(clk), GLOBAL(rst), , dataout_buf[4][0]_p3_out);


--dataout_buf[4][1] is dataout_buf[4][1] at LC19
dataout_buf[4][1]_p1_out = !dataout_buf[4][3] & dataout_buf[4][2] & dataout_buf[3][3] & dataout_buf[3][0] & !dataout_buf[3][1] & !dataout_buf[3][2] & !dataout_buf[1][3] & dataout_buf[1][0] & !dataout_buf[1][1] & dataout_buf[1][2] & dataout_buf[0][3] & dataout_buf[0][0] & !dataout_buf[0][1] & !dataout_buf[0][2] & !dataout_buf[4][1];
dataout_buf[4][1]_or_out = dataout_buf[4][1]_p1_out # !dataout_buf[4][0];
dataout_buf[4][1]_reg_input = !dataout_buf[4][1]_or_out;
dataout_buf[4][1]_p3_out = dataout_buf[3][3] & dataout_buf[3][0] & !dataout_buf[3][1] & !dataout_buf[3][2] & !dataout_buf[1][3] & dataout_buf[1][0] & !dataout_buf[1][1] & dataout_buf[1][2] & dataout_buf[0][3] & dataout_buf[0][0] & !dataout_buf[0][1] & !dataout_buf[0][2] & A1L601;
dataout_buf[4][1] = TFFE(dataout_buf[4][1]_reg_input, GLOBAL(clk), GLOBAL(rst), , dataout_buf[4][1]_p3_out);


--dataout_buf[4][2] is dataout_buf[4][2] at LC24
dataout_buf[4][2]_p1_out = !dataout_buf[4][3] & dataout_buf[3][3] & dataout_buf[3][0] & !dataout_buf[3][1] & !dataout_buf[3][2] & !dataout_buf[1][3] & dataout_buf[1][0] & !dataout_buf[1][1] & dataout_buf[1][2] & dataout_buf[0][3] & dataout_buf[0][0] & !dataout_buf[0][1] & !dataout_buf[0][2] & dataout_buf[4][0] & dataout_buf[4][2];
dataout_buf[4][2]_p2_out = dataout_buf[4][0] & dataout_buf[4][1];
dataout_buf[4][2]_or_out = dataout_buf[4][2]_p1_out # dataout_buf[4][2]_p2_out;
dataout_buf[4][2]_reg_input = dataout_buf[4][2]_or_out;
dataout_buf[4][2]_p3_out = dataout_buf[3][3] & dataout_buf[3][0] & !dataout_buf[3][1] & !dataout_buf[3][2] & !dataout_buf[1][3] & dataout_buf[1][0] & !dataout_buf[1][1] & dataout_buf[1][2] & dataout_buf[0][3] & dataout_buf[0][0] & !dataout_buf[0][1] & !dataout_buf[0][2] & A1L601;
dataout_buf[4][2] = TFFE(dataout_buf[4][2]_reg_input, GLOBAL(clk), GLOBAL(rst), , dataout_buf[4][2]_p3_out);


--dataout_buf[4][3] is dataout_buf[4][3] at LC25
dataout_buf[4][3]_p1_out = dataout_buf[4][2] & dataout_buf[4][0] & dataout_buf[4][1];
dataout_buf[4][3]_or_out = dataout_buf[4][3]_p1_out;
dataout_buf[4][3]_reg_input = dataout_buf[4][3]_or_out;
dataout_buf[4][3]_p3_out = dataout_buf[3][3] & dataout_buf[3][0] & !dataout_buf[3][1] & !dataout_buf[3][2] & A1L601 & !dataout_buf[1][3] & dataout_buf[1][0] & !dataout_buf[1][1] & dataout_buf[1][2] & dataout_buf[0][3] & dataout_buf[0][0] & !dataout_buf[0][1] & !dataout_buf[0][2];
dataout_buf[4][3] = TFFE(dataout_buf[4][3]_reg_input, GLOBAL(clk), GLOBAL(rst), , dataout_buf[4][3]_p3_out);


--dataout_buf[6][0] is dataout_buf[6][0] at LC28
dataout_buf[6][0]_reg_input = VCC;
dataout_buf[6][0]_p3_out = dataout_buf[3][3] & dataout_buf[3][0] & !dataout_buf[3][1] & !dataout_buf[3][2] & A1L601 & !dataout_buf[1][3] & dataout_buf[1][0] & !dataout_buf[1][1] & dataout_buf[1][2] & dataout_buf[0][3] & dataout_buf[0][0] & !dataout_buf[0][1] & !dataout_buf[0][2] & !dataout_buf[4][3] & dataout_buf[4][0] & !dataout_buf[4][1] & dataout_buf[4][2];
dataout_buf[6][0] = TFFE(dataout_buf[6][0]_reg_input, GLOBAL(clk), GLOBAL(rst), , dataout_buf[6][0]_p3_out);


--dataout_buf[6][1] is dataout_buf[6][1] at LC30
dataout_buf[6][1]_p1_out = dataout_buf[6][3] & !dataout_buf[6][2] & !dataout_buf[4][3] & dataout_buf[4][0] & !dataout_buf[4][1] & dataout_buf[4][2] & dataout_buf[3][3] & dataout_buf[3][0] & !dataout_buf[3][1] & !dataout_buf[3][2] & !dataout_buf[1][3] & dataout_buf[1][0] & !dataout_buf[1][1] & dataout_buf[1][2] & dataout_buf[0][3] & dataout_buf[0][0] & !dataout_buf[0][1] & !dataout_buf[0][2] & dataout_buf[6][1];
dataout_buf[6][1]_or_out = dataout_buf[6][1]_p1_out # !dataout_buf[6][0];
dataout_buf[6][1]_reg_input = !dataout_buf[6][1]_or_out;
dataout_buf[6][1]_p3_out = !dataout_buf[4][3] & dataout_buf[4][0] & !dataout_buf[4][1] & dataout_buf[4][2] & dataout_buf[3][3] & dataout_buf[3][0] & !dataout_buf[3][1] & !dataout_buf[3][2] & !dataout_buf[1][3] & dataout_buf[1][0] & !dataout_buf[1][1] & dataout_buf[1][2] & dataout_buf[0][3] & dataout_buf[0][0] & !dataout_buf[0][1] & !dataout_buf[0][2] & A1L601;
dataout_buf[6][1] = TFFE(dataout_buf[6][1]_reg_input, GLOBAL(clk), GLOBAL(rst), , dataout_buf[6][1]_p3_out);


--dataout_buf[6][2] is dataout_buf[6][2] at LC31
dataout_buf[6][2]_p1_out = dataout_buf[6][0] & !dataout_buf[6][1];
dataout_buf[6][2]_or_out = dataout_buf[6][2]_p1_out;
dataout_buf[6][2]_reg_input = dataout_buf[6][2]_or_out;
dataout_buf[6][2]_p3_out = dataout_buf[3][3] & dataout_buf[3][0] & !dataout_buf[3][1] & !dataout_buf[3][2] & A1L601 & !dataout_buf[1][3] & dataout_buf[1][0] & !dataout_buf[1][1] & dataout_buf[1][2] & dataout_buf[0][3] & dataout_buf[0][0] & !dataout_buf[0][1] & !dataout_buf[0][2] & !dataout_buf[4][3] & dataout_buf[4][0] & !dataout_buf[4][1] & dataout_buf[4][2];
dataout_buf[6][2] = TFFE(dataout_buf[6][2]_reg_input, GLOBAL(clk), GLOBAL(rst), , dataout_buf[6][2]_p3_out);


--dataout_buf[6][3] is dataout_buf[6][3] at LC32
dataout_buf[6][3]_p1_out = dataout_buf[6][0] & !dataout_buf[6][1] & dataout_buf[6][2];
dataout_buf[6][3]_p2_out = dataout_buf[6][0] & dataout_buf[6][1] & !dataout_buf[6][2] & !dataout_buf[4][3] & dataout_buf[4][0] & !dataout_buf[4][1] & dataout_buf[4][2] & dataout_buf[3][3] & dataout_buf[3][0] & !dataout_buf[3][1] & !dataout_buf[3][2] & !dataout_buf[1][3] & dataout_buf[1][0] & !dataout_buf[1][1] & dataout_buf[1][2] & dataout_buf[0][3] & dataout_buf[0][0] & !dataout_buf[0][1] & !dataout_buf[0][2] & dataout_buf[6][3];
dataout_buf[6][3]_or_out = dataout_buf[6][3]_p1_out # dataout_buf[6][3]_p2_out;
dataout_buf[6][3]_reg_input = dataout_buf[6][3]_or_out;
dataout_buf[6][3]_p3_out = !dataout_buf[4][3] & dataout_buf[4][0] & !dataout_buf[4][1] & dataout_buf[4][2] & dataout_buf[3][3] & dataout_buf[3][0] & !dataout_buf[3][1] & !dataout_buf[3][2] & !dataout_buf[1][3] & dataout_buf[1][0] & !dataout_buf[1][1] & dataout_buf[1][2] & dataout_buf[0][3] & dataout_buf[0][0] & !dataout_buf[0][1] & !dataout_buf[0][2] & A1L601;
dataout_buf[6][3] = TFFE(dataout_buf[6][3]_reg_input, GLOBAL(clk), GLOBAL(rst), , dataout_buf[6][3]_p3_out);


--dataout_buf[7][0] is dataout_buf[7][0] at LC29
dataout_buf[7][0]_reg_input = VCC;
dataout_buf[7][0]_p3_out = dataout_buf[6][3] & dataout_buf[6][0] & dataout_buf[6][1] & !dataout_buf[6][2] & dataout_buf[3][3] & dataout_buf[3][0] & !dataout_buf[3][1] & !dataout_buf[3][2] & A1L601 & !dataout_buf[1][3] & dataout_buf[1][0] & !dataout_buf[1][1] & dataout_buf[1][2] & dataout_buf[0][3] & dataout_buf[0][0] & !dataout_buf[0][1] & !dataout_buf[0][2] & !dataout_buf[4][3] & dataout_buf[4][0] & !dataout_buf[4][1] & dataout_buf[4][2];
dataout_buf[7][0] = TFFE(dataout_buf[7][0]_reg_input, GLOBAL(clk), GLOBAL(rst), , dataout_buf[7][0]_p3_out);


--dataout_buf[7][1] is dataout_buf[7][1] at LC27
dataout_buf[7][1]_or_out = !dataout_buf[7][0];
dataout_buf[7][1]_reg_input = dataout_buf[7][1]_or_out;
dataout_buf[7][1]_p3_out = dataout_buf[6][3] & dataout_buf[6][0] & dataout_buf[6][1] & !dataout_buf[6][2] & dataout_buf[3][3] & dataout_buf[3][0] & !dataout_buf[3][1] & !dataout_buf[3][2] & A1L601 & !dataout_buf[1][3] & dataout_buf[1][0] & !dataout_buf[1][1] & dataout_buf[1][2] & dataout_buf[0][3] & dataout_buf[0][0] & !dataout_buf[0][1] & !dataout_buf[0][2] & !dataout_buf[4][3] & dataout_buf[4][0] & !dataout_buf[4][1] & dataout_buf[4][2];
dataout_buf[7][1] = TFFE(dataout_buf[7][1]_reg_input, GLOBAL(clk), GLOBAL(rst), , dataout_buf[7][1]_p3_out);


--dataout_buf[7][2] is dataout_buf[7][2] at LC22
dataout_buf[7][2]_p1_out = !dataout_buf[7][0] & dataout_buf[7][1];
dataout_buf[7][2]_or_out = dataout_buf[7][2]_p1_out;
dataout_buf[7][2]_reg_input = dataout_buf[7][2]_or_out;
dataout_buf[7][2]_p3_out = dataout_buf[6][3] & dataout_buf[6][0] & dataout_buf[6][1] & !dataout_buf[6][2] & dataout_buf[3][3] & dataout_buf[3][0] & !dataout_buf[3][1] & !dataout_buf[3][2] & A1L601 & !dataout_buf[1][3] & dataout_buf[1][0] & !dataout_buf[1][1] & dataout_buf[1][2] & dataout_buf[0][3] & dataout_buf[0][0] & !dataout_buf[0][1] & !dataout_buf[0][2] & !dataout_buf[4][3] & dataout_buf[4][0] & !dataout_buf[4][1] & dataout_buf[4][2];
dataout_buf[7][2] = TFFE(dataout_buf[7][2]_reg_input, GLOBAL(clk), GLOBAL(rst), , dataout_buf[7][2]_p3_out);


--dataout_buf[7][3] is dataout_buf[7][3] at LC18
dataout_buf[7][3]_p1_out = dataout_buf[7][2] & !dataout_buf[7][0] & dataout_buf[7][1];
dataout_buf[7][3]_or_out = dataout_buf[7][3]_p1_out;
dataout_buf[7][3]_reg_input = dataout_buf[7][3]_or_out;
dataout_buf[7][3]_p3_out = dataout_buf[6][3] & dataout_buf[6][0] & dataout_buf[6][1] & !dataout_buf[6][2] & dataout_buf[3][3] & dataout_buf[3][0] & !dataout_buf[3][1] & !dataout_buf[3][2] & A1L601 & !dataout_buf[1][3] & dataout_buf[1][0] & !dataout_buf[1][1] & dataout_buf[1][2] & dataout_buf[0][3] & dataout_buf[0][0] & !dataout_buf[0][1] & !dataout_buf[0][2] & !dataout_buf[4][3] & dataout_buf[4][0] & !dataout_buf[4][1] & dataout_buf[4][2];
dataout_buf[7][3] = TFFE(dataout_buf[7][3]_reg_input, GLOBAL(clk), GLOBAL(rst), , dataout_buf[7][3]_p3_out);


--A1L68 is dataout_code[3]~597 at LC54
A1L68_p0_out = A1L101Q & A1L59Q & A1L79Q & A1L99Q & !A1L39Q & A1L301Q & A1L501Q & A1L19Q & dataout_buf[0][3] & !dataout_buf[1][3];
A1L68_p2_out = !dataout_buf[6][3] & A1L101Q & A1L59Q & A1L79Q & A1L99Q & A1L39Q & !A1L301Q & A1L501Q & A1L19Q & dataout_buf[0][3];
A1L68_p3_out = A1L101Q & A1L59Q & A1L79Q & !A1L99Q & A1L39Q & A1L301Q & A1L501Q & A1L19Q & dataout_buf[0][3] & !dataout_buf[4][3];
A1L68_p4_out = A1L101Q & A1L59Q & !A1L79Q & A1L99Q & A1L39Q & A1L301Q & A1L501Q & A1L19Q & dataout_buf[0][3] & !dataout_buf[3][3];
A1L68_or_out = A1L88 # A1L68_p0_out # A1L68_p2_out # A1L68_p3_out # A1L68_p4_out;
A1L68 = dataout_buf[0][3] $ A1L68_or_out;


--A1L37 is dataout_code[0]~604 at SEXP49
A1L37 = EXP(A1L501Q & A1L39Q & A1L99Q & A1L79Q);


--A1L47 is dataout_code[0]~605 at SEXP52
A1L47 = EXP(A1L39Q & A1L99Q & A1L79Q);


--A1L57 is dataout_code[0]~606 at SEXP55
A1L57 = EXP(A1L101Q & A1L59Q & A1L19Q);


--A1L67 is dataout_code[0]~607 at SEXP58
A1L67 = EXP(A1L99Q & A1L79Q);


--A1L77 is dataout_code[0]~614 at LC60
A1L77_p0_out = dataout_buf[0][0] & !A1L99Q & !A1L79Q;
A1L77_p1_out = A1L37 & !A1L301Q & dataout_buf[0][0];
A1L77_p2_out = dataout_buf[0][0] & A1L47 & !A1L501Q;
A1L77_p3_out = dataout_buf[0][0] & A1L57;
A1L77_p4_out = dataout_buf[0][0] & A1L67 & !A1L39Q;
A1L77_or_out = A1L97 # A1L77_p0_out # A1L77_p1_out # A1L77_p2_out # A1L77_p3_out # A1L77_p4_out;
A1L77 = A1L77_or_out;


--A1L08 is dataout_code[1]~625 at LC57
A1L08_p0_out = dataout_buf[0][1] & !A1L99Q & !A1L79Q;
A1L08_p1_out = A1L37 & !A1L301Q & dataout_buf[0][1];
A1L08_p2_out = dataout_buf[0][1] & A1L47 & !A1L501Q;
A1L08_p3_out = dataout_buf[0][1] & A1L57;
A1L08_p4_out = dataout_buf[0][1] & A1L67 & !A1L39Q;
A1L08_or_out = A1L28 # A1L08_p0_out # A1L08_p1_out # A1L08_p2_out # A1L08_p3_out # A1L08_p4_out;
A1L08 = A1L08_or_out;


--A1L38 is dataout_code[2]~636 at LC51
A1L38_p0_out = dataout_buf[0][2] & !A1L99Q & !A1L79Q;
A1L38_p1_out = A1L37 & !A1L301Q & dataout_buf[0][2];
A1L38_p2_out = dataout_buf[0][2] & A1L47 & !A1L501Q;
A1L38_p3_out = dataout_buf[0][2] & A1L57;
A1L38_p4_out = dataout_buf[0][2] & A1L67 & !A1L39Q;
A1L38_or_out = A1L58 # A1L38_p0_out # A1L38_p1_out # A1L38_p2_out # A1L38_p3_out # A1L38_p4_out;
A1L38 = A1L38_or_out;


--A1L1 is Decoder~72 at LC94
A1L1_p1_out = A1L68 & A1L77 & A1L08 & A1L38;
A1L1_or_out = A1L1_p1_out;
A1L1 = !(A1L1_or_out);


--A1L701 is reduce_or~1002 at LC99
A1L701_p0_out = A1L08 & !A1L38;
A1L701_p1_out = !A1L77 & A1L08;
A1L701_p2_out = A1L77 & !A1L08 & A1L38;
A1L701_p3_out = !A1L77 & A1L38 & !A1L68;
A1L701_p4_out = !A1L38 & A1L68;
A1L701_or_out = A1L701_p0_out # A1L701_p1_out # A1L701_p2_out # A1L701_p3_out # A1L701_p4_out;
A1L701 = !(A1L701_or_out);


--A1L801 is reduce_or~1008 at LC86
A1L801_p1_out = !A1L68 & A1L77 & A1L08;
A1L801_p2_out = !A1L68 & A1L08 & !A1L38;
A1L801_p3_out = A1L68 & A1L77 & A1L38;
A1L801_p4_out = !A1L68 & A1L77 & !A1L38;
A1L801_or_out = A1L801_p1_out # A1L801_p2_out # A1L801_p3_out # A1L801_p4_out;
A1L801 = A1L801_or_out;


--A1L901 is reduce_or~1013 at LC91
A1L901_p1_out = A1L77 & !A1L08 & !A1L38;
A1L901_p2_out = !A1L08 & A1L38 & !A1L68;
A1L901_p3_out = A1L77 & A1L08 & A1L38;
A1L901_p4_out = A1L77 & !A1L68;
A1L901_or_out = A1L901_p1_out # A1L901_p2_out # A1L901_p3_out # A1L901_p4_out;
A1L901 = A1L901_or_out;