top.fit.eqn

清华大学实验箱自带实验程序

--H1L5 is vgacore:showdata|D~290 at LC_X14_Y12_N4
--operation mode is normal

H1L5 = !H1_vcnt[8] & H1_vcnt[9] & (H1L4);


--H1_vcnt[6] is vgacore:showdata|vcnt[6] at LC_X15_Y12_N6
--operation mode is arithmetic

H1_vcnt[6]_carry_eqn = (!H1L75 & H1L95) # (H1L75 & H1L06);
H1_vcnt[6]_lut_out = H1_vcnt[6] $ (!H1_vcnt[6]_carry_eqn);
H1_vcnt[6] = DFFEAS(H1_vcnt[6]_lut_out, !GLOBAL(H1_hsyncb), GLOBAL(resn), , , , , H1L24, );

--H1L26 is vgacore:showdata|vcnt[6]~288 at LC_X15_Y12_N6
--operation mode is arithmetic

H1L26_cout_0 = H1_vcnt[6] & (!H1L95);
H1L26 = CARRY(H1L26_cout_0);

--H1L36 is vgacore:showdata|vcnt[6]~288COUT1_305 at LC_X15_Y12_N6
--operation mode is arithmetic

H1L36_cout_1 = H1_vcnt[6] & (!H1L06);
H1L36 = CARRY(H1L36_cout_1);


--H1_vcnt[0] is vgacore:showdata|vcnt[0] at LC_X15_Y12_N0
--operation mode is arithmetic

H1_vcnt[0]_lut_out = !H1_vcnt[0];
H1_vcnt[0] = DFFEAS(H1_vcnt[0]_lut_out, !GLOBAL(H1_hsyncb), GLOBAL(resn), , , , , H1L24, );

--H1L54 is vgacore:showdata|vcnt[0]~292 at LC_X15_Y12_N0
--operation mode is arithmetic

H1L54_cout_0 = H1_vcnt[0];
H1L54 = CARRY(H1L54_cout_0);

--H1L64 is vgacore:showdata|vcnt[0]~292COUT1_300 at LC_X15_Y12_N0
--operation mode is arithmetic

H1L64_cout_1 = H1_vcnt[0];
H1L64 = CARRY(H1L64_cout_1);


--H1_vcnt[1] is vgacore:showdata|vcnt[1] at LC_X15_Y12_N1
--operation mode is arithmetic

H1_vcnt[1]_lut_out = H1_vcnt[1] $ (H1L54);
H1_vcnt[1] = DFFEAS(H1_vcnt[1]_lut_out, !GLOBAL(H1_hsyncb), GLOBAL(resn), , , , , H1L24, );

--H1L84 is vgacore:showdata|vcnt[1]~296 at LC_X15_Y12_N1
--operation mode is arithmetic

H1L84_cout_0 = !H1L54 # !H1_vcnt[1];
H1L84 = CARRY(H1L84_cout_0);

--H1L94 is vgacore:showdata|vcnt[1]~296COUT1_301 at LC_X15_Y12_N1
--operation mode is arithmetic

H1L94_cout_1 = !H1L64 # !H1_vcnt[1];
H1L94 = CARRY(H1L94_cout_1);


--H1L6 is vgacore:showdata|D~291 at LC_X16_Y14_N0
--operation mode is normal

H1L6 = H1_vcnt[2] & (H1_vcnt[0] # H1_vcnt[1] # !H1_vcnt[6]);


--F1L06 is target:drawtarget|drawtarget~84 at LC_X15_Y13_N0
--operation mode is normal

F1L06 = !H1_vcnt[8] & !H1_vcnt[7] & !H1_hcnt[10] & !H1_vcnt[5];


--F1L16 is target:drawtarget|drawtarget~85 at LC_X15_Y13_N7
--operation mode is normal

F1L16 = H1_vcnt[4] & (H1_vcnt[2] & (!H1_vcnt[3] # !H1_vcnt[1]) # !H1_vcnt[2] & (H1_vcnt[3]));


--F1L76 is target:drawtarget|LessThan~1023 at LC_X14_Y13_N9
--operation mode is normal

F1L76_carry_eqn = (!F1L69 & F1L07) # (F1L69 & F1L17);
F1L76 = F1L1 & (F1L76_carry_eqn # !H1_hcnt[9]) # !F1L1 & !H1_hcnt[9] & F1L76_carry_eqn;


--F1L86 is target:drawtarget|LessThan~1028 at LC_X16_Y13_N9
--operation mode is normal

F1L86_carry_eqn = (!F1L89 & F1L37) # (F1L89 & F1L47);
F1L86 = H1_hcnt[9] & (F1L86_carry_eqn # !F1L2) # !H1_hcnt[9] & (F1L86_carry_eqn & !F1L2);


--F1L26 is target:drawtarget|drawtarget~86 at LC_X15_Y13_N6
--operation mode is normal

F1L26 = !H1_vcnt[6] & !F1L76 & !H1_vcnt[9] & !F1L86;


--D1L734 is ball:drawball|LessThan~1930 at LC_X15_Y9_N9
--operation mode is normal

D1L734_carry_eqn = (!D1L206 & D1L054) # (D1L206 & D1L154);
D1L734 = H1_vcnt[9] & (D1L734_carry_eqn # !D1L1) # !H1_vcnt[9] & D1L734_carry_eqn & !D1L1;


--D1L834 is ball:drawball|LessThan~1935 at LC_X16_Y10_N9
--operation mode is normal

D1L834_carry_eqn = (!D1L406 & D1L354) # (D1L406 & D1L454);
D1L834 = H1_vcnt[9] & (D1L834_carry_eqn & D1L2) # !H1_vcnt[9] & (D1L834_carry_eqn # D1L2);


--D1L934 is ball:drawball|LessThan~1940 at LC_X10_Y11_N9
--operation mode is normal

D1L934_carry_eqn = (!D1L606 & D1L654) # (D1L606 & D1L754);
D1L934 = H1_hcnt[9] & D1L934_carry_eqn & D1L3 # !H1_hcnt[9] & (D1L934_carry_eqn # D1L3);


--D1L044 is ball:drawball|LessThan~1945 at LC_X13_Y13_N9
--operation mode is normal

D1L044_carry_eqn = (!D1L806 & D1L954) # (D1L806 & D1L064);
D1L044 = H1_hcnt[9] & (D1L044_carry_eqn # !D1L4) # !H1_hcnt[9] & (D1L044_carry_eqn & !D1L4);


--D1L434 is ball:drawball|drawball~113 at LC_X15_Y10_N6
--operation mode is normal

D1L434 = !D1L934 & !D1L834 & !D1L734 & !D1L044;


--D1L144 is ball:drawball|LessThan~1950 at LC_X14_Y11_N9
--operation mode is normal

D1L144_carry_eqn = (!D1L016 & D1L264) # (D1L016 & D1L364);
D1L144 = H1_vcnt[9] & (D1L144_carry_eqn # !D1L5) # !H1_vcnt[9] & !D1L5 & D1L144_carry_eqn;


--D1L244 is ball:drawball|LessThan~1955 at LC_X14_Y9_N9
--operation mode is normal

D1L244_carry_eqn = (!D1L216 & D1L564) # (D1L216 & D1L664);
D1L244 = H1_vcnt[9] & (D1L244_carry_eqn & D1L6) # !H1_vcnt[9] & (D1L244_carry_eqn # D1L6);


--D1L344 is ball:drawball|LessThan~1960 at LC_X10_Y10_N9
--operation mode is normal

D1L344_carry_eqn = (!D1L416 & D1L864) # (D1L416 & D1L964);
D1L344 = H1_hcnt[9] & D1L344_carry_eqn & D1L7 # !H1_hcnt[9] & (D1L344_carry_eqn # D1L7);


--D1L444 is ball:drawball|LessThan~1965 at LC_X13_Y12_N9
--operation mode is normal

D1L444_carry_eqn = (!D1L616 & D1L174) # (D1L616 & D1L274);
D1L444 = D1L8 & H1_hcnt[9] & D1L444_carry_eqn # !D1L8 & (H1_hcnt[9] # D1L444_carry_eqn);


--D1L534 is ball:drawball|drawball~114 at LC_X15_Y10_N8
--operation mode is normal

D1L534 = !D1L344 & !D1L244 & !D1L444 & !D1L144;


--D1L544 is ball:drawball|LessThan~1970 at LC_X14_Y10_N9
--operation mode is normal

D1L544_carry_eqn = (!D1L816 & D1L474) # (D1L816 & D1L574);
D1L544 = D1L9 & H1_vcnt[9] & D1L544_carry_eqn # !D1L9 & (H1_vcnt[9] # D1L544_carry_eqn);


--D1L644 is ball:drawball|LessThan~1975 at LC_X16_Y12_N9
--operation mode is normal

D1L644_carry_eqn = (!D1L026 & D1L774) # (D1L026 & D1L874);
D1L644 = H1_vcnt[9] & (D1L644_carry_eqn & D1L01) # !H1_vcnt[9] & (D1L644_carry_eqn # D1L01);


--D1L744 is ball:drawball|LessThan~1980 at LC_X20_Y13_N9
--operation mode is normal

D1L744_carry_eqn = (!D1L226 & D1L084) # (D1L226 & D1L184);
D1L744 = H1_hcnt[9] & (D1L744_carry_eqn & D1L11) # !H1_hcnt[9] & (D1L744_carry_eqn # D1L11);


--D1L844 is ball:drawball|LessThan~1985 at LC_X19_Y10_N9
--operation mode is normal

D1L844_carry_eqn = (!D1L426 & D1L384) # (D1L426 & D1L484);
D1L844 = H1_hcnt[9] & (D1L844_carry_eqn # !D1L21) # !H1_hcnt[9] & (D1L844_carry_eqn & !D1L21);


--D1L634 is ball:drawball|drawball~115 at LC_X15_Y10_N7
--operation mode is normal

D1L634 = !D1L744 & !D1L544 & !D1L644 & !D1L844;


--E1L05 is board:drawboard|LessThan~461 at LC_X22_Y12_N9
--operation mode is normal

E1L05_carry_eqn = (!E1L87 & E1L45) # (E1L87 & E1L55);
E1L05 = E1L1 & H1_hcnt[9] & E1L05_carry_eqn # !E1L1 & (H1_hcnt[9] # E1L05_carry_eqn);


--E1L15 is board:drawboard|LessThan~466 at LC_X21_Y12_N9
--operation mode is normal

E1L15_carry_eqn = (!E1L08 & E1L75) # (E1L08 & E1L85);
E1L15 = H1_hcnt[9] & (E1L15_carry_eqn & E1L2) # !H1_hcnt[9] & (E1L15_carry_eqn # E1L2);


--E1L74 is board:drawboard|drawboard~146 at LC_X14_Y12_N7
--operation mode is normal

E1L74 = !H1_vcnt[2] & !H1_vcnt[4] & !H1_vcnt[5] & !H1_vcnt[3];


--E1L25 is board:drawboard|LessThan~471 at LC_X14_Y12_N8
--operation mode is normal

E1L25 = !H1_vcnt[1] & !H1_vcnt[2] # !H1_vcnt[3] # !H1_vcnt[4];


--E1L84 is board:drawboard|drawboard~147 at LC_X14_Y12_N2
--operation mode is normal

E1L84 = H1_vcnt[6] & E1L74 # !H1_vcnt[6] & (!E1L25 & H1_vcnt[5]);


--E1L94 is board:drawboard|drawboard~148 at LC_X14_Y12_N1
--operation mode is normal

E1L94 = !H1_vcnt[7] & H1_vcnt[9] & !H1_hcnt[10] & !H1_vcnt[8];


--C1L4 is frame:drawback|XX~1019 at LC_X15_Y13_N1
--operation mode is normal

C1L4 = H1_vcnt[6] & (H1_vcnt[4] & (!H1_vcnt[3]) # !H1_vcnt[4] & (H1_vcnt[2] # H1_vcnt[3])) # !H1_vcnt[6] & H1_vcnt[4] & (H1_vcnt[2] # H1_vcnt[3]);


--C1L5 is frame:drawback|XX~1020 at LC_X15_Y13_N9
--operation mode is normal

C1L5 = H1_vcnt[6] & (H1_vcnt[9] & C1L4) # !H1_vcnt[6] & (!H1_vcnt[9] & !C1L4);


--C1L6 is frame:drawback|XX~1021 at LC_X11_Y13_N4
--operation mode is normal

C1L6 = !H1_hcnt[6] & !H1_hcnt[5] & !H1_hcnt[7];


--C1L7 is frame:drawback|XX~1022 at LC_X15_Y13_N8
--operation mode is normal

C1L7 = C1L5 & F1L06 & (C1L6 # !C1L3);


--H1L93 is vgacore:showdata|LessThan~613 at LC_X14_Y12_N5
--operation mode is normal

H1L93 = !H1_vcnt[7] & !H1_vcnt[8];


--C1L8 is frame:drawback|XX~1023 at LC_X15_Y13_N2
--operation mode is normal

C1L8 = H1L93 & (!H1_vcnt[4] & !H1_vcnt[5] # !H1_vcnt[6]);


--C1L9 is frame:drawback|XX~1024 at LC_X15_Y13_N3
--operation mode is normal

C1L9 = !H1_hcnt[10] & C1L6 & (C1L8 # !H1_vcnt[9]);


--C1L01 is frame:drawback|XX~1025 at LC_X11_Y13_N2
--operation mode is normal

C1L01 = C1L3 & (H1_hcnt[4] # H1_hcnt[3] & H1_hcnt[2]);


--H1L22 is vgacore:showdata|hcnt[4]~300 at LC_X11_Y13_N3
--operation mode is normal

H1L22 = !H1_hcnt[8] & !H1_hcnt[9];


--C1L11 is frame:drawback|XX~1026 at LC_X11_Y13_N1
--operation mode is normal

C1L11 = H1L22 & (!H1_hcnt[2] & !H1_hcnt[3] # !H1_hcnt[4]);


--H1L04 is vgacore:showdata|LessThan~614 at LC_X11_Y13_N6
--operation mode is normal

H1L04 = H1_hcnt[10] & (H1_hcnt[4] # !H1L22 # !C1L6);


--H1L14 is vgacore:showdata|LessThan~615 at LC_X14_Y12_N9
--operation mode is normal

H1L14 = !H1_vcnt[6] & (!H1_vcnt[5] & !H1_vcnt[8]);


--H1L24 is vgacore:showdata|LessThan~616 at LC_X14_Y12_N0
--operation mode is normal

H1L24 = H1_vcnt[9] & !H1L93 & (!E1L25 # !H1L14);


--F1L1 is target:drawtarget|add~639 at LC_X15_Y14_N9
--operation mode is normal

F1L1_carry_eqn = (!F1L82 & F1L4) # (F1L82 & F1L5);
F1L1 = F1L1_carry_eqn $ !F1_loc[9];


--F1L07 is target:drawtarget|LessThan~1035 at LC_X14_Y13_N8
--operation mode is arithmetic

F1L07_cout_0 = H1_hcnt[8] & F1L3 & !F1L67 # !H1_hcnt[8] & (F1L3 # !F1L67);
F1L07 = CARRY(F1L07_cout_0);

--F1L17 is target:drawtarget|LessThan~1035COUT1_1231 at LC_X14_Y13_N8
--operation mode is arithmetic

F1L17_cout_1 = H1_hcnt[8] & F1L3 & !F1L77 # !H1_hcnt[8] & (F1L3 # !F1L77);
F1L17 = CARRY(F1L17_cout_1);


--F1L2 is target:drawtarget|add~644 at LC_X16_Y15_N9
--operation mode is normal

F1L2_carry_eqn = (!F1L03 & F1L7) # (F1L03 & F1L8);
F1L2 = F1L2_carry_eqn $ F1_loc[9];


--F1L37 is target:drawtarget|LessThan~1040 at LC_X16_Y13_N8
--operation mode is arithmetic

F1L37_cout_0 = H1_hcnt[8] & (!F1L97 # !F1L6) # !H1_hcnt[8] & !F1L6 & !F1L97;
F1L37 = CARRY(F1L37_cout_0);

--F1L47 is target:drawtarget|LessThan~1040COUT1_1239 at LC_X16_Y13_N8
--operation mode is arithmetic

F1L47_cout_1 = H1_hcnt[8] & (!F1L08 # !F1L6) # !H1_hcnt[8] & !F1L6 & !F1L08;
F1L47 = CARRY(F1L47_cout_1);


--D1L1 is ball:drawball|add~2489 at LC_X11_Y9_N9
--operation mode is normal

D1L1_carry_eqn = (!D1L071 & D1L41) # (D1L071 & D1L51);
D1L1 = D1L1_carry_eqn $ D1_ball_y[9];


--D1L054 is ball:drawball|LessThan~1992 at LC_X15_Y9_N8
--operation mode is arithmetic

D1L054_cout_0 = H1_vcnt[8] & (!D1L684 # !D1L31) # !H1_vcnt[8] & !D1L31 & !D1L684;
D1L054 = CARRY(D1L054_cout_0);

--D1L154 is ball:drawball|LessThan~1992COUT1_2638 at LC_X15_Y9_N8
--operation mode is arithmetic

D1L154_cout_1 = H1_vcnt[8] & (!D1L784 # !D1L31) # !H1_vcnt[8] & !D1L31 & !D1L784;
D1L154 = CARRY(D1L154_cout_1);


--D1L2 is ball:drawball|add~2494 at LC_X16_Y9_N9
--operation mode is normal

D1L2_carry_eqn = (!D1L271 & D1L71) # (D1L271 & D1L81);
D1L2 = D1_ball_y[9] $ (!D1L2_carry_eqn);


--D1L354 is ball:drawball|LessThan~1997 at LC_X16_Y10_N8
--operation mode is arithmetic

D1L354_cout_0 = D1L61 & (!D1L984 # !H1_vcnt[8]) # !D1L61 & !H1_vcnt[8] & !D1L984;
D1L354 = CARRY(D1L354_cout_0);

--D1L454 is ball:drawball|LessThan~1997COUT1_2646 at LC_X16_Y10_N8
--operation mode is arithmetic

D1L454_cout_1 = D1L61 & (!D1L094 # !H1_vcnt[8]) # !D1L61 & !H1_vcnt[8] & !D1L094;
D1L454 = CARRY(D1L454_cout_1);


--D1L3 is ball:drawball|add~2499 at LC_X11_Y11_N9
--operation mode is normal

D1L3_carry_eqn = (!D1L471 & D1L02) # (D1L471 & D1L12);
D1L3 = D1L3_carry_eqn $ !D1_ball_x[9];


--D1L654 is ball:drawball|LessThan~2002 at LC_X10_Y11_N8
--operation mode is arithmetic