ok.map.eqn

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

--D1L5 is lpm_counter:count2_rtl_0|_~79
D1L5_p0_out = b1_temp[1] & !a[1] & !b1_temp[3] & a[3];
D1L5_p1_out = !b1_temp[2] & a[2] & !b1_temp[1] & a[1];
D1L5_p2_out = !b1_temp[2] & a[2] & b1_temp[3] & !a[3];
D1L5_p3_out = !b1_temp[2] & a[2] & !b1_temp[3] & a[3];
D1L5_p4_out = b1_temp[1] & !a[1] & b1_temp[3] & !a[3];
D1L5 = D1L4 # D1L5_p0_out # D1L5_p1_out # D1L5_p2_out # D1L5_p3_out # D1L5_p4_out;


--A1L701 is reduce_nor~232
A1L701_p1_out = a[0] & count1[1] & !count1[0] & !a[2] & !a[3] & count1[3] & !count1[2];
A1L701_p2_out = !a[0] & count1[1] & !count1[0] & a[2] & a[3] & count1[3] & !count1[2];
A1L701_p3_out = a[0] & count1[1] & !count1[0] & !a[2] & count1[3] & !count1[2] & !a[1];
A1L701 = A1L701_p1_out # A1L701_p2_out # A1L701_p3_out;


--D1L6 is lpm_counter:count2_rtl_0|_~85
D1L6_p0_out = D1_dffs[0] & D1_dffs[1] & !b1_temp[2] & a[2] & b1_temp[1] & !a[1];
D1L6_p1_out = D1_dffs[0] & D1_dffs[1] & b1_temp[2] & !a[2] & b1_temp[1] & !a[1];
D1L6_p2_out = D1_dffs[0] & D1_dffs[1] & b1_temp[2] & !a[2] & !b1_temp[1] & a[1];
D1L6_p3_out = D1_dffs[0] & D1_dffs[1] & b1_temp[2] & !a[2] & b1_temp[3] & !a[3];
D1L6_p4_out = D1_dffs[0] & D1_dffs[1] & b1_temp[2] & !a[2] & !b1_temp[3] & a[3];
D1L6 = D1L6_p0_out # D1L6_p1_out # D1L6_p2_out # D1L6_p3_out # D1L6_p4_out;


--D1L7 is lpm_counter:count2_rtl_0|_~91
D1L7_p0_out = D1_dffs[0] & D1_dffs[1] & b1_temp[1] & !a[1] & !b1_temp[3] & a[3];
D1L7_p1_out = D1_dffs[0] & D1_dffs[1] & !b1_temp[2] & a[2] & !b1_temp[1] & a[1];
D1L7_p2_out = D1_dffs[0] & D1_dffs[1] & !b1_temp[2] & a[2] & b1_temp[3] & !a[3];
D1L7_p3_out = D1_dffs[0] & D1_dffs[1] & !b1_temp[2] & a[2] & !b1_temp[3] & a[3];
D1L7_p4_out = D1_dffs[0] & D1_dffs[1] & b1_temp[1] & !a[1] & b1_temp[3] & !a[3];
D1L7 = D1L6 # D1L7_p0_out # D1L7_p1_out # D1L7_p2_out # D1L7_p3_out # D1L7_p4_out;


--D1L8 is lpm_counter:count2_rtl_0|_~97
D1L8_p0_out = D1_dffs[2] & D1_dffs[0] & D1_dffs[1] & !b1_temp[2] & a[2] & b1_temp[1] & !a[1];
D1L8_p1_out = D1_dffs[2] & D1_dffs[0] & D1_dffs[1] & b1_temp[2] & !a[2] & b1_temp[1] & !a[1];
D1L8_p2_out = D1_dffs[2] & D1_dffs[0] & D1_dffs[1] & b1_temp[2] & !a[2] & !b1_temp[1] & a[1];
D1L8_p3_out = D1_dffs[2] & D1_dffs[0] & D1_dffs[1] & b1_temp[2] & !a[2] & b1_temp[3] & !a[3];
D1L8_p4_out = D1_dffs[2] & D1_dffs[0] & D1_dffs[1] & b1_temp[2] & !a[2] & !b1_temp[3] & a[3];
D1L8 = D1L8_p0_out # D1L8_p1_out # D1L8_p2_out # D1L8_p3_out # D1L8_p4_out;


--D1L9 is lpm_counter:count2_rtl_0|_~103
D1L9_p0_out = D1_dffs[2] & D1_dffs[0] & D1_dffs[1] & b1_temp[1] & !a[1] & !b1_temp[3] & a[3];
D1L9_p1_out = D1_dffs[2] & D1_dffs[0] & D1_dffs[1] & !b1_temp[2] & a[2] & !b1_temp[1] & a[1];
D1L9_p2_out = D1_dffs[2] & D1_dffs[0] & D1_dffs[1] & !b1_temp[2] & a[2] & b1_temp[3] & !a[3];
D1L9_p3_out = D1_dffs[2] & D1_dffs[0] & D1_dffs[1] & !b1_temp[2] & a[2] & !b1_temp[3] & a[3];
D1L9_p4_out = D1_dffs[2] & D1_dffs[0] & D1_dffs[1] & b1_temp[1] & !a[1] & b1_temp[3] & !a[3];
D1L9 = D1L8 # D1L9_p0_out # D1L9_p1_out # D1L9_p2_out # D1L9_p3_out # D1L9_p4_out;


--A1L69 is n~68
A1L69_p0_out = A1L09 & A1L19 & A1L29 & A1L39 & A1L49 & A1L59 & a[2] & !b1_temp[2] & b1_temp[1] & !a[0];
A1L69_p1_out = A1L09 & A1L19 & A1L29 & A1L39 & A1L49 & A1L59 & !a[2] & b1_temp[2] & !b1_temp[1] & !b1_temp[0];
A1L69_p2_out = A1L09 & A1L19 & A1L29 & A1L39 & A1L49 & A1L59 & !a[2] & b1_temp[2] & !b1_temp[0] & !b1_temp[3];
A1L69_p3_out = A1L09 & A1L19 & A1L29 & A1L39 & A1L49 & A1L59 & b1_temp[2] & !b1_temp[1] & !a[0] & a[1];
A1L69_p4_out = A1L09 & A1L19 & A1L29 & A1L39 & A1L49 & A1L59 & b1_temp[2] & !b1_temp[3] & !a[0] & a[3];
A1L69 = A1L69_p0_out # A1L69_p1_out # A1L69_p2_out # A1L69_p3_out # A1L69_p4_out;


--A1L79 is n~74
A1L79_p0_out = A1L09 & A1L19 & A1L29 & A1L39 & A1L49 & A1L59 & b1_temp[3] & !a[3] & !a[1] & b1_temp[1];
A1L79_p1_out = A1L09 & A1L19 & A1L29 & A1L39 & A1L49 & A1L59 & !a[0] & a[2] & !b1_temp[2] & b1_temp[3];
A1L79_p2_out = A1L09 & A1L19 & A1L29 & A1L39 & A1L49 & A1L59 & !a[2] & b1_temp[2] & b1_temp[3] & !a[3];
A1L79_p3_out = A1L09 & A1L19 & A1L29 & A1L39 & A1L49 & A1L59 & a[2] & !b1_temp[2] & !b1_temp[3] & a[3];
A1L79_p4_out = A1L09 & A1L19 & A1L29 & A1L39 & A1L49 & A1L59 & !a[2] & b1_temp[2] & !a[1] & b1_temp[1];
A1L79 = A1L69 # A1L79_p0_out # A1L79_p1_out # A1L79_p2_out # A1L79_p3_out # A1L79_p4_out;


--A1L89 is n~80
A1L89_p0_out = A1L09 & A1L19 & A1L29 & A1L39 & A1L49 & A1L59 & !a[0] & !b1_temp[0];
A1L89_p1_out = A1L09 & A1L19 & A1L29 & A1L39 & A1L49 & A1L59 & a[3] & !a[1] & !b1_temp[3] & b1_temp[1];
A1L89_p2_out = A1L09 & A1L19 & A1L29 & A1L39 & A1L49 & A1L59 & a[1] & !b1_temp[1] & a[2] & !b1_temp[2];
A1L89_p3_out = A1L09 & A1L19 & A1L29 & A1L39 & A1L49 & A1L59 & !a[3] & a[1] & b1_temp[3] & !b1_temp[1];
A1L89_p4_out = A1L09 & A1L19 & A1L29 & A1L39 & A1L49 & A1L59 & a[3] & a[1] & !b1_temp[3] & !b1_temp[1];
A1L89 = A1L79 # A1L89_p0_out # A1L89_p1_out # A1L89_p2_out # A1L89_p3_out # A1L89_p4_out;


--A1L99 is n~86
A1L99_p1_out = a[3] & !a[0] & a[2];
A1L99_p2_out = !a[0] & a[2] & a[1];
A1L99_p3_out = !a[3] & a[0] & !a[2];
A1L99 = A1L99_p1_out # A1L99_p2_out # A1L99_p3_out;


--C1L5 is display:a2|b[0]~6717
C1L5_p1_out = n[1] & !B1_a[2] & b1_temp[3] & b1_temp[2] & b1_temp[1] & b1_temp[0];
C1L5_p2_out = !n[1] & !B1_a[2] & !B1_a[1] & n[0];
C1L5_p3_out = B1_a[2] & !B1_a[1] & C1L2 & !D1_dffs[2] & D1_dffs[1] & !D1_dffs[3] & !B1_a[0];
C1L5 = C1L5_p1_out # C1L5_p2_out # C1L5_p3_out;


--C1L01 is display:a2|b[1]~6721
C1L01_p0_out = B1_a[2] & !B1_a[0] & D1_dffs[2] & D1_dffs[3] & C1L2;
C1L01_p1_out = !B1_a[2] & !n[1] & !n[0];
C1L01_p2_out = B1_a[2] & !count1[2] & B1_a[0] & count1[0] & !count1[3] & C1L2;
C1L01_p3_out = B1_a[2] & count1[2] & B1_a[0] & count1[3] & C1L2;
C1L01_p4_out = B1_a[2] & !B1_a[0] & !D1_dffs[2] & D1_dffs[0] & !D1_dffs[3] & C1L2;
C1L01 = C1L01_p0_out # C1L01_p1_out # C1L01_p2_out # C1L01_p3_out # C1L01_p4_out;


--C1L82 is display:a2|b[6]~6727
C1L82_p2_out = !B1_a[0] & !D1_dffs[0] & !B1_a[1] & !D1_dffs[3] & !D1_dffs[2];
C1L82_p3_out = !B1_a[0] & !B1_a[1] & !D1_dffs[3] & D1_dffs[1];
C1L82_p4_out = !B1_a[0] & D1_dffs[0] & !B1_a[1] & !D1_dffs[3] & D1_dffs[2];
C1L82 = !B1_a[2] # C1L82_p2_out # C1L82_p3_out # C1L82_p4_out;


--C1L92 is display:a2|b[6]~6732
C1L92_p1_out = !B1_a[2] & !B1_a[1] & !n[1] & n[0];
C1L92_p2_out = !B1_a[1] & !n[1] & n[0] & !B1_a[0] & !D1_dffs[0] & !D1_dffs[3] & !D1_dffs[2];
C1L92_p3_out = !B1_a[1] & !n[1] & n[0] & !B1_a[0] & !D1_dffs[3] & D1_dffs[1];
C1L92_p4_out = !B1_a[1] & !n[1] & n[0] & !B1_a[0] & D1_dffs[0] & !D1_dffs[3] & D1_dffs[2];
C1L92 = C1L92_p1_out # C1L92_p2_out # C1L92_p3_out # C1L92_p4_out;


--C1L41 is display:a2|b[3]~6737
C1L41_p1_out = !n[0] & B1_a[2] & !B1_a[1] & !n[1];
C1L41_p2_out = B1_a[2] & !B1_a[1] & !D1_dffs[0] & !D1_dffs[2] & !B1_a[0] & !D1_dffs[1];
C1L41_p3_out = B1_a[2] & !B1_a[1] & B1_a[0] & !count1[0] & !count1[2] & !count1[3];
C1L41 = C1L41_p1_out # C1L41_p2_out # C1L41_p3_out;


--C1L51 is display:a2|b[3]~6741
C1L51_p0_out = B1_a[2] & !B1_a[1] & B1_a[0] & count1[1] & !count1[3] & !count1[0];
C1L51_p1_out = B1_a[2] & !B1_a[1] & D1_dffs[3] & !D1_dffs[2] & !B1_a[0] & !D1_dffs[1];
C1L51_p2_out = B1_a[2] & !B1_a[1] & !D1_dffs[3] & !B1_a[0] & D1_dffs[1] & !D1_dffs[0];
C1L51_p3_out = B1_a[2] & !B1_a[1] & !D1_dffs[3] & !D1_dffs[2] & !B1_a[0] & D1_dffs[1];
C1L51_p4_out = B1_a[2] & !B1_a[1] & B1_a[0] & !count1[2] & !count1[1] & count1[3];
C1L51 = C1L41 # C1L51_p0_out # C1L51_p1_out # C1L51_p2_out # C1L51_p3_out # C1L51_p4_out;


--C1L02 is display:a2|b[4]~6747
C1L02_p1_out = !B1_a[1] & !n[0] & !n[1] & B1_a[2];
C1L02_p2_out = !B1_a[1] & B1_a[2] & !B1_a[0] & !D1_dffs[1] & !D1_dffs[2];
C1L02_p3_out = !B1_a[1] & B1_a[2] & B1_a[0] & !count1[1] & !count1[2];
C1L02 = C1L02_p1_out # C1L02_p2_out # C1L02_p3_out;


--C1L21 is display:a2|b[2]~6751
C1L21_p1_out = !n[1] & !n[0] & B1_a[2] & !B1_a[1];
C1L21_p2_out = B1_a[2] & !B1_a[1] & !B1_a[0] & !D1_dffs[1] & !D1_dffs[0] & !D1_dffs[2];
C1L21_p3_out = B1_a[2] & !B1_a[1] & B1_a[0] & !count1[1] & !count1[0] & !count1[2];
C1L21 = C1L21_p1_out # C1L21_p2_out # C1L21_p3_out;


--A1L46 is count1~866sexp1
A1L46 = EXP(a[3] & count1[2] & !a[0] & a[2]);


--A1L56 is count1~866sexp2
A1L56 = EXP(count1[2] & !a[0] & a[2] & a[1]);


--A1L66 is count1~866sexp3
A1L66 = EXP(!a[3] & count1[2] & a[0] & !a[2]);


--A1L76 is count1~866sexp4
A1L76 = EXP(count1[2] & a[0] & !a[2] & !a[1]);


--m is m
--operation mode is input

m = INPUT();


--clk is clk
--operation mode is input

clk = INPUT();


--reset is reset
--operation mode is input

reset = INPUT();


--a[3] is a[3]
--operation mode is input

a[3] = INPUT();


--a[2] is a[2]
--operation mode is input

a[2] = INPUT();


--a[1] is a[1]
--operation mode is input

a[1] = INPUT();


--a[0] is a[0]
--operation mode is input

a[0] = INPUT();


--level[3] is level[3]
--operation mode is input

level[3] = INPUT();


--level[2] is level[2]
--operation mode is input

level[2] = INPUT();


--level[1] is level[1]
--operation mode is input

level[1] = INPUT();


--level[0] is level[0]
--operation mode is input

level[0] = INPUT();


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

disp[3] = OUTPUT(B1_temp[3]);


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

disp[0] = OUTPUT(B1_temp[0]);


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

b1[2] = OUTPUT(b1_temp[2]);


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

b1[1] = OUTPUT(b1_temp[1]);


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

b1[0] = OUTPUT(b1_temp[0]);


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

b2[2] = OUTPUT(A1L52);


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

b2[1] = OUTPUT(A1L12);


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

b2[0] = OUTPUT(A1L61);


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

disp[4] = OUTPUT(B1_temp[4]);


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

disp[1] = OUTPUT(B1_temp[1]);


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

b1[3] = OUTPUT(b1_temp[3]);


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

b2[3] = OUTPUT(A1L63);


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

disp[5] = OUTPUT(B1_temp[5]);


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

disp[2] = OUTPUT(B1_temp[2]);


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

b[0] = OUTPUT(C1L4);


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

b[6] = OUTPUT(C1L72);


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

b[3] = OUTPUT(C1L31);


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

b[1] = OUTPUT(C1L9);


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

b[5] = OUTPUT(C1L42);


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

b[4] = OUTPUT(C1L91);


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

b[2] = OUTPUT(C1L11);