de2_default.fit.eqn

The VGA example generates a 320x240 diffusion-limited-aggregation (DLA) on Altera DE2 board. A DLA i

--A1L549 is addr_reg~683 at LCCOMB_X38_Y14_N26
A1L549 = A1L509 & (D1_oCoord_X[5] # A1L507) # !A1L509 & (x_walker[4] & !A1L507);


--A1L522 is addr_reg~22 at LCCOMB_X38_Y14_N2
A1L522 = A1L508 & (A1L549 & (A1L608) # !A1L549 & A1L606) # !A1L508 & (A1L549);


--x_walker[5] is x_walker[5] at LCFF_X40_Y13_N13
x_walker[5] = DFFEAS(A1L805, GLOBAL(E1L2),  ,  , A1L797, x_rand[30],  , !KEY[0], state.new_walker);


--A1L610 is add~683 at LCCOMB_X37_Y13_N16
A1L610 = x_walker[5] & A1L607 & VCC # !x_walker[5] & !A1L607;

--A1L611 is add~684 at LCCOMB_X37_Y13_N16
A1L611 = CARRY(!x_walker[5] & !A1L607);


--A1L612 is add~685 at LCCOMB_X38_Y13_N16
A1L612 = x_walker[5] & !A1L609 # !x_walker[5] & (A1L609 # GND);

--A1L613 is add~686 at LCCOMB_X38_Y13_N16
A1L613 = CARRY(!A1L609 # !x_walker[5]);


--D1_oCoord_X[6] is VGA_Controller:u1|oCoord_X[6] at LCFF_X38_Y14_N13
D1_oCoord_X[6] = DFFEAS(D1L106, GLOBAL(E1L2), GLOBAL(C1L63),  , D1L89,  ,  ,  ,  );


--A1L550 is addr_reg~684 at LCCOMB_X40_Y13_N30
A1L550 = A1L509 & (D1_oCoord_X[6] & !A1L507) # !A1L509 & (x_walker[5] # A1L507);


--A1L521 is addr_reg~21 at LCCOMB_X40_Y13_N26
A1L521 = A1L508 & (A1L550 & A1L610 # !A1L550 & (A1L612)) # !A1L508 & A1L550;


--x_walker[6] is x_walker[6] at LCFF_X37_Y12_N9
x_walker[6] = DFFEAS(A1L433, GLOBAL(E1L2),  ,  , A1L885,  ,  , !KEY[0],  );


--A1L614 is add~687 at LCCOMB_X37_Y13_N18
A1L614 = x_walker[6] & (GND # !A1L611) # !x_walker[6] & (A1L611 $ GND);

--A1L615 is add~688 at LCCOMB_X37_Y13_N18
A1L615 = CARRY(x_walker[6] # !A1L611);


--A1L616 is add~689 at LCCOMB_X38_Y13_N18
A1L616 = x_walker[6] & (A1L613 $ GND) # !x_walker[6] & !A1L613 & VCC;

--A1L617 is add~690 at LCCOMB_X38_Y13_N18
A1L617 = CARRY(x_walker[6] & !A1L613);


--D1_oCoord_X[7] is VGA_Controller:u1|oCoord_X[7] at LCFF_X38_Y14_N15
D1_oCoord_X[7] = DFFEAS(D1L109, GLOBAL(E1L2), GLOBAL(C1L63),  , D1L89,  ,  ,  ,  );


--A1L551 is addr_reg~685 at LCCOMB_X37_Y13_N2
A1L551 = A1L509 & (D1_oCoord_X[7] # A1L507) # !A1L509 & (x_walker[6] & !A1L507);


--A1L520 is addr_reg~20 at LCCOMB_X37_Y13_N4
A1L520 = A1L508 & (A1L551 & A1L616 # !A1L551 & (A1L614)) # !A1L508 & (A1L551);


--x_walker[7] is x_walker[7] at LCFF_X38_Y12_N15
x_walker[7] = DFFEAS(A1L794, GLOBAL(E1L2),  ,  , A1L885, VCC,  ,  , !KEY[0]);


--A1L618 is add~691 at LCCOMB_X37_Y13_N20
A1L618 = x_walker[7] & A1L615 & VCC # !x_walker[7] & !A1L615;

--A1L619 is add~692 at LCCOMB_X37_Y13_N20
A1L619 = CARRY(!x_walker[7] & !A1L615);


--A1L620 is add~693 at LCCOMB_X38_Y13_N20
A1L620 = x_walker[7] & !A1L617 # !x_walker[7] & (A1L617 # GND);

--A1L621 is add~694 at LCCOMB_X38_Y13_N20
A1L621 = CARRY(!A1L617 # !x_walker[7]);


--D1_oCoord_X[8] is VGA_Controller:u1|oCoord_X[8] at LCFF_X38_Y14_N17
D1_oCoord_X[8] = DFFEAS(D1L112, GLOBAL(E1L2), GLOBAL(C1L63),  , D1L89,  ,  ,  ,  );


--A1L552 is addr_reg~686 at LCCOMB_X38_Y13_N28
A1L552 = A1L507 & (!A1L509) # !A1L507 & (A1L509 & D1_oCoord_X[8] # !A1L509 & (x_walker[7]));


--A1L519 is addr_reg~19 at LCCOMB_X38_Y13_N26
A1L519 = A1L508 & (A1L552 & A1L618 # !A1L552 & (A1L620)) # !A1L508 & (A1L552);


--x_walker[8] is x_walker[8] at LCFF_X40_Y13_N3
x_walker[8] = DFFEAS(A1L806, GLOBAL(E1L2),  ,  , A1L797, x_rand[30],  , !KEY[0], state.new_walker);


--A1L622 is add~695 at LCCOMB_X37_Y13_N22
A1L622 = x_walker[8] $ A1L619;


--A1L624 is add~697 at LCCOMB_X38_Y13_N22
A1L624 = A1L621 $ !x_walker[8];


--D1_oCoord_X[9] is VGA_Controller:u1|oCoord_X[9] at LCFF_X38_Y14_N19
D1_oCoord_X[9] = DFFEAS(D1L115, GLOBAL(E1L2), GLOBAL(C1L63),  , D1L89,  ,  ,  ,  );


--A1L553 is addr_reg~687 at LCCOMB_X37_Y14_N0
A1L553 = A1L509 & (D1_oCoord_X[9] # A1L507) # !A1L509 & x_walker[8] & (!A1L507);


--A1L518 is addr_reg~18 at LCCOMB_X37_Y14_N22
A1L518 = A1L553 & (A1L624 # !A1L508) # !A1L553 & (A1L508 & A1L622);


--A1L626 is always0~1 at LCCOMB_X37_Y14_N24
A1L626 = D1_oVGA_H_SYNC & D1_oVGA_V_SYNC # !KEY[3];


--state.init is state.init at LCFF_X38_Y12_N1
state.init = DFFEAS(A1L702, GLOBAL(E1L2),  ,  ,  ,  ,  ,  ,  );


--A1L636 is data_reg~143 at LCCOMB_X38_Y12_N22
A1L636 = !state.draw_walker & state.init;


--A1L718 is we~21 at LCCOMB_X37_Y11_N16
A1L718 = A1L626 # state.test6 & we # !state.test6 & (A1L636);


--C1_oRESET is Reset_Delay:r0|oRESET at LCFF_X1_Y18_N5
C1_oRESET = DFFEAS(A1L679, GLOBAL(A1L9),  ,  ,  ,  ,  ,  ,  );


--A1L670 is rtl~191 at LCCOMB_X24_Y14_N20
A1L670 = !D1_H_Cont[9] & !D1_H_Cont[8];


--D1L51 is VGA_Controller:u1|LessThan~1042 at LCCOMB_X37_Y14_N20
D1L51 = D1_H_Cont[7] # D1_H_Cont[5] & D1_H_Cont[6] # !A1L670;


--A1L671 is rtl~192 at LCCOMB_X33_Y14_N0
A1L671 = !D1_H_Cont[2] & !D1_H_Cont[3] & !D1_H_Cont[4] & A1L669;


--A1L672 is rtl~193 at LCCOMB_X33_Y14_N30
A1L672 = !D1_H_Cont[9] & A1L671 & !D1_H_Cont[8] & A1L667;


--D1L164 is VGA_Controller:u1|oVGA_V_SYNC~174 at LCCOMB_X37_Y14_N2
D1L164 = A1L672 & (D1L50 # D1_V_Cont[9]) # !A1L672 & (D1_oVGA_V_SYNC);


--D1_V_Cont[0] is VGA_Controller:u1|V_Cont[0] at LCFF_X34_Y14_N3
D1_V_Cont[0] = DFFEAS(D1L58, GLOBAL(E1L2), GLOBAL(C1L63),  , A1L672,  ,  , D1L54,  );


--D1L58 is VGA_Controller:u1|V_Cont[0]~256 at LCCOMB_X34_Y14_N2
D1L58 = D1_V_Cont[0] $ VCC;

--D1L59 is VGA_Controller:u1|V_Cont[0]~257 at LCCOMB_X34_Y14_N2
D1L59 = CARRY(D1_V_Cont[0]);


--D1L61 is VGA_Controller:u1|V_Cont[1]~258 at LCCOMB_X34_Y14_N4
D1L61 = D1_V_Cont[1] & !D1L59 # !D1_V_Cont[1] & (D1L59 # GND);

--D1L62 is VGA_Controller:u1|V_Cont[1]~259 at LCCOMB_X34_Y14_N4
D1L62 = CARRY(!D1L59 # !D1_V_Cont[1]);


--D1L64 is VGA_Controller:u1|V_Cont[2]~260 at LCCOMB_X34_Y14_N6
D1L64 = D1_V_Cont[2] & (D1L62 $ GND) # !D1_V_Cont[2] & !D1L62 & VCC;

--D1L65 is VGA_Controller:u1|V_Cont[2]~261 at LCCOMB_X34_Y14_N6
D1L65 = CARRY(D1_V_Cont[2] & !D1L62);


--D1L67 is VGA_Controller:u1|V_Cont[3]~262 at LCCOMB_X34_Y14_N8
D1L67 = D1_V_Cont[3] & !D1L65 # !D1_V_Cont[3] & (D1L65 # GND);

--D1L68 is VGA_Controller:u1|V_Cont[3]~263 at LCCOMB_X34_Y14_N8
D1L68 = CARRY(!D1L65 # !D1_V_Cont[3]);


--D1L70 is VGA_Controller:u1|V_Cont[4]~264 at LCCOMB_X34_Y14_N10
D1L70 = D1_V_Cont[4] & (D1L68 $ GND) # !D1_V_Cont[4] & !D1L68 & VCC;

--D1L71 is VGA_Controller:u1|V_Cont[4]~265 at LCCOMB_X34_Y14_N10
D1L71 = CARRY(D1_V_Cont[4] & !D1L68);


--D1L73 is VGA_Controller:u1|V_Cont[5]~266 at LCCOMB_X34_Y14_N12
D1L73 = D1_V_Cont[5] & !D1L71 # !D1_V_Cont[5] & (D1L71 # GND);

--D1L74 is VGA_Controller:u1|V_Cont[5]~267 at LCCOMB_X34_Y14_N12
D1L74 = CARRY(!D1L71 # !D1_V_Cont[5]);


--D1L76 is VGA_Controller:u1|V_Cont[6]~268 at LCCOMB_X34_Y14_N14
D1L76 = D1_V_Cont[6] & (D1L74 $ GND) # !D1_V_Cont[6] & !D1L74 & VCC;

--D1L77 is VGA_Controller:u1|V_Cont[6]~269 at LCCOMB_X34_Y14_N14
D1L77 = CARRY(D1_V_Cont[6] & !D1L74);


--D1L52 is VGA_Controller:u1|LessThan~1043 at LCCOMB_X35_Y14_N2
D1L52 = !D1_V_Cont[5] & D1L47 & !D1_V_Cont[4];


--D1L53 is VGA_Controller:u1|LessThan~1044 at LCCOMB_X35_Y14_N26
D1L53 = !D1_V_Cont[1] & !D1_V_Cont[0] # !D1_V_Cont[2] # !D1_V_Cont[3];


--D1L54 is VGA_Controller:u1|LessThan~1045 at LCCOMB_X35_Y14_N24
D1L54 = D1_V_Cont[9] & (!D1L52 # !D1L53);


--D1L79 is VGA_Controller:u1|V_Cont[7]~270 at LCCOMB_X34_Y14_N16
D1L79 = D1_V_Cont[7] & !D1L77 # !D1_V_Cont[7] & (D1L77 # GND);

--D1L80 is VGA_Controller:u1|V_Cont[7]~271 at LCCOMB_X34_Y14_N16
D1L80 = CARRY(!D1L77 # !D1_V_Cont[7]);


--D1L82 is VGA_Controller:u1|V_Cont[8]~272 at LCCOMB_X34_Y14_N18
D1L82 = D1_V_Cont[8] & (D1L80 $ GND) # !D1_V_Cont[8] & !D1L80 & VCC;

--D1L83 is VGA_Controller:u1|V_Cont[8]~273 at LCCOMB_X34_Y14_N18
D1L83 = CARRY(D1_V_Cont[8] & !D1L80);


--D1L85 is VGA_Controller:u1|V_Cont[9]~274 at LCCOMB_X34_Y14_N20
D1L85 = D1_V_Cont[9] $ D1L83;


--D1L18 is VGA_Controller:u1|H_Cont[0]~239 at LCCOMB_X33_Y14_N8
D1L18 = D1_H_Cont[0] $ VCC;

--D1L19 is VGA_Controller:u1|H_Cont[0]~240 at LCCOMB_X33_Y14_N8
D1L19 = CARRY(D1_H_Cont[0]);


--D1L21 is VGA_Controller:u1|H_Cont[1]~241 at LCCOMB_X33_Y14_N10
D1L21 = D1_H_Cont[1] & !D1L19 # !D1_H_Cont[1] & (D1L19 # GND);

--D1L22 is VGA_Controller:u1|H_Cont[1]~242 at LCCOMB_X33_Y14_N10
D1L22 = CARRY(!D1L19 # !D1_H_Cont[1]);


--D1L24 is VGA_Controller:u1|H_Cont[2]~243 at LCCOMB_X33_Y14_N12
D1L24 = D1_H_Cont[2] & (D1L22 $ GND) # !D1_H_Cont[2] & !D1L22 & VCC;

--D1L25 is VGA_Controller:u1|H_Cont[2]~244 at LCCOMB_X33_Y14_N12
D1L25 = CARRY(D1_H_Cont[2] & !D1L22);


--D1L27 is VGA_Controller:u1|H_Cont[3]~245 at LCCOMB_X33_Y14_N14
D1L27 = D1_H_Cont[3] & !D1L25 # !D1_H_Cont[3] & (D1L25 # GND);

--D1L28 is VGA_Controller:u1|H_Cont[3]~246 at LCCOMB_X33_Y14_N14
D1L28 = CARRY(!D1L25 # !D1_H_Cont[3]);


--D1L30 is VGA_Controller:u1|H_Cont[4]~247 at LCCOMB_X33_Y14_N16
D1L30 = D1_H_Cont[4] & (D1L28 $ GND) # !D1_H_Cont[4] & !D1L28 & VCC;

--D1L31 is VGA_Controller:u1|H_Cont[4]~248 at LCCOMB_X33_Y14_N16
D1L31 = CARRY(D1_H_Cont[4] & !D1L28);


--D1L33 is VGA_Controller:u1|H_Cont[5]~249 at LCCOMB_X33_Y14_N18
D1L33 = D1_H_Cont[5] & !D1L31 # !D1_H_Cont[5] & (D1L31 # GND);

--D1L34 is VGA_Controller:u1|H_Cont[5]~250 at LCCOMB_X33_Y14_N18
D1L34 = CARRY(!D1L31 # !D1_H_Cont[5]);


--D1L36 is VGA_Controller:u1|H_Cont[6]~251 at LCCOMB_X33_Y14_N20
D1L36 = D1_H_Cont[6] & (D1L34 $ GND) # !D1_H_Cont[6] & !D1L34 & VCC;

--D1L37 is VGA_Controller:u1|H_Cont[6]~252 at LCCOMB_X33_Y14_N20
D1L37 = CARRY(D1_H_Cont[6] & !D1L34);


--D1L39 is VGA_Controller:u1|H_Cont[7]~253 at LCCOMB_X33_Y14_N22
D1L39 = D1_H_Cont[7] & !D1L37 # !D1_H_Cont[7] & (D1L37 # GND);

--D1L40 is VGA_Controller:u1|H_Cont[7]~254 at LCCOMB_X33_Y14_N22
D1L40 = CARRY(!D1L37 # !D1_H_Cont[7]);


--D1L55 is VGA_Controller:u1|LessThan~1046 at LCCOMB_X33_Y14_N4
D1L55 = D1_H_Cont[9] & D1_H_Cont[8] & !A1L669;


--D1L42 is VGA_Controller:u1|H_Cont[8]~255 at LCCOMB_X33_Y14_N24
D1L42 = D1_H_Cont[8] & (D1L40 $ GND) # !D1_H_Cont[8] & !D1L40 & VCC;

--D1L43 is VGA_Controller:u1|H_Cont[8]~256 at LCCOMB_X33_Y14_N24
D1L43 = CARRY(D1_H_Cont[8] & !D1L40);


--D1L45 is VGA_Controller:u1|H_Cont[9]~257 at LCCOMB_X33_Y14_N26
D1L45 = D1L43 $ D1_H_Cont[9];


--A1L705 is sum[0]~108 at LCCOMB_X38_Y11_N2
A1L705 = mVGA_R[9] & (sum[0] $ VCC) # !mVGA_R[9] & sum[0] & VCC;

--A1L706 is sum[0]~109 at LCCOMB_X38_Y11_N2
A1L706 = CARRY(mVGA_R[9] & sum[0]);


--A1L714 is sum[3]~110 at LCCOMB_X38_Y12_N16
A1L714 = A1L636 & A1L411 & !state.test6 & A1L641;


--A1L690 is state~1444 at LCCOMB_X34_Y12_N24
A1L690 = KEY[0] & (A1L626 & (state.test5) # !A1L626 & state.test4);


--A1L708 is sum[1]~111 at LCCOMB_X38_Y11_N4
A1L708 = sum[1] & !A1L706 # !sum[1] & (A1L706 # GND);

--A1L709 is sum[1]~112 at LCCOMB_X38_Y11_N4
A1L709 = CARRY(!A1L706 # !sum[1]);


--A1L711 is sum[2]~113 at LCCOMB_X38_Y11_N6
A1L711 = sum[2] & (A1L709 $ GND) # !sum[2] & !A1L709 & VCC;

--A1L712 is sum[2]~114 at LCCOMB_X38_Y11_N6
A1L712 = CARRY(sum[2] & !A1L709);


--A1L715 is sum[3]~115 at LCCOMB_X38_Y11_N8
A1L715 = sum[3] $ A1L712;


--y_rand[28] is y_rand[28] at LCFF_X34_Y13_N17
y_rand[28] = DFFEAS(A1L840, GLOBAL(E1L2),  ,  , A1L722,  ,  ,  ,  );


--A1L301 is LessThan~531 at LCCOMB_X35_Y13_N22
A1L301 = !y_walker[6] # !y_walker[5] # !y_walker[7];


--A1L302 is LessThan~532 at LCCOMB_X35_Y13_N18
A1L302 = !y_walker[0] & !y_walker[1] # !y_walker[3] # !y_walker[2];


--A1L630 is always0~235 at LCCOMB_X35_Y13_N30
A1L630 = !y_walker[8] & (A1L301 # !y_walker[4] & A1L302);


--A1L412 is Select~2522 at LCCOMB_X35_Y13_N14
A1L412 = A1L630 & state.update_walker & y_rand[28];


--A1L413 is Select~2523 at LCCOMB_X35_Y13_N28
A1L413 = A1L556 & (A1L412 # y_walker[0] & A1L411) # !A1L556 & y_walker[0] & (A1L411);


--A1L303 is LessThan~533 at LCCOMB_X35_Y13_N10
A1L303 = y_walker[2] # y_walker[3] # y_walker[0] & y_walker[1];


--A1L304 is LessThan~534 at LCCOMB_X36_Y13_N8
A1L304 = y_walker[7] # y_walker[4] # y_walker[6] # y_walker[5];


--A1L629 is always0~6 at LCCOMB_X36_Y13_N16
A1L629 = !y_rand[28] & (A1L303 # y_walker[8] # A1L304);


--A1L414 is Select~2524 at LCCOMB_X36_Y13_N2
A1L414 = A1L629 & (A1L554) # !A1L629 & y_walker[0];


--A1L631 is always0~236 at LCCOMB_X35_Y13_N4
A1L631 = A1L630 & y_rand[28];


--A1L415 is Select~2525 at LCCOMB_X35_Y13_N26
A1L415 = A1L413 # A1L414 & state.update_walker & !A1L631;


--A1L885 is y_walker[8]~1931 at LCCOMB_X37_Y12_N14
A1L885 = KEY[3] & (!D1_oVGA_V_SYNC # !D1_oVGA_H_SYNC) # !KEY[0];


--A1L691 is state~1445 at LCCOMB_X37_Y14_N28
A1L691 = KEY[0] & (A1L626 & state.test4 # !A1L626 & (state.test3));


--A1L692 is state~1446 at LCCOMB_X37_Y14_N6
A1L692 = KEY[0] & (A1L626 & state.test3 # !A1L626 & (state.test2));


--lock is lock at LCFF_X37_Y11_N11
lock = DFFEAS(A1L650, GLOBAL(E1L2),  ,  , KEY[0],  ,  ,  ,  );


--A1L632 is always0~237 at LCCOMB_X38_Y12_N10
A1L632 = sum[0] # sum[1];


--A1L633 is always0~238 at LCCOMB_X38_Y12_N18