de2_default.fit.eqn

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

A1L633 = lock & (A1L632 # sum[3] # sum[2]);


--A1L693 is state~1447 at LCCOMB_X38_Y12_N26
A1L693 = state.test6 & A1L641;


--A1L694 is state~1448 at LCCOMB_X38_Y12_N24
A1L694 = A1L885 & A1L693 & (A1L633) # !A1L885 & (state.draw_walker # A1L693 & A1L633);


--A1L695 is state~1449 at LCCOMB_X37_Y12_N20
A1L695 = KEY[0] & (A1L626 & state.test2 # !A1L626 & (state.test1));


--A1L696 is state~1450 at LCCOMB_X37_Y12_N2
A1L696 = state.update_walker # state.new_walker # !state.init;


--A1L697 is state~1451 at LCCOMB_X37_Y12_N16
A1L697 = KEY[0] & (A1L626 & state.test1 # !A1L626 & (A1L696));


--D1L119 is VGA_Controller:u1|oCoord_Y[1]~81 at LCCOMB_X36_Y14_N4
D1L119 = D1_V_Cont[1] $ VCC;

--D1L120 is VGA_Controller:u1|oCoord_Y[1]~82 at LCCOMB_X36_Y14_N4
D1L120 = CARRY(D1_V_Cont[1]);


--D1L87 is VGA_Controller:u1|always0~207 at LCCOMB_X35_Y14_N22
D1L87 = D1_H_Cont[4] & (D1_H_Cont[3] # D1_H_Cont[2]);


--D1L88 is VGA_Controller:u1|always0~208 at LCCOMB_X35_Y14_N28
D1L88 = D1_H_Cont[8] & A1L668 & !D1_H_Cont[7] & !D1L87 # !D1_H_Cont[8] & D1_H_Cont[7] & (D1L87 # !A1L668);


--D1L89 is VGA_Controller:u1|always0~209 at LCCOMB_X35_Y14_N12
D1L89 = D1L159 & (D1L88 # D1_H_Cont[8] $ D1_H_Cont[9]);


--A1L698 is state~1452 at LCCOMB_X38_Y12_N28
A1L698 = KEY[0] & (A1L626 & state.test6 # !A1L626 & (state.test5));


--A1L699 is state~1453 at LCCOMB_X38_Y12_N2
A1L699 = state.update_walker & KEY[0];


--A1L700 is state~1454 at LCCOMB_X38_Y12_N12
A1L700 = A1L699 & (A1L626 # A1L693 & !A1L633) # !A1L699 & A1L693 & (!A1L633);


--A1L701 is state~1455 at LCCOMB_X37_Y12_N4
A1L701 = KEY[0] & (A1L626 & state.new_walker # !A1L626 & (state.draw_walker));


--A1L886 is y_walker~1932 at LCCOMB_X36_Y13_N28
A1L886 = A1L629 & (!A1L626 & A1L558) # !A1L629 & y_walker[1];


--A1L416 is Select~2526 at LCCOMB_X37_Y12_N0
A1L416 = state.update_walker # state.new_walker # y_walker[1];


--A1L887 is y_walker~1933 at LCCOMB_X35_Y13_N12
A1L887 = KEY[0] & A1L416 & !A1L631 & A1L886;


--A1L888 is y_walker~1934 at LCCOMB_X35_Y12_N28
A1L888 = !A1L626 & KEY[0] & (y_walker[1] # !A1L411);


--A1L889 is y_walker~1935 at LCCOMB_X35_Y12_N0
A1L889 = A1L888 & (A1L560 & A1L631 # !state.update_walker);


--A1L890 is y_walker~1936 at LCCOMB_X35_Y13_N0
A1L890 = A1L889 # A1L887 # !A1L885 & y_walker[1];


--D1L122 is VGA_Controller:u1|oCoord_Y[2]~83 at LCCOMB_X36_Y14_N6
D1L122 = D1_V_Cont[2] & D1L120 & VCC # !D1_V_Cont[2] & !D1L120;

--D1L123 is VGA_Controller:u1|oCoord_Y[2]~84 at LCCOMB_X36_Y14_N6
D1L123 = CARRY(!D1_V_Cont[2] & !D1L120);


--A1L891 is y_walker~1937 at LCCOMB_X35_Y12_N30
A1L891 = A1L630 & (y_rand[28] & (A1L564) # !y_rand[28] & A1L562) # !A1L630 & A1L562;


--A1L305 is LessThan~535 at LCCOMB_X35_Y13_N8
A1L305 = A1L304 # y_walker[8] # A1L303;


--A1L872 is y_walker[2]~1938 at LCCOMB_X35_Y13_N24
A1L872 = A1L699 & !A1L305 & !y_rand[28] # !A1L874;


--A1L873 is y_walker[2]~1939 at LCCOMB_X35_Y13_N2
A1L873 = !A1L872 & (A1L630 # !y_rand[28] # !A1L699);


--D1L125 is VGA_Controller:u1|oCoord_Y[3]~85 at LCCOMB_X36_Y14_N8
D1L125 = D1_V_Cont[3] & (GND # !D1L123) # !D1_V_Cont[3] & (D1L123 $ GND);

--D1L126 is VGA_Controller:u1|oCoord_Y[3]~86 at LCCOMB_X36_Y14_N8
D1L126 = CARRY(D1_V_Cont[3] # !D1L123);


--A1L892 is y_walker~1940 at LCCOMB_X37_Y12_N28
A1L892 = y_rand[28] & (state.new_walker # A1L630 & A1L568);


--A1L893 is y_walker~1941 at LCCOMB_X37_Y12_N30
A1L893 = A1L892 # A1L566 & !A1L631 & !state.new_walker;


--D1L128 is VGA_Controller:u1|oCoord_Y[4]~87 at LCCOMB_X36_Y14_N10
D1L128 = D1_V_Cont[4] & D1L126 & VCC # !D1_V_Cont[4] & !D1L126;

--D1L129 is VGA_Controller:u1|oCoord_Y[4]~88 at LCCOMB_X36_Y14_N10
D1L129 = CARRY(!D1_V_Cont[4] & !D1L126);


--A1L417 is Select~2527 at LCCOMB_X36_Y13_N20
A1L417 = A1L412 & (A1L572 # y_walker[4] & A1L411) # !A1L412 & y_walker[4] & (A1L411);


--A1L418 is Select~2528 at LCCOMB_X36_Y13_N26
A1L418 = y_rand[28] & (y_walker[4]) # !y_rand[28] & A1L305 & (A1L570);


--A1L419 is Select~2529 at LCCOMB_X36_Y13_N24
A1L419 = A1L417 # state.update_walker & !A1L631 & A1L418;


--D1L131 is VGA_Controller:u1|oCoord_Y[5]~89 at LCCOMB_X36_Y14_N12
D1L131 = D1_V_Cont[5] & (D1L129 $ GND) # !D1_V_Cont[5] & !D1L129 & VCC;

--D1L132 is VGA_Controller:u1|oCoord_Y[5]~90 at LCCOMB_X36_Y14_N12
D1L132 = CARRY(D1_V_Cont[5] & !D1L129);


--A1L894 is y_walker~1942 at LCCOMB_X36_Y13_N22
A1L894 = state.new_walker & (y_rand[28]) # !state.new_walker & A1L574 & (!y_rand[28] # !A1L630);


--A1L895 is y_walker~1943 at LCCOMB_X36_Y13_N10
A1L895 = A1L894 # A1L576 & A1L631 & !state.new_walker;


--D1L134 is VGA_Controller:u1|oCoord_Y[6]~91 at LCCOMB_X36_Y14_N14
D1L134 = D1_V_Cont[6] & D1L132 & VCC # !D1_V_Cont[6] & !D1L132;

--D1L135 is VGA_Controller:u1|oCoord_Y[6]~92 at LCCOMB_X36_Y14_N14
D1L135 = CARRY(!D1_V_Cont[6] & !D1L132);


--A1L896 is y_walker~1944 at LCCOMB_X36_Y13_N6
A1L896 = state.new_walker & (y_rand[28]) # !state.new_walker & A1L578 & (!y_rand[28] # !A1L630);


--A1L897 is y_walker~1945 at LCCOMB_X36_Y13_N0
A1L897 = A1L896 # !state.new_walker & A1L631 & A1L580;


--D1L137 is VGA_Controller:u1|oCoord_Y[7]~93 at LCCOMB_X36_Y14_N16
D1L137 = D1_V_Cont[7] & (GND # !D1L135) # !D1_V_Cont[7] & (D1L135 $ GND);

--D1L138 is VGA_Controller:u1|oCoord_Y[7]~94 at LCCOMB_X36_Y14_N16
D1L138 = CARRY(D1_V_Cont[7] # !D1L135);


--A1L898 is y_walker~1946 at LCCOMB_X34_Y13_N8
A1L898 = y_rand[28] & (A1L630 & A1L584 # !A1L630 & (A1L582)) # !y_rand[28] & (A1L582);


--D1L140 is VGA_Controller:u1|oCoord_Y[8]~95 at LCCOMB_X36_Y14_N18
D1L140 = D1_V_Cont[8] & D1L138 & VCC # !D1_V_Cont[8] & !D1L138;

--D1L141 is VGA_Controller:u1|oCoord_Y[8]~96 at LCCOMB_X36_Y14_N18
D1L141 = CARRY(!D1_V_Cont[8] & !D1L138);


--A1L420 is Select~2530 at LCCOMB_X35_Y13_N6
A1L420 = A1L588 & (A1L412 # y_walker[8] & A1L411) # !A1L588 & (y_walker[8] & A1L411);


--A1L421 is Select~2531 at LCCOMB_X35_Y13_N20
A1L421 = y_rand[28] & y_walker[8] # !y_rand[28] & (A1L305 & A1L586);


--A1L422 is Select~2532 at LCCOMB_X35_Y13_N16
A1L422 = A1L420 # A1L421 & state.update_walker & !A1L631;


--D1L143 is VGA_Controller:u1|oCoord_Y[9]~97 at LCCOMB_X36_Y14_N20
D1L143 = D1L141 $ D1_V_Cont[9];


--x_rand[30] is x_rand[30] at LCFF_X41_Y13_N15
x_rand[30] = DFFEAS(A1L753, GLOBAL(E1L2),  ,  , A1L722,  ,  ,  ,  );


--A1L306 is LessThan~536 at LCCOMB_X37_Y13_N24
A1L306 = x_walker[2] & x_walker[4] & x_walker[3] & x_walker[1];


--A1L307 is LessThan~537 at LCCOMB_X40_Y13_N0
A1L307 = x_walker[8] & x_walker[5];


--A1L308 is LessThan~538 at LCCOMB_X40_Y13_N8
A1L308 = x_walker[8] & (x_walker[6] # x_walker[7]);


--A1L627 is always0~3 at LCCOMB_X38_Y13_N2
A1L627 = !A1L308 & x_rand[30] & (!A1L307 # !A1L306);


--A1L423 is Select~2533 at LCCOMB_X38_Y13_N24
A1L423 = !A1L627 & state.update_walker;


--A1L309 is LessThan~539 at LCCOMB_X40_Y13_N28
A1L309 = x_walker[2] # x_walker[3] # x_walker[1] & x_walker[0];


--A1L310 is LessThan~540 at LCCOMB_X40_Y13_N18
A1L310 = x_walker[6] # x_walker[4] # x_walker[7] # x_walker[5];


--A1L628 is always0~4 at LCCOMB_X40_Y13_N22
A1L628 = !x_rand[30] & (x_walker[8] # A1L309 # A1L310);


--A1L424 is Select~2534 at LCCOMB_X38_Y13_N4
A1L424 = A1L423 & (A1L628 & (A1L590) # !A1L628 & x_walker[0]);


--A1L425 is Select~2535 at LCCOMB_X37_Y12_N6
A1L425 = !state.update_walker & !state.new_walker & x_walker[0];


--A1L426 is Select~2536 at LCCOMB_X38_Y12_N4
A1L426 = A1L627 & state.update_walker;


--A1L427 is Select~2537 at LCCOMB_X38_Y13_N30
A1L427 = A1L425 # A1L424 # A1L426 & A1L592;


--D1L92 is VGA_Controller:u1|oCoord_X[1]~173 at LCCOMB_X35_Y14_N8
D1L92 = D1L89 & (D1_H_Cont[1]) # !D1L89 & D1_oCoord_X[1];


--A1L798 is x_walker~1658 at LCCOMB_X40_Y13_N4
A1L798 = A1L628 & !A1L626 & A1L594 # !A1L628 & (x_walker[1]);


--A1L428 is Select~2538 at LCCOMB_X37_Y12_N18
A1L428 = state.update_walker # state.new_walker # x_walker[1];


--A1L799 is x_walker~1659 at LCCOMB_X37_Y13_N0
A1L799 = A1L808 # !A1L627 & A1L798 & A1L428;


--D1L94 is VGA_Controller:u1|oCoord_X[2]~174 at LCCOMB_X38_Y14_N4
D1L94 = D1_H_Cont[2] $ VCC;

--D1L95 is VGA_Controller:u1|oCoord_X[2]~175 at LCCOMB_X38_Y14_N4
D1L95 = CARRY(D1_H_Cont[2]);


--A1L800 is x_walker~1660 at LCCOMB_X40_Y13_N20
A1L800 = A1L627 & (A1L600) # !A1L627 & A1L598;


--A1L311 is LessThan~541 at LCCOMB_X40_Y13_N6
A1L311 = A1L308 # A1L306 & x_walker[8] & x_walker[5];


--A1L796 is x_walker[8]~1661 at LCCOMB_X40_Y13_N10
A1L796 = A1L311 & x_rand[30] & A1L699 # !A1L874;


--A1L312 is LessThan~542 at LCCOMB_X40_Y13_N16
A1L312 = x_walker[8] # A1L309 # A1L310;


--A1L797 is x_walker[8]~1662 at LCCOMB_X40_Y13_N14
A1L797 = !A1L796 & (x_rand[30] # A1L312 # !A1L699);


--D1L97 is VGA_Controller:u1|oCoord_X[3]~176 at LCCOMB_X38_Y14_N6
D1L97 = D1_H_Cont[3] & D1L95 & VCC # !D1_H_Cont[3] & !D1L95;

--D1L98 is VGA_Controller:u1|oCoord_X[3]~177 at LCCOMB_X38_Y14_N6
D1L98 = CARRY(!D1_H_Cont[3] & !D1L95);


--A1L801 is x_walker~1663 at LCCOMB_X37_Y12_N12
A1L801 = !state.new_walker & (A1L627 & (A1L604) # !A1L627 & A1L602);


--A1L802 is x_walker~1664 at LCCOMB_X41_Y13_N24
A1L802 = A1L801 # state.new_walker & x_rand[30];


--D1L100 is VGA_Controller:u1|oCoord_X[4]~178 at LCCOMB_X38_Y14_N8
D1L100 = D1_H_Cont[4] & (D1L98 $ GND) # !D1_H_Cont[4] & !D1L98 & VCC;

--D1L101 is VGA_Controller:u1|oCoord_X[4]~179 at LCCOMB_X38_Y14_N8
D1L101 = CARRY(D1_H_Cont[4] & !D1L98);


--A1L803 is x_walker~1665 at LCCOMB_X37_Y12_N10
A1L803 = !state.new_walker & (A1L627 & A1L608 # !A1L627 & (A1L606));


--A1L804 is x_walker~1666 at LCCOMB_X41_Y13_N8
A1L804 = A1L803 # state.new_walker & x_rand[30];


--D1L103 is VGA_Controller:u1|oCoord_X[5]~180 at LCCOMB_X38_Y14_N10
D1L103 = D1_H_Cont[5] & D1L101 & VCC # !D1_H_Cont[5] & !D1L101;

--D1L104 is VGA_Controller:u1|oCoord_X[5]~181 at LCCOMB_X38_Y14_N10
D1L104 = CARRY(!D1_H_Cont[5] & !D1L101);


--A1L805 is x_walker~1667 at LCCOMB_X40_Y13_N12
A1L805 = A1L627 & (A1L612) # !A1L627 & A1L610;


--D1L106 is VGA_Controller:u1|oCoord_X[6]~182 at LCCOMB_X38_Y14_N12
D1L106 = D1_H_Cont[6] & (GND # !D1L104) # !D1_H_Cont[6] & (D1L104 $ GND);

--D1L107 is VGA_Controller:u1|oCoord_X[6]~183 at LCCOMB_X38_Y14_N12
D1L107 = CARRY(D1_H_Cont[6] # !D1L104);


--A1L429 is Select~2539 at LCCOMB_X38_Y12_N20
A1L429 = x_walker[6] & (A1L411 # A1L426 & A1L616) # !x_walker[6] & A1L426 & A1L616;


--A1L430 is Select~2540 at LCCOMB_X40_Y13_N24
A1L430 = x_rand[30] & x_walker[6] # !x_rand[30] & (A1L312 & A1L614);


--D1L109 is VGA_Controller:u1|oCoord_X[7]~184 at LCCOMB_X38_Y14_N14
D1L109 = D1_H_Cont[7] & !D1L107 # !D1_H_Cont[7] & (D1L107 # GND);

--D1L110 is VGA_Controller:u1|oCoord_X[7]~185 at LCCOMB_X38_Y14_N14
D1L110 = CARRY(!D1L107 # !D1_H_Cont[7]);


--A1L431 is Select~2541 at LCCOMB_X38_Y12_N6
A1L431 = A1L620 & (A1L426 # x_walker[7] & A1L411) # !A1L620 & (x_walker[7] & A1L411);


--A1L432 is Select~2542 at LCCOMB_X38_Y12_N30
A1L432 = x_rand[30] & x_walker[7] # !x_rand[30] & (A1L618 & A1L312);


--D1L112 is VGA_Controller:u1|oCoord_X[8]~186 at LCCOMB_X38_Y14_N16
D1L112 = D1_H_Cont[8] & (GND # !D1L110) # !D1_H_Cont[8] & (D1L110 $ GND);

--D1L113 is VGA_Controller:u1|oCoord_X[8]~187 at LCCOMB_X38_Y14_N16
D1L113 = CARRY(D1_H_Cont[8] # !D1L110);


--A1L806 is x_walker~1668 at LCCOMB_X40_Y13_N2
A1L806 = A1L627 & A1L624 # !A1L627 & (A1L622);


--D1L115 is VGA_Controller:u1|oCoord_X[9]~188 at LCCOMB_X38_Y14_N18
D1L115 = D1_H_Cont[9] $ !D1L113;


--A1L702 is state~1456 at LCCOMB_X38_Y12_N0
A1L702 = KEY[0] & (state.init # !A1L626);


--C1_Cont[0] is Reset_Delay:r0|Cont[0] at LCFF_X1_Y18_N13
C1_Cont[0] = DFFEAS(C1L3, GLOBAL(A1L9),  ,  , A1L666,  ,  ,  ,  );


--C1_Cont[1] is Reset_Delay:r0|Cont[1] at LCFF_X1_Y18_N15
C1_Cont[1] = DFFEAS(C1L6, GLOBAL(A1L9),  ,  , A1L666,  ,  ,  ,  );


--A1L673 is rtl~194 at LCCOMB_X1_Y18_N10
A1L673 = C1_Cont[1] & C1_Cont[0];


--C1_Cont[2] is Reset_Delay:r0|Cont[2] at LCFF_X1_Y18_N17
C1_Cont[2] = DFFEAS(C1L9, GLOBAL(A1L9),  ,  , A1L666,  ,  ,  ,  );


--C1_Cont[3] is Reset_Delay:r0|Cont[3] at LCFF_X1_Y18_N19
C1_Cont[3] = DFFEAS(C1L12, GLOBAL(A1L9),  ,  , A1L666,  ,  ,  ,  );


--C1_Cont[4] is Reset_Delay:r0|Cont[4] at LCFF_X1_Y18_N21
C1_Cont[4] = DFFEAS(C1L15, GLOBAL(A1L9),  ,  , A1L666,  ,  ,  ,  );


--C1_Cont[5] is Reset_Delay:r0|Cont[5] at LCFF_X1_Y18_N23
C1_Cont[5] = DFFEAS(C1L18, GLOBAL(A1L9),  ,  , A1L666,  ,  ,  ,  );


--C1_Cont[6] is Reset_Delay:r0|Cont[6] at LCFF_X1_Y18_N25
C1_Cont[6] = DFFEAS(C1L21, GLOBAL(A1L9),  ,  , A1L666,  ,  ,  ,  );