ok.map.eqn

quartus下实现的简易人羊白菜过河问题

--A1L29 is n~51
A1L29 = EXP(a[3] & !a[0] & a[2]);


--A1L39 is n~52
A1L39 = EXP(!a[0] & a[2] & a[1]);


--A1L49 is n~53
A1L49 = EXP(!a[1] & !b1_temp[2] & b1_temp[1] & !b1_temp[0]);


--A1L59 is n~54
A1L59 = EXP(!a[3] & !b1_temp[2] & b1_temp[3] & !b1_temp[0]);


--n[1] is n[1]
n[1]_p1_out = A1L09 & A1L19 & A1L29 & A1L39 & A1L49 & A1L59;
n[1]_p0_out = A1L09 & A1L19 & A1L29 & A1L39 & A1L49 & A1L59 & D1_dffs[0] & !D1_dffs[1] & !D1_dffs[2] & D1_dffs[3] & count1[0] & !count1[1] & count1[3] & !count1[2];
n[1]_p4_out = A1L09 & A1L19 & A1L29 & A1L39 & A1L49 & A1L59 & a[0] & b1_temp[0];
n[1]_or_out = A1L89 # n[1]_p0_out # n[1]_p4_out;
n[1]_reg_input = n[1]_p1_out $ n[1]_or_out;
n[1] = DFFE(n[1]_reg_input, !m, !reset, , );


--n[0] is n[0]
n[0]_p1_out = a[0] & !a[2] & !a[1];
n[0]_p4_out = D1_dffs[0] & !D1_dffs[1] & !D1_dffs[2] & D1_dffs[3] & A1L601;
n[0]_or_out = A1L99 # A1L201 # n[0]_p1_out # n[0]_p4_out;
n[0]_reg_input = n[0]_or_out;
n[0] = DFFE(n[0]_reg_input, !m, !reset, , );


--C1L1 is display:a2|b[0]~6639
C1L1 = EXP(D1_dffs[0] & D1_dffs[1]);


--C1L2 is display:a2|b[0]~6640
C1L2 = EXP(!n[1] & !n[0]);


--C1L3 is display:a2|b[0]~6641
C1L3 = EXP(count1[0] & count1[1]);


--C1L4 is display:a2|b[0]~6647
C1L4_p0_out = C1L2 & B1_a[0] & !B1_a[1] & B1_a[2] & count1[2] & !count1[3] & C1L3;
C1L4_p1_out = C1L2 & !D1_dffs[2] & !D1_dffs[1] & D1_dffs[3] & !B1_a[0] & !B1_a[1] & B1_a[2];
C1L4_p2_out = C1L2 & B1_a[0] & !B1_a[1] & B1_a[2] & !count1[2] & count1[1] & !count1[3];
C1L4_p3_out = C1L2 & B1_a[0] & !B1_a[1] & B1_a[2] & !count1[2] & !count1[1] & count1[3];
C1L4_p4_out = C1L2 & D1_dffs[2] & !D1_dffs[3] & !B1_a[0] & !B1_a[1] & B1_a[2] & C1L1;
C1L4_or_out = C1L5 # C1L4_p0_out # C1L4_p1_out # C1L4_p2_out # C1L4_p3_out # C1L4_p4_out;
C1L4 = C1L4_or_out;


--C1L6 is display:a2|b[1]~6648
C1L6 = EXP(count1[2] & !count1[0]);


--C1L7 is display:a2|b[1]~6649
C1L7 = EXP(D1_dffs[2] & !D1_dffs[0]);


--C1L8 is display:a2|b[1]~6650
C1L8 = EXP(!n[1] & n[0]);


--C1L12 is display:a2|b[5]~6655
C1L12_p1_out = n[1] & B1_a[2];
C1L12_p2_out = n[1] & b1_temp[3] & b1_temp[2] & b1_temp[1] & b1_temp[0];
C1L12_p3_out = B1_a[2] & !n[0];
C1L12_p4_out = b1_temp[3] & b1_temp[2] & b1_temp[1] & b1_temp[0] & !n[0];
C1L12_or_out = C1L12_p1_out # C1L12_p2_out # C1L12_p3_out # C1L12_p4_out;
C1L12 = C1L12_or_out;


--C1L9 is display:a2|b[1]~6661
C1L9_p0_out = !C1L12 & C1L8 & C1L2;
C1L9_p1_out = B1_a[2] & B1_a[1];
C1L9_p2_out = B1_a[1] & !B1_a[0] & !C1L12;
C1L9_p3_out = B1_a[2] & B1_a[0] & C1L6 & count1[1] & C1L2;
C1L9_p4_out = B1_a[2] & !B1_a[0] & C1L7 & D1_dffs[1] & C1L2;
C1L9_or_out = C1L01 # C1L9_p0_out # C1L9_p1_out # C1L9_p2_out # C1L9_p3_out # C1L9_p4_out;
C1L9 = !(C1L9_or_out);


--C1L52 is display:a2|b[6]~6668
C1L52_p0_out = B1_a[0] & !B1_a[1] & !count1[2] & !count1[1] & count1[3];
C1L52_p1_out = !B1_a[0] & !B1_a[1] & D1_dffs[3] & !D1_dffs[2] & !D1_dffs[1];
C1L52_p2_out = B1_a[0] & !B1_a[1] & !count1[0] & !count1[2] & !count1[1];
C1L52_p3_out = B1_a[0] & !B1_a[1] & count1[1] & !count1[3];
C1L52_p4_out = B1_a[0] & !B1_a[1] & count1[0] & count1[2] & !count1[3];
C1L52_or_out = C1L82 # C1L52_p0_out # C1L52_p1_out # C1L52_p2_out # C1L52_p3_out # C1L52_p4_out;
C1L52 = C1L52_or_out;


--C1L62 is display:a2|b[6]~6674
C1L62_p0_out = !B1_a[1] & !n[1] & n[0] & B1_a[0] & !count1[2] & !count1[1] & count1[3];
C1L62_p1_out = !B1_a[1] & !n[1] & n[0] & !B1_a[0] & D1_dffs[3] & !D1_dffs[2] & !D1_dffs[1];
C1L62_p2_out = !B1_a[1] & !n[1] & n[0] & B1_a[0] & !count1[0] & !count1[2] & !count1[1];
C1L62_p3_out = !B1_a[1] & !n[1] & n[0] & B1_a[0] & count1[1] & !count1[3];
C1L62_p4_out = !B1_a[1] & !n[1] & n[0] & B1_a[0] & count1[0] & count1[2] & !count1[3];
C1L62_or_out = C1L92 # C1L62_p0_out # C1L62_p1_out # C1L62_p2_out # C1L62_p3_out # C1L62_p4_out;
C1L62 = C1L62_or_out;


--C1L72 is display:a2|b[6]~6678
C1L72_p1_out = B1_a[2] & !B1_a[1] & !n[1] & !n[0];
C1L72_p2_out = C1L52 & C1L12 & C1L2;
C1L72_p3_out = C1L62 & C1L2;
C1L72_or_out = C1L72_p1_out # C1L72_p2_out # C1L72_p3_out;
C1L72 = C1L72_or_out;


--C1L31 is display:a2|b[3]~6684
C1L31_p0_out = !B1_a[2] & B1_a[1] & B1_a[0] & !n[1] & n[0];
C1L31_p1_out = B1_a[2] & !B1_a[1] & B1_a[0] & !count1[2] & count1[1] & !count1[3];
C1L31_p2_out = B1_a[2] & !B1_a[1] & !B1_a[0] & D1_dffs[0] & !D1_dffs[3] & D1_dffs[2] & !D1_dffs[1];
C1L31_p3_out = B1_a[2] & !B1_a[1] & B1_a[0] & count1[2] & !count1[1] & !count1[3] & count1[0];
C1L31_p4_out = !B1_a[2] & B1_a[1] & n[1] & b1_temp[3] & b1_temp[2] & b1_temp[1] & b1_temp[0];
C1L31_or_out = C1L51 # C1L31_p0_out # C1L31_p1_out # C1L31_p2_out # C1L31_p3_out # C1L31_p4_out;
C1L31 = C1L31_or_out;


--C1L22 is display:a2|b[5]~6690
C1L22_p0_out = !n[1] & n[0] & !B1_a[2] & !B1_a[1] & B1_a[0];
C1L22_p1_out = !n[1] & !n[0] & B1_a[2] & !B1_a[1];
C1L22_p2_out = B1_a[2] & !B1_a[1] & !B1_a[0] & !D1_dffs[2] & !D1_dffs[3];
C1L22_p3_out = n[1] & !B1_a[2] & !B1_a[1] & b1_temp[3] & b1_temp[2] & b1_temp[1] & b1_temp[0];
C1L22_p4_out = !n[1] & n[0] & !B1_a[2] & B1_a[1] & !B1_a[0];
C1L22_or_out = C1L22_p0_out # C1L22_p1_out # C1L22_p2_out # C1L22_p3_out # C1L22_p4_out;
C1L22 = C1L22_or_out;


--C1L32 is display:a2|b[5]~6696
C1L32_p0_out = B1_a[2] & !B1_a[1] & !B1_a[0] & D1_dffs[1] & !D1_dffs[3] & D1_dffs[0];
C1L32_p1_out = B1_a[2] & !B1_a[1] & !B1_a[0] & !D1_dffs[2] & !D1_dffs[1];
C1L32_p2_out = B1_a[2] & !B1_a[1] & B1_a[0] & !count1[2] & !count1[3];
C1L32_p3_out = B1_a[2] & !B1_a[1] & B1_a[0] & !count1[2] & !count1[1];
C1L32_p4_out = B1_a[2] & !B1_a[1] & !B1_a[0] & !D1_dffs[1] & !D1_dffs[3] & !D1_dffs[0];
C1L32_or_out = C1L32_p0_out # C1L32_p1_out # C1L32_p2_out # C1L32_p3_out # C1L32_p4_out;
C1L32 = C1L32_or_out;


--C1L42 is display:a2|b[5]~6699
C1L42_p1_out = B1_a[2] & !B1_a[1] & B1_a[0] & !count1[1] & !count1[3] & !count1[0];
C1L42_p2_out = B1_a[2] & !B1_a[1] & B1_a[0] & count1[1] & !count1[3] & count1[0];
C1L42_or_out = C1L42_p1_out # C1L42_p2_out # C1L22 # C1L32;
C1L42 = C1L42_or_out;


--C1L61 is display:a2|b[4]~6702
C1L61 = EXP(!D1_dffs[2] & !D1_dffs[0]);


--C1L71 is display:a2|b[4]~6703
C1L71 = EXP(!count1[2] & !count1[0]);


--C1L81 is display:a2|b[4]~6704
C1L81 = EXP(!B1_a[1] & !B1_a[0]);


--C1L91 is display:a2|b[4]~6710
C1L91_p0_out = n[1] & !B1_a[2] & C1L81 & b1_temp[3] & b1_temp[2] & b1_temp[1] & b1_temp[0];
C1L91_p1_out = B1_a[1] & n[0] & !n[1] & !B1_a[2] & !B1_a[0];
C1L91_p2_out = !B1_a[1] & n[0] & !n[1] & !B1_a[2] & B1_a[0];
C1L91_p3_out = !B1_a[1] & B1_a[2] & !B1_a[0] & C1L61 & !D1_dffs[3];
C1L91_p4_out = !B1_a[1] & B1_a[2] & B1_a[0] & C1L71 & !count1[3];
C1L91_or_out = C1L02 # C1L91_p0_out # C1L91_p1_out # C1L91_p2_out # C1L91_p3_out # C1L91_p4_out;
C1L91 = C1L91_or_out;


--C1L11 is display:a2|b[2]~6716
C1L11_p0_out = !B1_a[2] & B1_a[0] & !n[1] & n[0];
C1L11_p1_out = B1_a[2] & !B1_a[1] & !B1_a[0] & D1_dffs[1] & !D1_dffs[0] & !D1_dffs[3];
C1L11_p2_out = B1_a[2] & !B1_a[1] & B1_a[0] & count1[1] & !count1[0] & !count1[3];
C1L11_p3_out = !B1_a[2] & !B1_a[1] & n[1] & b1_temp[3] & b1_temp[2] & b1_temp[1] & b1_temp[0];
C1L11_p4_out = !B1_a[2] & !B1_a[1] & !n[1] & n[0];
C1L11_or_out = C1L21 # C1L11_p0_out # C1L11_p1_out # C1L11_p2_out # C1L11_p3_out # C1L11_p4_out;
C1L11 = C1L11_or_out;


--A1L62 is b1_temp[2]~244
A1L62_p1_out = a[2] & !b1_temp[1] & !a[1] & !a[3] & !b1_temp[3] & !a[0] & b1_temp[0] & !b1_temp[2];
A1L62_p2_out = a[2] & !b1_temp[1] & !a[1] & !a[3] & !b1_temp[3] & a[0] & !b1_temp[0] & !b1_temp[2];
A1L62 = A1L62_p1_out # A1L62_p2_out;


--A1L72 is b1_temp[2]~247
A1L72_p0_out = !a[2] & b1_temp[1] & a[1] & a[3] & b1_temp[3] & a[0] & !b1_temp[0] & b1_temp[2];
A1L72_p1_out = a[2] & !b1_temp[1] & !a[1] & a[3] & b1_temp[3] & a[0] & !b1_temp[0] & !b1_temp[2];
A1L72_p2_out = a[2] & b1_temp[1] & a[1] & !a[3] & !b1_temp[3] & a[0] & !b1_temp[0] & !b1_temp[2];
A1L72_p3_out = a[2] & b1_temp[1] & a[1] & a[3] & b1_temp[3] & a[0] & !b1_temp[0] & !b1_temp[2];
A1L72_p4_out = !a[2] & b1_temp[1] & a[1] & a[3] & b1_temp[3] & !a[0] & b1_temp[0] & b1_temp[2];
A1L72 = A1L62 # A1L72_p0_out # A1L72_p1_out # A1L72_p2_out # A1L72_p3_out # A1L72_p4_out;


--A1L22 is b1_temp[1]~253
A1L22_p1_out = a[2] & a[1] & b1_temp[2] & !b1_temp[3] & !a[3] & !b1_temp[0] & a[0] & !b1_temp[1];
A1L22_p2_out = a[2] & a[1] & b1_temp[2] & b1_temp[3] & a[3] & !b1_temp[0] & a[0] & !b1_temp[1];
A1L22 = A1L22_p1_out # A1L22_p2_out;


--A1L32 is b1_temp[1]~256
A1L32_p0_out = a[2] & !a[1] & b1_temp[2] & !b1_temp[3] & !a[3] & !b1_temp[0] & a[0] & b1_temp[1];
A1L32_p1_out = !a[2] & a[1] & !b1_temp[2] & !b1_temp[3] & !a[3] & b1_temp[0] & !a[0] & !b1_temp[1];
A1L32_p2_out = !a[2] & a[1] & !b1_temp[2] & b1_temp[3] & a[3] & b1_temp[0] & !a[0] & !b1_temp[1];
A1L32_p3_out = !a[2] & a[1] & !b1_temp[2] & b1_temp[3] & a[3] & !b1_temp[0] & a[0] & !b1_temp[1];
A1L32_p4_out = a[2] & !a[1] & b1_temp[2] & !b1_temp[3] & !a[3] & b1_temp[0] & !a[0] & b1_temp[1];
A1L32 = A1L22 # A1L32_p0_out # A1L32_p1_out # A1L32_p2_out # A1L32_p3_out # A1L32_p4_out;


--A1L71 is b1_temp[0]~262
A1L71_p0_out = !b1_temp[1] & a[0] & a[2] & !a[1] & !b1_temp[0] & !a[3] & !b1_temp[3];
A1L71_p1_out = !b1_temp[1] & a[0] & b1_temp[2] & a[2] & !a[1] & !b1_temp[0];
A1L71_p2_out = b1_temp[1] & a[0] & b1_temp[2] & a[2] & a[1] & !b1_temp[0];
A1L71_p3_out = a[0] & b1_temp[2] & a[2] & !b1_temp[0] & !a[3] & !b1_temp[3];
A1L71_p4_out = a[0] & b1_temp[2] & a[2] & !b1_temp[0] & a[3] & b1_temp[3];
A1L71 = A1L71_p0_out # A1L71_p1_out # A1L71_p2_out # A1L71_p3_out # A1L71_p4_out;


--A1L81 is b1_temp[0]~268
A1L81_p1_out = !a[2] & !b1_temp[2] & !b1_temp[1] & !a[1] & !a[0];
A1L81 = A1L81_p1_out;


--A1L91 is b1_temp[0]~270
A1L91_p0_out = !a[2] & !b1_temp[1] & !a[1] & !a[0] & b1_temp[3] & a[3];
A1L91_p1_out = !a[2] & !b1_temp[2] & b1_temp[1] & a[1] & !a[0];
A1L91_p2_out = !a[2] & !b1_temp[2] & !a[0] & !b1_temp[3] & !a[3];
A1L91_p3_out = !a[2] & !b1_temp[2] & !a[0] & b1_temp[3] & a[3];
A1L91_p4_out = !a[2] & b1_temp[1] & a[1] & !a[0] & !b1_temp[3] & !a[3];
A1L91 = A1L81 # A1L91_p0_out # A1L91_p1_out # A1L91_p2_out # A1L91_p3_out # A1L91_p4_out;


--A1L17 is count1~912
A1L17_p1_out = !a[3] & a[0] & !a[2];
A1L17_p2_out = a[3] & !a[0] & a[2];
A1L17 = A1L17_p1_out # A1L17_p2_out;


--A1L301 is process0~262
A1L301_p1_out = b1_temp[2] & !a[2] & b1_temp[1] & !a[1];
A1L301 = A1L301_p1_out;


--A1L06 is count1[3]~915
A1L06_p0_out = !a[0] & !b1_temp[0] & !count1[3];
A1L06_p1_out = !count1[3] & !A1L96;
A1L06_p2_out = A1L001 & a[0] & !b1_temp[0] & !A1L96;
A1L06_p3_out = A1L001 & !a[0] & b1_temp[0] & !A1L96;
A1L06_p4_out = a[0] & b1_temp[0] & !count1[3];
A1L06 = A1L06_p0_out # A1L06_p1_out # A1L06_p2_out # A1L06_p3_out # A1L06_p4_out;


--A1L16 is count1[3]~921
A1L16_p0_out = A1L001 & !a[0] & b1_temp[0] & A1L26 & A1L36 & A1L86 & A1L46 & A1L56 & A1L66 & A1L76;
A1L16_p1_out = !A1L96 & !a[0] & b1_temp[0] & !A1L101;
A1L16_p2_out = !A1L001 & A1L101 & !count1[3];
A1L16_p3_out = !count1[3] & A1L26 & A1L36 & A1L86 & A1L46 & A1L56 & A1L66 & A1L76;
A1L16_p4_out = A1L001 & a[0] & !b1_temp[0] & A1L26 & A1L36 & A1L86 & A1L46 & A1L56 & A1L66 & A1L76;
A1L16 = A1L06 # A1L16_p0_out # A1L16_p1_out # A1L16_p2_out # A1L16_p3_out # A1L16_p4_out;


--A1L27 is count1~927
A1L27_p1_out = a[0] & a[2] & count1[0] & count1[1];
A1L27_p2_out = !a[0] & !a[2] & count1[0] & count1[1];
A1L27_p3_out = a[0] & count1[0] & count1[1] & a[3] & a[1];
A1L27_p4_out = !a[0] & count1[0] & count1[1] & !a[3] & !a[1];
A1L27 = A1L27_p1_out # A1L27_p2_out # A1L27_p3_out # A1L27_p4_out;


--A1L37 is count1~932
A1L37_p0_out = !count1[1] & count1[3] & !count1[2];
A1L37_p1_out = a[0] & !a[2] & !count1[1] & !a[3];
A1L37_p2_out = !a[0] & a[2] & !count1[1] & a[3];
A1L37_p3_out = a[0] & !a[2] & !count1[1] & !a[1];
A1L37_p4_out = !count1[1] & !count1[0];
A1L37 = A1L27 # A1L37_p0_out # A1L37_p1_out # A1L37_p2_out # A1L37_p3_out # A1L37_p4_out;


--A1L401 is process0~264
A1L401_p1_out = b1_temp[2] & !a[2] & b1_temp[1] & !a[1];
A1L401_p2_out = b1_temp[2] & !a[2] & !b1_temp[1] & a[1];
A1L401_p3_out = b1_temp[2] & !a[2] & b1_temp[3] & !a[3];
A1L401_p4_out = b1_temp[2] & !a[2] & !b1_temp[3] & a[3];
A1L401 = A1L401_p1_out # A1L401_p2_out # A1L401_p3_out # A1L401_p4_out;


--A1L501 is process0~269
A1L501_p0_out = b1_temp[1] & !a[1] & b1_temp[3] & !a[3];
A1L501_p1_out = !b1_temp[2] & a[2] & b1_temp[1] & !a[1];
A1L501_p2_out = !b1_temp[2] & a[2] & !b1_temp[1] & a[1];
A1L501_p3_out = !b1_temp[2] & a[2] & b1_temp[3] & !a[3];
A1L501_p4_out = !b1_temp[2] & a[2] & !b1_temp[3] & a[3];
A1L501 = A1L401 # A1L501_p0_out # A1L501_p1_out # A1L501_p2_out # A1L501_p3_out # A1L501_p4_out;


--A1L35 is count1[0]~938
A1L35_p0_out = a[3] & !b1_temp[3] & a[1] & !b1_temp[1];
A1L35_p1_out = !b1_temp[2] & a[2] & a[3] & !b1_temp[3];
A1L35_p2_out = a[3] & !b1_temp[3] & !a[1] & b1_temp[1];
A1L35_p3_out = !b1_temp[2] & a[2] & a[1] & !b1_temp[1];
A1L35_p4_out = b1_temp[2] & !a[2] & a[1] & !b1_temp[1];
A1L35 = A1L35_p0_out # A1L35_p1_out # A1L35_p2_out # A1L35_p3_out # A1L35_p4_out;


--A1L45 is count1[0]~944
A1L45_p0_out = a[3] & !b1_temp[3] & b1_temp[2] & !a[2];
A1L45_p1_out = !a[3] & b1_temp[3] & a[1] & !b1_temp[1];
A1L45_p2_out = !a[1] & b1_temp[1] & !b1_temp[2] & a[2];
A1L45_p3_out = a[1] & a[2] & b1_temp[0];
A1L45_p4_out = !a[1] & b1_temp[1] & b1_temp[2] & !a[2];
A1L45 = A1L35 # A1L45_p0_out # A1L45_p1_out # A1L45_p2_out # A1L45_p3_out # A1L45_p4_out;


--A1L55 is count1[0]~950
A1L55_p0_out = !a[3] & !a[2] & !b1_temp[0];
A1L55_p1_out = !a[3] & b1_temp[3] & !a[1] & b1_temp[1];
A1L55_p2_out = !a[3] & b1_temp[3] & !b1_temp[2] & a[2];
A1L55_p3_out = a[3] & a[2] & b1_temp[0];
A1L55_p4_out = !a[3] & b1_temp[3] & b1_temp[2] & !a[2];
A1L55 = A1L45 # A1L55_p0_out # A1L55_p1_out # A1L55_p2_out # A1L55_p3_out # A1L55_p4_out;


--A1L73 is b1_temp[3]~276
A1L73_p0_out = A1L03 & A1L13 & A1L23 & A1L33 & A1L43 & A1L53 & !b1_temp[0] & !b1_temp[3] & !a[0];
A1L73_p1_out = A1L03 & A1L13 & A1L23 & A1L33 & A1L43 & A1L53 & !b1_temp[1] & !b1_temp[2] & !b1_temp[0] & !b1_temp[3];
A1L73_p2_out = A1L03 & A1L13 & A1L23 & A1L33 & A1L43 & A1L53 & b1_temp[1] & !b1_temp[3] & !a[1];
A1L73_p3_out = A1L03 & A1L13 & A1L23 & A1L33 & A1L43 & A1L53 & !b1_temp[1] & !b1_temp[3] & a[1];
A1L73_p4_out = A1L03 & A1L13 & A1L23 & A1L33 & A1L43 & A1L53 & !b1_temp[3] & !a[3];
A1L73 = A1L73_p0_out # A1L73_p1_out # A1L73_p2_out # A1L73_p3_out # A1L73_p4_out;


--B1L21 is kongzhi:a1|temp~397
B1L21_p1_out = B1_temp[4] & B1_temp[3] & B1_temp[5] & B1_temp[1] & !B1_temp[2] & B1_temp[0];
B1L21 = B1L21_p1_out;


--A1L85 is count1[2]~956
A1L85_p1_out = !a[3] & !a[1] & count1[0] & !a[0] & count1[1] & !A1L201;
A1L85 = A1L85_p1_out;


--D1L4 is lpm_counter:count2_rtl_0|_~73
D1L4_p0_out = !b1_temp[2] & a[2] & b1_temp[1] & !a[1];
D1L4_p1_out = b1_temp[2] & !a[2] & b1_temp[1] & !a[1];
D1L4_p2_out = b1_temp[2] & !a[2] & !b1_temp[1] & a[1];
D1L4_p3_out = b1_temp[2] & !a[2] & b1_temp[3] & !a[3];
D1L4_p4_out = b1_temp[2] & !a[2] & !b1_temp[3] & a[3];
D1L4 = D1L4_p0_out # D1L4_p1_out # D1L4_p2_out # D1L4_p3_out # D1L4_p4_out;