ok.fit.eqn

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

--B1_temp[0] is kongzhi:a1|temp[0] at LC49
B1_temp[0]_p1_out = !B1_temp[1] & B1_temp[5] & B1_temp[4] & B1_temp[3] & B1_temp[2] & B1_temp[0];
B1_temp[0]_or_out = B1_temp[0]_p1_out;
B1_temp[0]_reg_input = !(B1_temp[0]_or_out);
B1_temp[0] = DFFE(B1_temp[0]_reg_input, GLOBAL(clk), !reset, , );


--B1_temp[3] is kongzhi:a1|temp[3] at LC56
B1_temp[3]_p1_out = !B1_temp[4] & B1_temp[3] & B1_temp[5] & B1_temp[1] & B1_temp[2] & B1_temp[0];
B1_temp[3]_or_out = B1_temp[3]_p1_out;
B1_temp[3]_reg_input = !(B1_temp[3]_or_out);
B1_temp[3] = DFFE(B1_temp[3]_reg_input, GLOBAL(clk), , !reset, );


--b1_temp[2] is b1_temp[2] at LC35
b1_temp[2]_p0_out = !a[2] & !b1_temp[1] & !a[1] & !a[3] & !b1_temp[3] & !a[0] & b1_temp[0] & b1_temp[2];
b1_temp[2]_p1_out = !a[2] & b1_temp[1] & a[1] & !a[3] & !b1_temp[3] & !a[0] & b1_temp[0] & b1_temp[2];
b1_temp[2]_p4_out = !a[2] & !b1_temp[1] & !a[1] & a[3] & b1_temp[3] & !a[0] & b1_temp[0] & b1_temp[2];
b1_temp[2]_or_out = A1L72 # b1_temp[2]_p0_out # b1_temp[2]_p1_out # b1_temp[2]_p4_out;
b1_temp[2]_reg_input = b1_temp[2]_or_out;
b1_temp[2] = TFFE(b1_temp[2]_reg_input, !m, !reset, , );


--b1_temp[1] is b1_temp[1] at LC64
b1_temp[1]_p0_out = !a[2] & !a[1] & !b1_temp[2] & b1_temp[3] & a[3] & b1_temp[0] & !a[0] & b1_temp[1];
b1_temp[1]_p1_out = a[2] & !a[1] & b1_temp[2] & b1_temp[3] & a[3] & !b1_temp[0] & a[0] & b1_temp[1];
b1_temp[1]_p4_out = !a[2] & !a[1] & !b1_temp[2] & !b1_temp[3] & !a[3] & b1_temp[0] & !a[0] & b1_temp[1];
b1_temp[1]_or_out = A1L32 # b1_temp[1]_p0_out # b1_temp[1]_p1_out # b1_temp[1]_p4_out;
b1_temp[1]_reg_input = b1_temp[1]_or_out;
b1_temp[1] = TFFE(b1_temp[1]_reg_input, !m, !reset, , );


--A1L41 is b1_temp[0]~209 at LC42
A1L41_p0_out = a[0] & !a[2] & a[3] & a[1] & b1_temp[3] & !b1_temp[0] & !b1_temp[2];
A1L41_p1_out = !b1_temp[1] & a[0] & a[2] & a[3] & !a[1] & b1_temp[3] & !b1_temp[0];
A1L41_p2_out = b1_temp[1] & a[0] & a[2] & !a[3] & a[1] & !b1_temp[3] & !b1_temp[0];
A1L41_p3_out = b1_temp[1] & a[0] & a[3] & a[1] & b1_temp[3] & !b1_temp[0];
A1L41_p4_out = b1_temp[1] & a[0] & !a[2] & a[3] & a[1] & !b1_temp[0] & !b1_temp[2];
A1L41_or_out = A1L71 # A1L41_p0_out # A1L41_p1_out # A1L41_p2_out # A1L41_p3_out # A1L41_p4_out;
A1L41 = A1L41_or_out;


--A1L51 is b1_temp[0]~214 at LC106
A1L51_p1_out = !a[2] & b1_temp[1] & a[1] & b1_temp[3] & a[3] & !a[0];
A1L51_p2_out = a[2] & !b1_temp[1] & !a[1] & !a[3] & !a[0] & b1_temp[2];
A1L51_p3_out = a[2] & !a[1] & !b1_temp[3] & !a[3] & !a[0] & b1_temp[2];
A1L51_p4_out = !b1_temp[1] & !a[1] & !b1_temp[3] & !a[3] & !a[0];
A1L51_or_out = A1L91 # !b1_temp[0] # A1L51_p1_out # A1L51_p2_out # A1L51_p3_out # A1L51_p4_out;
A1L51 = A1L51_or_out;


--b1_temp[0] is b1_temp[0] at LC61
b1_temp[0]_p1_out = !A1L41 & A1L51;
b1_temp[0]_or_out = b1_temp[0]_p1_out;
b1_temp[0]_reg_input = !(b1_temp[0]_or_out);
b1_temp[0] = DFFE(b1_temp[0]_reg_input, !m, !reset, , );


--A1L52 is b1_temp[2]~221 at LC43
A1L52_or_out = !b1_temp[2];
A1L52 = A1L52_or_out;


--A1L12 is b1_temp[1]~223 at LC40
A1L12_or_out = !b1_temp[1];
A1L12 = A1L12_or_out;


--A1L61 is b1_temp[0]~225 at LC38
A1L61_or_out = !b1_temp[0];
A1L61 = A1L61_or_out;


--B1_temp[4] is kongzhi:a1|temp[4] at LC57
B1_temp[4]_p1_out = !B1_temp[5] & B1_temp[4] & B1_temp[3] & B1_temp[1] & B1_temp[2] & B1_temp[0];
B1_temp[4]_or_out = B1_temp[4]_p1_out;
B1_temp[4]_reg_input = !(B1_temp[4]_or_out);
B1_temp[4] = DFFE(B1_temp[4]_reg_input, GLOBAL(clk), , !reset, );


--A1L26 is count1~848 at LC94
A1L26_p0_out = a[0] & !a[2] & !a[1];
A1L26_p2_out = a[3] & !a[0] & a[2];
A1L26_p3_out = !a[0] & a[2] & a[1];
A1L26_p4_out = !a[3] & a[0] & !a[2];
A1L26_or_out = A1L26_p0_out # A1L26_p2_out # A1L26_p3_out # A1L26_p4_out;
A1L26 = count1[0] $ A1L26_or_out;


--A1L36 is count1~855 at LC96
A1L36_p0_out = !a[0] & count1[0] & !a[3] & !a[1];
A1L36_p2_out = a[2] & a[0] & count1[0];
A1L36_p3_out = !a[2] & !a[0] & count1[0];
A1L36_p4_out = a[0] & count1[0] & a[3] & a[1];
A1L36_or_out = A1L36_p0_out # A1L36_p2_out # A1L36_p3_out # A1L36_p4_out;
A1L36 = count1[1] $ A1L36_or_out;


--A1L86 is count1~872 at LC90
A1L86_p0_out = count1[0] & count1[2] & count1[1];
A1L86_p1_out = !a[1] & a[0] & !a[2];
A1L86_p2_out = a[1] & !a[0] & a[2];
A1L86_p3_out = !count1[0] & !count1[2];
A1L86_p4_out = !count1[2] & !count1[1];
A1L86_or_out = A1L17 # A1L86_p0_out # A1L86_p1_out # A1L86_p2_out # A1L86_p3_out # A1L86_p4_out;
A1L86 = A1L86_or_out;


--A1L001 is process0~249 at LC79
A1L001_p1_out = !b1_temp[2] & !a[2] & !b1_temp[1] & !a[1];
A1L001_p2_out = !b1_temp[2] & !a[2] & b1_temp[1] & a[1];
A1L001_p3_out = b1_temp[2] & a[2] & !b1_temp[1] & !a[1];
A1L001_p4_out = b1_temp[2] & a[2] & b1_temp[1] & a[1];
A1L001_or_out = A1L001_p1_out # A1L001_p2_out # A1L001_p3_out # A1L001_p4_out;
A1L001 = A1L001_or_out;


--A1L101 is process0~255 at LC109
A1L101_p0_out = a[3] & !b1_temp[3];
A1L101_p1_out = b1_temp[2] & !a[2] & !b1_temp[1] & a[1];
A1L101_p2_out = !b1_temp[2] & a[2] & b1_temp[1] & !a[1];
A1L101_p3_out = !b1_temp[2] & a[2] & !b1_temp[1] & a[1];
A1L101_p4_out = !a[3] & b1_temp[3];
A1L101_or_out = A1L301 # A1L101_p0_out # A1L101_p1_out # A1L101_p2_out # A1L101_p3_out # A1L101_p4_out;
A1L101 = A1L101_or_out;


--A1L96 is count1~873 at LC86
A1L96_p0_out = !a[0] & count1[2] & count1[0] & count1[1] & !a[3] & !a[1];
A1L96_p2_out = a[2] & a[0] & count1[2] & count1[0] & count1[1];
A1L96_p3_out = !a[2] & !a[0] & count1[2] & count1[0] & count1[1];
A1L96_p4_out = a[0] & count1[2] & count1[0] & count1[1] & a[3] & a[1];
A1L96_or_out = A1L96_p0_out # A1L96_p2_out # A1L96_p3_out # A1L96_p4_out;
A1L96 = count1[3] $ A1L96_or_out;


--count1[3] is count1[3] at LC83
count1[3]_p0_out = !A1L101 & a[0] & !b1_temp[0] & !A1L96;
count1[3]_p1_out = !A1L101 & a[0] & !b1_temp[0] & A1L26 & A1L36 & A1L86 & A1L46 & A1L56 & A1L66 & A1L76;
count1[3]_p4_out = !A1L101 & !a[0] & b1_temp[0] & A1L26 & A1L36 & A1L86 & A1L46 & A1L56 & A1L66 & A1L76;
count1[3]_or_out = A1L16 # count1[3]_p0_out # count1[3]_p1_out # count1[3]_p4_out;
count1[3]_reg_input = !(count1[3]_or_out);
count1[3] = DFFE(count1[3]_reg_input, !m, !reset, , );


--A1L07 is count1~892 at LC93
A1L07_p0_out = !a[0] & a[2] & a[1] & !count1[0] & count1[3] & !count1[2];
A1L07_p1_out = !a[0] & a[2] & !count1[1] & a[1];
A1L07_p2_out = a[0] & !a[2] & !count1[0] & !a[3] & count1[3] & !count1[2];
A1L07_p3_out = a[0] & !a[2] & !a[1] & !count1[0] & count1[3] & !count1[2];
A1L07_p4_out = !a[0] & a[2] & !count1[0] & a[3] & count1[3] & !count1[2];
A1L07_or_out = A1L37 # A1L07_p0_out # A1L07_p1_out # A1L07_p2_out # A1L07_p3_out # A1L07_p4_out;
A1L07 = A1L07_or_out;


--A1L201 is process0~261 at LC103
A1L201_p0_out = a[0] & b1_temp[0];
A1L201_p1_out = b1_temp[1] & !a[1] & !b1_temp[3] & a[3];
A1L201_p2_out = !b1_temp[1] & a[1] & b1_temp[3] & !a[3];
A1L201_p3_out = !b1_temp[1] & a[1] & !b1_temp[3] & a[3];
A1L201_p4_out = !a[0] & !b1_temp[0];
A1L201_or_out = A1L501 # A1L201_p0_out # A1L201_p1_out # A1L201_p2_out # A1L201_p3_out # A1L201_p4_out;
A1L201 = A1L201_or_out;


--count1[1] is count1[1] at LC95
count1[1]_p1_out = !A1L07 & !A1L201;
count1[1]_p4_out = A1L201 & count1[1];
count1[1]_or_out = count1[1]_p1_out # count1[1]_p4_out;
count1[1]_reg_input = count1[1]_or_out;
count1[1] = DFFE(count1[1]_reg_input, !m, !reset, , );


--count1[0] is count1[0] at LC100
count1[0]_p0_out = b1_temp[0] & a[0];
count1[0]_p1_out = !a[2] & !a[1] & !b1_temp[0];
count1[0]_p4_out = !b1_temp[0] & !a[0];
count1[0]_or_out = A1L55 # count1[0]_p0_out # count1[0]_p1_out # count1[0]_p4_out;
count1[0]_reg_input = !count1[0]_or_out;
count1[0] = TFFE(count1[0]_reg_input, !m, !reset, , );


--B1_temp[1] is kongzhi:a1|temp[1] at LC51
B1_temp[1]_p1_out = !B1_temp[2] & B1_temp[0] & B1_temp[1] & B1_temp[5] & B1_temp[4] & B1_temp[3];
B1_temp[1]_or_out = B1_temp[1]_p1_out;
B1_temp[1]_reg_input = !(B1_temp[1]_or_out);
B1_temp[1] = DFFE(B1_temp[1]_reg_input, GLOBAL(clk), !reset, , );


--A1L92 is b1_temp[3]~227 at SEXP43
A1L92 = EXP(a[2] & !b1_temp[0]);


--A1L03 is b1_temp[3]~229 at SEXP40
A1L03 = EXP(!b1_temp[1] & !a[1] & !a[3] & b1_temp[2] & a[2] & !a[0] & b1_temp[0]);


--A1L13 is b1_temp[3]~230 at SEXP33
A1L13 = EXP(!b1_temp[1] & !a[1] & !a[3] & b1_temp[2] & a[2] & a[0] & !b1_temp[0]);


--A1L23 is b1_temp[3]~231 at SEXP38
A1L23 = EXP(b1_temp[1] & a[1] & !a[3] & b1_temp[2] & a[2] & a[0] & !b1_temp[0]);


--A1L33 is b1_temp[3]~232 at SEXP44
A1L33 = EXP(!b1_temp[1] & !a[1] & !a[3] & !b1_temp[2] & !a[2] & !a[0] & b1_temp[0]);


--A1L43 is b1_temp[3]~233 at SEXP39
A1L43 = EXP(b1_temp[1] & a[1] & !a[3] & !b1_temp[2] & !a[2] & !a[0] & b1_temp[0]);


--A1L53 is b1_temp[3]~234 at SEXP45
A1L53 = EXP(!b1_temp[2] & a[2] & !b1_temp[3]);


--b1_temp[3] is b1_temp[3] at LC37
b1_temp[3]_p1_out = A1L03 & A1L13 & A1L23 & A1L33 & A1L43 & A1L53;
b1_temp[3]_p0_out = A1L03 & A1L13 & A1L23 & A1L33 & A1L43 & A1L53 & !b1_temp[3] & b1_temp[0] & a[0];
b1_temp[3]_p4_out = A1L03 & A1L13 & A1L23 & A1L33 & A1L43 & A1L53 & A1L92 & b1_temp[2] & !b1_temp[3];
b1_temp[3]_or_out = A1L73 # b1_temp[3]_p0_out # b1_temp[3]_p4_out;
b1_temp[3]_reg_input = b1_temp[3]_p1_out $ b1_temp[3]_or_out;
b1_temp[3] = DFFE(b1_temp[3]_reg_input, !m, !reset, , );


--A1L63 is b1_temp[3]~242 at LC45
A1L63_or_out = !b1_temp[3];
A1L63 = A1L63_or_out;


--B1_temp[5] is kongzhi:a1|temp[5] at LC59
B1_temp[5]_p0_out = B1_temp[4] & !B1_temp[3] & B1_temp[5] & B1_temp[1] & B1_temp[2] & B1_temp[0];
B1_temp[5]_p1_out = B1_temp[4] & B1_temp[3] & B1_temp[5] & !B1_temp[1] & B1_temp[2] & B1_temp[0];
B1_temp[5]_p2_out = B1_temp[4] & B1_temp[3] & !B1_temp[5] & B1_temp[1] & B1_temp[2] & B1_temp[0];
B1_temp[5]_p3_out = !B1_temp[4] & B1_temp[3] & B1_temp[5] & B1_temp[1] & B1_temp[2] & B1_temp[0];
B1_temp[5]_or_out = B1L21 # B1_temp[5]_p0_out # B1_temp[5]_p1_out # B1_temp[5]_p2_out # B1_temp[5]_p3_out;
B1_temp[5]_reg_input = B1_temp[5]_or_out;
B1_temp[5] = DFFE(B1_temp[5]_reg_input, GLOBAL(clk), , !reset, );


--count1[2] is count1[2] at LC85
count1[2]_p0_out = count1[0] & !a[0] & count1[1] & !A1L201 & !a[2];
count1[2]_p1_out = a[3] & a[1] & count1[0] & a[0] & count1[1] & !A1L201;
count1[2]_p4_out = count1[0] & a[0] & count1[1] & !A1L201 & a[2];
count1[2]_or_out = A1L85 # count1[2]_p0_out # count1[2]_p1_out # count1[2]_p4_out;
count1[2]_reg_input = count1[2]_or_out;
count1[2] = TFFE(count1[2]_reg_input, !m, !reset, , );


--B1_a[0] is kongzhi:a1|a[0] at LC60
B1_a[0]_p1_out = B1_temp[5] & B1_temp[4] & B1_temp[3] & !B1_temp[1] & B1_temp[2] & B1_temp[0];
B1_a[0]_p2_out = B1_temp[5] & B1_temp[4] & !B1_temp[3] & B1_temp[1] & B1_temp[2] & B1_temp[0];
B1_a[0]_p4_out = !B1_temp[5] & B1_temp[4] & B1_temp[3] & B1_temp[1] & B1_temp[2] & B1_temp[0];
B1_a[0]_or_out = B1_a[0]_p2_out # B1_a[0]_p4_out;
B1_a[0]_reg_input = B1_a[0]_p1_out $ B1_a[0]_or_out;
B1_a[0] = DFFE(B1_a[0]_reg_input, GLOBAL(clk), , , !reset);


--B1_a[1] is kongzhi:a1|a[1] at LC50
B1_a[1]_p1_out = B1_temp[3] & !B1_temp[4] & B1_temp[5] & B1_temp[1] & B1_temp[2] & B1_temp[0];
B1_a[1]_p2_out = !B1_temp[3] & B1_temp[4] & B1_temp[5] & B1_temp[1] & B1_temp[2] & B1_temp[0];
B1_a[1]_or_out = B1_a[1]_p1_out # B1_a[1]_p2_out;
B1_a[1]_reg_input = B1_a[1]_or_out;
B1_a[1] = DFFE(B1_a[1]_reg_input, GLOBAL(clk), , , !reset);


--B1_temp[2] is kongzhi:a1|temp[2] at LC53
B1_temp[2]_p1_out = B1_temp[4] & !B1_temp[3] & B1_temp[5] & B1_temp[1] & B1_temp[2] & B1_temp[0];
B1_temp[2]_or_out = B1_temp[2]_p1_out;
B1_temp[2]_reg_input = !(B1_temp[2]_or_out);
B1_temp[2] = DFFE(B1_temp[2]_reg_input, GLOBAL(clk), , !reset, );


--B1_a[2] is kongzhi:a1|a[2] at LC52
B1_a[2]_p1_out = B1_temp[2] & B1_temp[0] & !B1_temp[1] & B1_temp[5] & B1_temp[4] & B1_temp[3];
B1_a[2]_p2_out = !B1_temp[2] & B1_temp[0] & B1_temp[1] & B1_temp[5] & B1_temp[4] & B1_temp[3];
B1_a[2]_or_out = B1_a[2]_p1_out # B1_a[2]_p2_out;
B1_a[2]_reg_input = B1_a[2]_or_out;
B1_a[2] = DFFE(B1_a[2]_reg_input, GLOBAL(clk), , , !reset);


--D1L1 is lpm_counter:count2_rtl_0|_~52 at LC48
D1L1_p0_out = a[0] & b1_temp[0];
D1L1_p2_out = !b1_temp[1] & a[1] & b1_temp[3] & !a[3];
D1L1_p3_out = !b1_temp[1] & a[1] & !b1_temp[3] & a[3];
D1L1_p4_out = !a[0] & !b1_temp[0];
D1L1_or_out = D1L5 # D1L1_p0_out # D1L1_p2_out # D1L1_p3_out # D1L1_p4_out;
D1L1 = D1_dffs[0] $ D1L1_or_out;


--A1L601 is reduce_nor~231 at LC88
A1L601_p0_out = !a[0] & !count1[1] & count1[0] & !a[2] & count1[3] & !count1[2];
A1L601_p1_out = !a[0] & count1[1] & !count1[0] & a[2] & count1[3] & !count1[2] & a[1];
A1L601_p2_out = a[0] & !count1[1] & count1[0] & count1[3] & !count1[2] & a[1] & a[3];
A1L601_p3_out = a[0] & !count1[1] & count1[0] & a[2] & count1[3] & !count1[2];
A1L601_p4_out = !a[0] & !count1[1] & count1[0] & count1[3] & !count1[2] & !a[1] & !a[3];
A1L601_or_out = A1L701 # A1L601_p0_out # A1L601_p1_out # A1L601_p2_out # A1L601_p3_out # A1L601_p4_out;
A1L601 = A1L601_or_out;


--D1_dffs[0] is lpm_counter:count2_rtl_0|dffs[0] at LC75
D1_dffs[0]_p1_out = !D1L1 & A1L601;
D1_dffs[0]_p4_out = !A1L601 & D1_dffs[0];
D1_dffs[0]_or_out = D1_dffs[0]_p1_out # D1_dffs[0]_p4_out;
D1_dffs[0]_reg_input = D1_dffs[0]_or_out;
D1_dffs[0] = DFFE(D1_dffs[0]_reg_input, !m, !reset, , );


--D1_dffs[1] is lpm_counter:count2_rtl_0|dffs[1] at LC76
D1_dffs[1]_p1_out = D1_dffs[0] & !A1L201 & A1L601;
D1_dffs[1]_or_out = D1_dffs[1]_p1_out;
D1_dffs[1]_reg_input = D1_dffs[1]_or_out;
D1_dffs[1] = TFFE(D1_dffs[1]_reg_input, !m, !reset, , );


--D1L2 is lpm_counter:count2_rtl_0|_~63 at LC19
D1L2_p1_out = D1_dffs[0] & D1_dffs[1];
D1L2_p0_out = D1_dffs[0] & D1_dffs[1] & a[0] & b1_temp[0];
D1L2_p2_out = D1_dffs[0] & D1_dffs[1] & !b1_temp[1] & a[1] & b1_temp[3] & !a[3];
D1L2_p3_out = D1_dffs[0] & D1_dffs[1] & !b1_temp[1] & a[1] & !b1_temp[3] & a[3];
D1L2_p4_out = D1_dffs[0] & D1_dffs[1] & !a[0] & !b1_temp[0];
D1L2_or_out = D1L7 # D1L2_p0_out # D1L2_p2_out # D1L2_p3_out # D1L2_p4_out;
D1L2 = D1L2_p1_out $ D1L2_or_out;


--D1_dffs[2] is lpm_counter:count2_rtl_0|dffs[2] at LC55
D1_dffs[2]_p1_out = D1L2 & A1L601;
D1_dffs[2]_or_out = D1_dffs[2]_p1_out;
D1_dffs[2]_reg_input = D1_dffs[2]_or_out;
D1_dffs[2] = TFFE(D1_dffs[2]_reg_input, !m, !reset, , );


--D1L3 is lpm_counter:count2_rtl_0|_~70 at LC22
D1L3_p1_out = D1_dffs[2] & D1_dffs[0] & D1_dffs[1];
D1L3_p0_out = D1_dffs[2] & D1_dffs[0] & D1_dffs[1] & a[0] & b1_temp[0];
D1L3_p2_out = D1_dffs[2] & D1_dffs[0] & D1_dffs[1] & !b1_temp[1] & a[1] & b1_temp[3] & !a[3];
D1L3_p3_out = D1_dffs[2] & D1_dffs[0] & D1_dffs[1] & !b1_temp[1] & a[1] & !b1_temp[3] & a[3];
D1L3_p4_out = D1_dffs[2] & D1_dffs[0] & D1_dffs[1] & !a[0] & !b1_temp[0];
D1L3_or_out = D1L9 # D1L3_p0_out # D1L3_p2_out # D1L3_p3_out # D1L3_p4_out;
D1L3 = D1L3_p1_out $ D1L3_or_out;


--D1_dffs[3] is lpm_counter:count2_rtl_0|dffs[3] at LC54
D1_dffs[3]_p1_out = D1L3 & A1L601;
D1_dffs[3]_or_out = D1_dffs[3]_p1_out;
D1_dffs[3]_reg_input = D1_dffs[3]_or_out;
D1_dffs[3] = TFFE(D1_dffs[3]_reg_input, !m, !reset, , );


--A1L09 is n~49 at SEXP77
A1L09 = EXP(!a[2] & !a[1] & !b1_temp[0]);


--A1L19 is n~50 at SEXP76
A1L19 = EXP(!a[3] & !a[2] & !b1_temp[0]);


--A1L29 is n~51 at SEXP75