ok.map.eqn

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

--B1_temp[0] is kongzhi:a1|temp[0]
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]
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]
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]
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
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
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]
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
A1L52_or_out = !b1_temp[2];
A1L52 = A1L52_or_out;


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


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


--B1_temp[4] is kongzhi:a1|temp[4]
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
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
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
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
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
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
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]
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
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
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]
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]
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]
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
A1L92 = EXP(a[2] & !b1_temp[0]);


--A1L03 is b1_temp[3]~229
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
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
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
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
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
A1L53 = EXP(!b1_temp[2] & a[2] & !b1_temp[3]);


--b1_temp[3] is b1_temp[3]
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
A1L63_or_out = !b1_temp[3];
A1L63 = A1L63_or_out;


--B1_temp[5] is kongzhi:a1|temp[5]
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]
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]
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]
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]
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]
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
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
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]
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]
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
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]
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
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]
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
A1L09 = EXP(!a[2] & !a[1] & !b1_temp[0]);


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