ok.fit.eqn

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

D1L5 = D1L4 # D1L5_p0_out # D1L5_p1_out # D1L5_p2_out # D1L5_p3_out # D1L5_p4_out;


--A1L701 is reduce_nor~232 at LC87
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 at LC17
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 at LC18
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 at LC20
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 at LC21
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 at LC65
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 at LC66
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 at LC67
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 at LC69
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 at LC24
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;


--C1L11 is display:a2|b[1]~6721 at LC26
C1L11_p0_out = B1_a[2] & !B1_a[0] & D1_dffs[2] & D1_dffs[3] & C1L2;
C1L11_p1_out = !B1_a[2] & !n[1] & !n[0];
C1L11_p2_out = B1_a[2] & !count1[2] & B1_a[0] & count1[0] & !count1[3] & C1L2;
C1L11_p3_out = B1_a[2] & count1[2] & B1_a[0] & count1[3] & C1L2;
C1L11_p4_out = B1_a[2] & !B1_a[0] & !D1_dffs[2] & D1_dffs[0] & !D1_dffs[3] & C1L2;
C1L11 = C1L11_p0_out # C1L11_p1_out # C1L11_p2_out # C1L11_p3_out # C1L11_p4_out;


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


--C1L03 is display:a2|b[6]~6732 at LC73
C1L03_p1_out = !B1_a[2] & !B1_a[1] & !n[1] & n[0];
C1L03_p2_out = !B1_a[1] & !n[1] & n[0] & !B1_a[0] & !D1_dffs[0] & !D1_dffs[3] & !D1_dffs[2];
C1L03_p3_out = !B1_a[1] & !n[1] & n[0] & !B1_a[0] & !D1_dffs[3] & D1_dffs[1];
C1L03_p4_out = !B1_a[1] & !n[1] & n[0] & !B1_a[0] & D1_dffs[0] & !D1_dffs[3] & D1_dffs[2];
C1L03 = C1L03_p1_out # C1L03_p2_out # C1L03_p3_out # C1L03_p4_out;


--C1L51 is display:a2|b[3]~6737 at LC1
C1L51_p1_out = !n[0] & B1_a[2] & !B1_a[1] & !n[1];
C1L51_p2_out = B1_a[2] & !B1_a[1] & !D1_dffs[0] & !D1_dffs[2] & !B1_a[0] & !D1_dffs[1];
C1L51_p3_out = B1_a[2] & !B1_a[1] & B1_a[0] & !count1[0] & !count1[2] & !count1[3];
C1L51 = C1L51_p1_out # C1L51_p2_out # C1L51_p3_out;


--C1L61 is display:a2|b[3]~6741 at LC2
C1L61_p0_out = B1_a[2] & !B1_a[1] & B1_a[0] & count1[1] & !count1[3] & !count1[0];
C1L61_p1_out = B1_a[2] & !B1_a[1] & D1_dffs[3] & !D1_dffs[2] & !B1_a[0] & !D1_dffs[1];
C1L61_p2_out = B1_a[2] & !B1_a[1] & !D1_dffs[3] & !B1_a[0] & D1_dffs[1] & !D1_dffs[0];
C1L61_p3_out = B1_a[2] & !B1_a[1] & !D1_dffs[3] & !D1_dffs[2] & !B1_a[0] & D1_dffs[1];
C1L61_p4_out = B1_a[2] & !B1_a[1] & B1_a[0] & !count1[2] & !count1[1] & count1[3];
C1L61 = C1L51 # C1L61_p0_out # C1L61_p1_out # C1L61_p2_out # C1L61_p3_out # C1L61_p4_out;


--C1L12 is display:a2|b[4]~6747 at LC4
C1L12_p1_out = !B1_a[1] & !n[0] & !n[1] & B1_a[2];
C1L12_p2_out = !B1_a[1] & B1_a[2] & !B1_a[0] & !D1_dffs[1] & !D1_dffs[2];
C1L12_p3_out = !B1_a[1] & B1_a[2] & B1_a[0] & !count1[1] & !count1[2];
C1L12 = C1L12_p1_out # C1L12_p2_out # C1L12_p3_out;


--C1L31 is display:a2|b[2]~6751 at LC28
C1L31_p1_out = !n[1] & !n[0] & B1_a[2] & !B1_a[1];
C1L31_p2_out = B1_a[2] & !B1_a[1] & !B1_a[0] & !D1_dffs[1] & !D1_dffs[0] & !D1_dffs[2];
C1L31_p3_out = B1_a[2] & !B1_a[1] & B1_a[0] & !count1[1] & !count1[0] & !count1[2];
C1L31 = C1L31_p1_out # C1L31_p2_out # C1L31_p3_out;


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


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


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


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


--m is m at PIN_4
--operation mode is input

m = INPUT();


--clk is clk at PIN_83
--operation mode is input

clk = INPUT();


--reset is reset at PIN_84
--operation mode is input

reset = INPUT();


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

a[3] = INPUT();


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

a[2] = INPUT();


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

a[1] = INPUT();


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

a[0] = INPUT();


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

level[3] = INPUT();


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

level[2] = INPUT();


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

level[1] = INPUT();


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

level[0] = INPUT();


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

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


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

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


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

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


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

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


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

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


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

b2[2] = OUTPUT(A1L52);


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

b2[1] = OUTPUT(A1L12);


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

b2[0] = OUTPUT(A1L61);


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

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


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

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


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

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


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

b2[3] = OUTPUT(A1L63);


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

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


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

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


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

b[0] = OUTPUT(C1L4);


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

b[6] = OUTPUT(C1L82);


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

b[3] = OUTPUT(C1L41);


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

b[1] = OUTPUT(C1L01);


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

b[5] = OUTPUT(C1L52);


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

b[4] = OUTPUT(C1L02);


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

b[2] = OUTPUT(C1L21);






--C1L6 is display:a2|b[0]~6755 at SEXP1
C1L6 = EXP(!n[1] & !n[0]);