de2_default.fit.eqn

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

--C1_Cont[7] is Reset_Delay:r0|Cont[7] at LCFF_X1_Y18_N27
C1_Cont[7] = DFFEAS(C1L24, GLOBAL(A1L9),  ,  , A1L666,  ,  ,  ,  );


--A1L674 is rtl~195 at LCCOMB_X1_Y17_N26
A1L674 = C1_Cont[5] & C1_Cont[6] & C1_Cont[4] & C1_Cont[7];


--A1L675 is rtl~196 at LCCOMB_X1_Y17_N28
A1L675 = C1_Cont[2] & C1_Cont[3] & A1L673 & A1L674;


--C1_Cont[8] is Reset_Delay:r0|Cont[8] at LCFF_X1_Y18_N29
C1_Cont[8] = DFFEAS(C1L27, GLOBAL(A1L9),  ,  , A1L666,  ,  ,  ,  );


--C1_Cont[9] is Reset_Delay:r0|Cont[9] at LCFF_X1_Y18_N31
C1_Cont[9] = DFFEAS(C1L30, GLOBAL(A1L9),  ,  , A1L666,  ,  ,  ,  );


--C1_Cont[10] is Reset_Delay:r0|Cont[10] at LCFF_X1_Y17_N1
C1_Cont[10] = DFFEAS(C1L33, GLOBAL(A1L9),  ,  , A1L666,  ,  ,  ,  );


--C1_Cont[11] is Reset_Delay:r0|Cont[11] at LCFF_X1_Y17_N3
C1_Cont[11] = DFFEAS(C1L36, GLOBAL(A1L9),  ,  , A1L666,  ,  ,  ,  );


--A1L676 is rtl~197 at LCCOMB_X1_Y17_N24
A1L676 = C1_Cont[8] & C1_Cont[10] & C1_Cont[9] & C1_Cont[11];


--C1_Cont[12] is Reset_Delay:r0|Cont[12] at LCFF_X1_Y17_N5
C1_Cont[12] = DFFEAS(C1L39, GLOBAL(A1L9),  ,  , A1L666,  ,  ,  ,  );


--C1_Cont[13] is Reset_Delay:r0|Cont[13] at LCFF_X1_Y17_N7
C1_Cont[13] = DFFEAS(C1L42, GLOBAL(A1L9),  ,  , A1L666,  ,  ,  ,  );


--C1_Cont[14] is Reset_Delay:r0|Cont[14] at LCFF_X1_Y17_N9
C1_Cont[14] = DFFEAS(C1L45, GLOBAL(A1L9),  ,  , A1L666,  ,  ,  ,  );


--C1_Cont[15] is Reset_Delay:r0|Cont[15] at LCFF_X1_Y17_N11
C1_Cont[15] = DFFEAS(C1L48, GLOBAL(A1L9),  ,  , A1L666,  ,  ,  ,  );


--A1L677 is rtl~198 at LCCOMB_X1_Y17_N20
A1L677 = C1_Cont[13] & C1_Cont[12] & C1_Cont[14] & C1_Cont[15];


--C1_Cont[16] is Reset_Delay:r0|Cont[16] at LCFF_X1_Y17_N13
C1_Cont[16] = DFFEAS(C1L51, GLOBAL(A1L9),  ,  , A1L666,  ,  ,  ,  );


--C1_Cont[17] is Reset_Delay:r0|Cont[17] at LCFF_X1_Y17_N15
C1_Cont[17] = DFFEAS(C1L54, GLOBAL(A1L9),  ,  , A1L666,  ,  ,  ,  );


--C1_Cont[18] is Reset_Delay:r0|Cont[18] at LCFF_X1_Y17_N17
C1_Cont[18] = DFFEAS(C1L57, GLOBAL(A1L9),  ,  , A1L666,  ,  ,  ,  );


--C1_Cont[19] is Reset_Delay:r0|Cont[19] at LCFF_X1_Y17_N19
C1_Cont[19] = DFFEAS(C1L60, GLOBAL(A1L9),  ,  , A1L666,  ,  ,  ,  );


--A1L678 is rtl~199 at LCCOMB_X1_Y17_N30
A1L678 = C1_Cont[16] & C1_Cont[17] & C1_Cont[18] & C1_Cont[19];


--A1L666 is rtl~1 at LCCOMB_X1_Y17_N22
A1L666 = !A1L678 # !A1L676 # !A1L675 # !A1L677;


--data_reg[15] is data_reg[15] at LCFF_X37_Y12_N27
data_reg[15] = DFFEAS(A1L637, GLOBAL(E1L2),  ,  ,  ,  ,  , !KEY[0],  );


--y_rand[27] is y_rand[27] at LCFF_X34_Y13_N3
y_rand[27] = DFFEAS(A1L841, GLOBAL(E1L2),  ,  , A1L722,  ,  ,  ,  );


--A1L840 is y_rand~464 at LCCOMB_X34_Y13_N16
A1L840 = y_rand[27] # !KEY[0];


--A1L650 is lock~54 at LCCOMB_X37_Y11_N10
A1L650 = !A1L626 & (state.test1 # lock);


--x_rand[29] is x_rand[29] at LCFF_X41_Y13_N31
x_rand[29] = DFFEAS(A1L754, GLOBAL(E1L2),  ,  , A1L722,  ,  ,  ,  );


--A1L753 is x_rand~535 at LCCOMB_X41_Y13_N14
A1L753 = x_rand[29] # !KEY[0];


--C1L3 is Reset_Delay:r0|Cont[0]~220 at LCCOMB_X1_Y18_N12
C1L3 = C1_Cont[0] $ VCC;

--C1L4 is Reset_Delay:r0|Cont[0]~221 at LCCOMB_X1_Y18_N12
C1L4 = CARRY(C1_Cont[0]);


--C1L6 is Reset_Delay:r0|Cont[1]~222 at LCCOMB_X1_Y18_N14
C1L6 = C1_Cont[1] & !C1L4 # !C1_Cont[1] & (C1L4 # GND);

--C1L7 is Reset_Delay:r0|Cont[1]~223 at LCCOMB_X1_Y18_N14
C1L7 = CARRY(!C1L4 # !C1_Cont[1]);


--C1L9 is Reset_Delay:r0|Cont[2]~224 at LCCOMB_X1_Y18_N16
C1L9 = C1_Cont[2] & (C1L7 $ GND) # !C1_Cont[2] & !C1L7 & VCC;

--C1L10 is Reset_Delay:r0|Cont[2]~225 at LCCOMB_X1_Y18_N16
C1L10 = CARRY(C1_Cont[2] & !C1L7);


--C1L12 is Reset_Delay:r0|Cont[3]~226 at LCCOMB_X1_Y18_N18
C1L12 = C1_Cont[3] & !C1L10 # !C1_Cont[3] & (C1L10 # GND);

--C1L13 is Reset_Delay:r0|Cont[3]~227 at LCCOMB_X1_Y18_N18
C1L13 = CARRY(!C1L10 # !C1_Cont[3]);


--C1L15 is Reset_Delay:r0|Cont[4]~228 at LCCOMB_X1_Y18_N20
C1L15 = C1_Cont[4] & (C1L13 $ GND) # !C1_Cont[4] & !C1L13 & VCC;

--C1L16 is Reset_Delay:r0|Cont[4]~229 at LCCOMB_X1_Y18_N20
C1L16 = CARRY(C1_Cont[4] & !C1L13);


--C1L18 is Reset_Delay:r0|Cont[5]~230 at LCCOMB_X1_Y18_N22
C1L18 = C1_Cont[5] & !C1L16 # !C1_Cont[5] & (C1L16 # GND);

--C1L19 is Reset_Delay:r0|Cont[5]~231 at LCCOMB_X1_Y18_N22
C1L19 = CARRY(!C1L16 # !C1_Cont[5]);


--C1L21 is Reset_Delay:r0|Cont[6]~232 at LCCOMB_X1_Y18_N24
C1L21 = C1_Cont[6] & (C1L19 $ GND) # !C1_Cont[6] & !C1L19 & VCC;

--C1L22 is Reset_Delay:r0|Cont[6]~233 at LCCOMB_X1_Y18_N24
C1L22 = CARRY(C1_Cont[6] & !C1L19);


--C1L24 is Reset_Delay:r0|Cont[7]~234 at LCCOMB_X1_Y18_N26
C1L24 = C1_Cont[7] & !C1L22 # !C1_Cont[7] & (C1L22 # GND);

--C1L25 is Reset_Delay:r0|Cont[7]~235 at LCCOMB_X1_Y18_N26
C1L25 = CARRY(!C1L22 # !C1_Cont[7]);


--C1L27 is Reset_Delay:r0|Cont[8]~236 at LCCOMB_X1_Y18_N28
C1L27 = C1_Cont[8] & (C1L25 $ GND) # !C1_Cont[8] & !C1L25 & VCC;

--C1L28 is Reset_Delay:r0|Cont[8]~237 at LCCOMB_X1_Y18_N28
C1L28 = CARRY(C1_Cont[8] & !C1L25);


--C1L30 is Reset_Delay:r0|Cont[9]~238 at LCCOMB_X1_Y18_N30
C1L30 = C1_Cont[9] & !C1L28 # !C1_Cont[9] & (C1L28 # GND);

--C1L31 is Reset_Delay:r0|Cont[9]~239 at LCCOMB_X1_Y18_N30
C1L31 = CARRY(!C1L28 # !C1_Cont[9]);


--C1L33 is Reset_Delay:r0|Cont[10]~240 at LCCOMB_X1_Y17_N0
C1L33 = C1_Cont[10] & (C1L31 $ GND) # !C1_Cont[10] & !C1L31 & VCC;

--C1L34 is Reset_Delay:r0|Cont[10]~241 at LCCOMB_X1_Y17_N0
C1L34 = CARRY(C1_Cont[10] & !C1L31);


--C1L36 is Reset_Delay:r0|Cont[11]~242 at LCCOMB_X1_Y17_N2
C1L36 = C1_Cont[11] & !C1L34 # !C1_Cont[11] & (C1L34 # GND);

--C1L37 is Reset_Delay:r0|Cont[11]~243 at LCCOMB_X1_Y17_N2
C1L37 = CARRY(!C1L34 # !C1_Cont[11]);


--C1L39 is Reset_Delay:r0|Cont[12]~244 at LCCOMB_X1_Y17_N4
C1L39 = C1_Cont[12] & (C1L37 $ GND) # !C1_Cont[12] & !C1L37 & VCC;

--C1L40 is Reset_Delay:r0|Cont[12]~245 at LCCOMB_X1_Y17_N4
C1L40 = CARRY(C1_Cont[12] & !C1L37);


--C1L42 is Reset_Delay:r0|Cont[13]~246 at LCCOMB_X1_Y17_N6
C1L42 = C1_Cont[13] & !C1L40 # !C1_Cont[13] & (C1L40 # GND);

--C1L43 is Reset_Delay:r0|Cont[13]~247 at LCCOMB_X1_Y17_N6
C1L43 = CARRY(!C1L40 # !C1_Cont[13]);


--C1L45 is Reset_Delay:r0|Cont[14]~248 at LCCOMB_X1_Y17_N8
C1L45 = C1_Cont[14] & (C1L43 $ GND) # !C1_Cont[14] & !C1L43 & VCC;

--C1L46 is Reset_Delay:r0|Cont[14]~249 at LCCOMB_X1_Y17_N8
C1L46 = CARRY(C1_Cont[14] & !C1L43);


--C1L48 is Reset_Delay:r0|Cont[15]~250 at LCCOMB_X1_Y17_N10
C1L48 = C1_Cont[15] & !C1L46 # !C1_Cont[15] & (C1L46 # GND);

--C1L49 is Reset_Delay:r0|Cont[15]~251 at LCCOMB_X1_Y17_N10
C1L49 = CARRY(!C1L46 # !C1_Cont[15]);


--C1L51 is Reset_Delay:r0|Cont[16]~252 at LCCOMB_X1_Y17_N12
C1L51 = C1_Cont[16] & (C1L49 $ GND) # !C1_Cont[16] & !C1L49 & VCC;

--C1L52 is Reset_Delay:r0|Cont[16]~253 at LCCOMB_X1_Y17_N12
C1L52 = CARRY(C1_Cont[16] & !C1L49);


--C1L54 is Reset_Delay:r0|Cont[17]~254 at LCCOMB_X1_Y17_N14
C1L54 = C1_Cont[17] & !C1L52 # !C1_Cont[17] & (C1L52 # GND);

--C1L55 is Reset_Delay:r0|Cont[17]~255 at LCCOMB_X1_Y17_N14
C1L55 = CARRY(!C1L52 # !C1_Cont[17]);


--C1L57 is Reset_Delay:r0|Cont[18]~256 at LCCOMB_X1_Y17_N16
C1L57 = C1_Cont[18] & (C1L55 $ GND) # !C1_Cont[18] & !C1L55 & VCC;

--C1L58 is Reset_Delay:r0|Cont[18]~257 at LCCOMB_X1_Y17_N16
C1L58 = CARRY(C1_Cont[18] & !C1L55);


--C1L60 is Reset_Delay:r0|Cont[19]~258 at LCCOMB_X1_Y17_N18
C1L60 = C1L58 $ C1_Cont[19];


--y_rand[26] is y_rand[26] at LCFF_X34_Y13_N7
y_rand[26] = DFFEAS(A1L842, GLOBAL(E1L2),  ,  , A1L722,  ,  ,  ,  );


--A1L841 is y_rand~465 at LCCOMB_X34_Y13_N2
A1L841 = KEY[0] & y_rand[26];


--x_rand[28] is x_rand[28] at LCFF_X41_Y13_N19
x_rand[28] = DFFEAS(A1L755, GLOBAL(E1L2),  ,  , A1L722,  ,  ,  ,  );


--A1L754 is x_rand~536 at LCCOMB_X41_Y13_N30
A1L754 = KEY[0] & x_rand[28];


--y_rand[25] is y_rand[25] at LCFF_X34_Y13_N29
y_rand[25] = DFFEAS(A1L843, GLOBAL(E1L2),  ,  , A1L722,  ,  ,  ,  );


--A1L842 is y_rand~466 at LCCOMB_X34_Y13_N6
A1L842 = y_rand[25] # !KEY[0];


--x_rand[27] is x_rand[27] at LCFF_X41_Y13_N1
x_rand[27] = DFFEAS(A1L756, GLOBAL(E1L2),  ,  , A1L722,  ,  ,  ,  );


--A1L755 is x_rand~537 at LCCOMB_X41_Y13_N18
A1L755 = x_rand[27] # !KEY[0];


--y_rand[24] is y_rand[24] at LCFF_X34_Y13_N1
y_rand[24] = DFFEAS(A1L844, GLOBAL(E1L2),  ,  , A1L722,  ,  ,  ,  );


--A1L843 is y_rand~467 at LCCOMB_X34_Y13_N28
A1L843 = KEY[0] & y_rand[24];


--x_rand[26] is x_rand[26] at LCFF_X41_Y14_N17
x_rand[26] = DFFEAS(A1L757, GLOBAL(E1L2),  ,  , A1L722,  ,  ,  ,  );


--A1L756 is x_rand~538 at LCCOMB_X41_Y13_N0
A1L756 = KEY[0] & x_rand[26];


--y_rand[23] is y_rand[23] at LCFF_X34_Y13_N15
y_rand[23] = DFFEAS(A1L845, GLOBAL(E1L2),  ,  , A1L722,  ,  ,  ,  );


--A1L844 is y_rand~468 at LCCOMB_X34_Y13_N0
A1L844 = y_rand[23] # !KEY[0];


--x_rand[25] is x_rand[25] at LCFF_X41_Y14_N9
x_rand[25] = DFFEAS(A1L758, GLOBAL(E1L2),  ,  , A1L722,  ,  ,  ,  );


--A1L757 is x_rand~539 at LCCOMB_X41_Y14_N16
A1L757 = x_rand[25] # !KEY[0];


--y_rand[22] is y_rand[22] at LCFF_X34_Y13_N23
y_rand[22] = DFFEAS(A1L846, GLOBAL(E1L2),  ,  , A1L722,  ,  ,  ,  );


--A1L845 is y_rand~469 at LCCOMB_X34_Y13_N14
A1L845 = KEY[0] & y_rand[22];


--x_rand[24] is x_rand[24] at LCFF_X41_Y14_N25
x_rand[24] = DFFEAS(A1L759, GLOBAL(E1L2),  ,  , A1L722,  ,  ,  ,  );


--A1L758 is x_rand~540 at LCCOMB_X41_Y14_N8
A1L758 = x_rand[24] & KEY[0];


--y_rand[21] is y_rand[21] at LCFF_X34_Y13_N5
y_rand[21] = DFFEAS(A1L847, GLOBAL(E1L2),  ,  , A1L722,  ,  ,  ,  );


--A1L846 is y_rand~470 at LCCOMB_X34_Y13_N22
A1L846 = y_rand[21] # !KEY[0];


--x_rand[23] is x_rand[23] at LCFF_X41_Y14_N23
x_rand[23] = DFFEAS(A1L760, GLOBAL(E1L2),  ,  , A1L722,  ,  ,  ,  );


--A1L759 is x_rand~541 at LCCOMB_X41_Y14_N24
A1L759 = x_rand[23] # !KEY[0];


--y_rand[20] is y_rand[20] at LCFF_X34_Y13_N21
y_rand[20] = DFFEAS(A1L848, GLOBAL(E1L2),  ,  , A1L722,  ,  ,  ,  );


--A1L847 is y_rand~471 at LCCOMB_X34_Y13_N4
A1L847 = y_rand[20] & KEY[0];


--x_rand[22] is x_rand[22] at LCFF_X41_Y14_N19
x_rand[22] = DFFEAS(A1L761, GLOBAL(E1L2),  ,  , A1L722,  ,  ,  ,  );


--A1L760 is x_rand~542 at LCCOMB_X41_Y14_N22
A1L760 = KEY[0] & x_rand[22];


--y_rand[19] is y_rand[19] at LCFF_X34_Y13_N25
y_rand[19] = DFFEAS(A1L849, GLOBAL(E1L2),  ,  , A1L722,  ,  ,  ,  );


--A1L848 is y_rand~472 at LCCOMB_X34_Y13_N20
A1L848 = y_rand[19] # !KEY[0];


--x_rand[21] is x_rand[21] at LCFF_X41_Y14_N27
x_rand[21] = DFFEAS(A1L762, GLOBAL(E1L2),  ,  , A1L722,  ,  ,  ,  );


--A1L761 is x_rand~543 at LCCOMB_X41_Y14_N18
A1L761 = x_rand[21] # !KEY[0];


--y_rand[18] is y_rand[18] at LCFF_X34_Y13_N11
y_rand[18] = DFFEAS(A1L850, GLOBAL(E1L2),  ,  , A1L722,  ,  ,  ,  );


--A1L849 is y_rand~473 at LCCOMB_X34_Y13_N24
A1L849 = KEY[0] & y_rand[18];


--x_rand[20] is x_rand[20] at LCFF_X41_Y14_N29
x_rand[20] = DFFEAS(A1L763, GLOBAL(E1L2),  ,  , A1L722,  ,  ,  ,  );


--A1L762 is x_rand~544 at LCCOMB_X41_Y14_N26
A1L762 = KEY[0] & x_rand[20];


--y_rand[17] is y_rand[17] at LCFF_X34_Y13_N31
y_rand[17] = DFFEAS(A1L851, GLOBAL(E1L2),  ,  , A1L722,  ,  ,  ,  );


--A1L850 is y_rand~474 at LCCOMB_X34_Y13_N10
A1L850 = y_rand[17] # !KEY[0];


--x_rand[19] is x_rand[19] at LCFF_X41_Y14_N13
x_rand[19] = DFFEAS(A1L764, GLOBAL(E1L2),  ,  , A1L722,  ,  ,  ,  );


--A1L763 is x_rand~545 at LCCOMB_X41_Y14_N28
A1L763 = x_rand[19] # !KEY[0];


--y_rand[16] is y_rand[16] at LCFF_X34_Y13_N13
y_rand[16] = DFFEAS(A1L852, GLOBAL(E1L2),  ,  , A1L722,  ,  ,  ,  );


--A1L851 is y_rand~475 at LCCOMB_X34_Y13_N30
A1L851 = KEY[0] & y_rand[16];


--x_rand[18] is x_rand[18] at LCFF_X41_Y14_N15
x_rand[18] = DFFEAS(A1L765, GLOBAL(E1L2),  ,  , A1L722,  ,  ,  ,  );


--A1L764 is x_rand~546 at LCCOMB_X41_Y14_N12
A1L764 = x_rand[18] & KEY[0];


--y_rand[15] is y_rand[15] at LCFF_X34_Y13_N19
y_rand[15] = DFFEAS(A1L853, GLOBAL(E1L2),  ,  , A1L722,  ,  ,  ,  );


--A1L852 is y_rand~476 at LCCOMB_X34_Y13_N