de2_default.fit.eqn

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

--D1_oCoord_Y[1] is VGA_Controller:u1|oCoord_Y[1] at LCFF_X36_Y14_N5
D1_oCoord_Y[1] = DFFEAS(D1L119, GLOBAL(E1L2), GLOBAL(C1L63),  , D1L89,  ,  ,  ,  );


--A1L536 is addr_reg~666 at LCCOMB_X36_Y14_N30
A1L536 = A1L501 & (D1_oCoord_Y[1] # A1L506) # !A1L501 & (A1L556 & !A1L506);


--A1L535 is addr_reg~35 at LCCOMB_X33_Y13_N20
A1L535 = A1L536 & (A1L554 # !A1L503) # !A1L536 & (y_walker[0] & A1L503);


--state.test6 is state.test6 at LCFF_X38_Y12_N29
state.test6 = DFFEAS(A1L698, GLOBAL(E1L2),  ,  ,  ,  ,  ,  ,  );


--state.update_walker is state.update_walker at LCFF_X38_Y12_N13
state.update_walker = DFFEAS(A1L700, GLOBAL(E1L2),  ,  ,  ,  ,  ,  ,  );


--state.new_walker is state.new_walker at LCFF_X37_Y12_N5
state.new_walker = DFFEAS(A1L701, GLOBAL(E1L2),  ,  ,  ,  ,  ,  ,  );


--A1L411 is Select~2521 at LCCOMB_X36_Y13_N30
A1L411 = !state.update_walker & !state.new_walker;


--A1L504 is addr_reg[8]~667 at LCCOMB_X36_Y13_N14
A1L504 = !state.test6 & !state.test5 & A1L411 # !A1L641;


--y_walker[1] is y_walker[1] at LCFF_X35_Y13_N1
y_walker[1] = DFFEAS(A1L890, GLOBAL(E1L2),  ,  ,  ,  ,  ,  ,  );


--A1L558 is add~631 at LCCOMB_X36_Y12_N6
A1L558 = y_walker[1] & A1L555 & VCC # !y_walker[1] & !A1L555;

--A1L559 is add~632 at LCCOMB_X36_Y12_N6
A1L559 = CARRY(!y_walker[1] & !A1L555);


--A1L560 is add~633 at LCCOMB_X35_Y12_N10
A1L560 = y_walker[1] & !A1L557 # !y_walker[1] & (A1L557 # GND);

--A1L561 is add~634 at LCCOMB_X35_Y12_N10
A1L561 = CARRY(!A1L557 # !y_walker[1]);


--D1_oCoord_Y[2] is VGA_Controller:u1|oCoord_Y[2] at LCFF_X36_Y14_N7
D1_oCoord_Y[2] = DFFEAS(D1L122, GLOBAL(E1L2), GLOBAL(C1L63),  , D1L89,  ,  ,  ,  );


--A1L537 is addr_reg~668 at LCCOMB_X36_Y14_N24
A1L537 = A1L501 & (D1_oCoord_Y[2] # A1L506) # !A1L501 & (A1L560 & !A1L506);


--A1L534 is addr_reg~34 at LCCOMB_X36_Y14_N0
A1L534 = A1L537 & (A1L558 # !A1L503) # !A1L537 & (y_walker[1] & A1L503);


--y_walker[2] is y_walker[2] at LCFF_X35_Y12_N31
y_walker[2] = DFFEAS(A1L891, GLOBAL(E1L2),  ,  , A1L873, y_rand[28],  , !KEY[0], state.new_walker);


--A1L562 is add~635 at LCCOMB_X36_Y12_N8
A1L562 = y_walker[2] & (GND # !A1L559) # !y_walker[2] & (A1L559 $ GND);

--A1L563 is add~636 at LCCOMB_X36_Y12_N8
A1L563 = CARRY(y_walker[2] # !A1L559);


--A1L564 is add~637 at LCCOMB_X35_Y12_N12
A1L564 = y_walker[2] & (A1L561 $ GND) # !y_walker[2] & !A1L561 & VCC;

--A1L565 is add~638 at LCCOMB_X35_Y12_N12
A1L565 = CARRY(y_walker[2] & !A1L561);


--D1_oCoord_Y[3] is VGA_Controller:u1|oCoord_Y[3] at LCFF_X36_Y14_N9
D1_oCoord_Y[3] = DFFEAS(D1L125, GLOBAL(E1L2), GLOBAL(C1L63),  , D1L89,  ,  ,  ,  );


--A1L538 is addr_reg~669 at LCCOMB_X36_Y14_N26
A1L538 = A1L501 & (D1_oCoord_Y[3] # A1L506) # !A1L501 & (A1L564 & !A1L506);


--A1L533 is addr_reg~33 at LCCOMB_X36_Y14_N28
A1L533 = A1L538 & (A1L562 # !A1L503) # !A1L538 & (y_walker[2] & A1L503);


--y_walker[3] is y_walker[3] at LCFF_X36_Y12_N31
y_walker[3] = DFFEAS(A1L876, GLOBAL(E1L2),  ,  , A1L873, VCC,  ,  , !KEY[0]);


--A1L566 is add~639 at LCCOMB_X36_Y12_N10
A1L566 = y_walker[3] & A1L563 & VCC # !y_walker[3] & !A1L563;

--A1L567 is add~640 at LCCOMB_X36_Y12_N10
A1L567 = CARRY(!y_walker[3] & !A1L563);


--A1L568 is add~641 at LCCOMB_X35_Y12_N14
A1L568 = y_walker[3] & !A1L565 # !y_walker[3] & (A1L565 # GND);

--A1L569 is add~642 at LCCOMB_X35_Y12_N14
A1L569 = CARRY(!A1L565 # !y_walker[3]);


--D1_oCoord_Y[4] is VGA_Controller:u1|oCoord_Y[4] at LCFF_X36_Y14_N11
D1_oCoord_Y[4] = DFFEAS(D1L128, GLOBAL(E1L2), GLOBAL(C1L63),  , D1L89,  ,  ,  ,  );


--A1L539 is addr_reg~670 at LCCOMB_X36_Y14_N22
A1L539 = A1L506 & !A1L501 # !A1L506 & (A1L501 & (D1_oCoord_Y[4]) # !A1L501 & A1L568);


--A1L532 is addr_reg~32 at LCCOMB_X36_Y14_N2
A1L532 = A1L539 & (y_walker[3] # !A1L503) # !A1L539 & (A1L566 & A1L503);


--y_walker[4] is y_walker[4] at LCFF_X36_Y13_N19
y_walker[4] = DFFEAS(A1L878, GLOBAL(E1L2),  ,  , A1L885, VCC,  ,  , !KEY[0]);


--A1L570 is add~643 at LCCOMB_X36_Y12_N12
A1L570 = y_walker[4] & (GND # !A1L567) # !y_walker[4] & (A1L567 $ GND);

--A1L571 is add~644 at LCCOMB_X36_Y12_N12
A1L571 = CARRY(y_walker[4] # !A1L567);


--A1L572 is add~645 at LCCOMB_X35_Y12_N16
A1L572 = y_walker[4] & (A1L569 $ GND) # !y_walker[4] & !A1L569 & VCC;

--A1L573 is add~646 at LCCOMB_X35_Y12_N16
A1L573 = CARRY(y_walker[4] & !A1L569);


--D1_oCoord_Y[5] is VGA_Controller:u1|oCoord_Y[5] at LCFF_X36_Y14_N13
D1_oCoord_Y[5] = DFFEAS(D1L131, GLOBAL(E1L2), GLOBAL(C1L63),  , D1L89,  ,  ,  ,  );


--A1L540 is addr_reg~671 at LCCOMB_X36_Y12_N22
A1L540 = A1L506 & (!A1L501) # !A1L506 & (A1L501 & (D1_oCoord_Y[5]) # !A1L501 & A1L572);


--A1L531 is addr_reg~31 at LCCOMB_X36_Y12_N2
A1L531 = A1L540 & (y_walker[4] # !A1L503) # !A1L540 & A1L570 & (A1L503);


--y_walker[5] is y_walker[5] at LCFF_X36_Y13_N13
y_walker[5] = DFFEAS(A1L880, GLOBAL(E1L2),  ,  , A1L873, VCC,  ,  , !KEY[0]);


--A1L574 is add~647 at LCCOMB_X36_Y12_N14
A1L574 = y_walker[5] & A1L571 & VCC # !y_walker[5] & !A1L571;

--A1L575 is add~648 at LCCOMB_X36_Y12_N14
A1L575 = CARRY(!y_walker[5] & !A1L571);


--A1L576 is add~649 at LCCOMB_X35_Y12_N18
A1L576 = y_walker[5] & !A1L573 # !y_walker[5] & (A1L573 # GND);

--A1L577 is add~650 at LCCOMB_X35_Y12_N18
A1L577 = CARRY(!A1L573 # !y_walker[5]);


--D1_oCoord_Y[6] is VGA_Controller:u1|oCoord_Y[6] at LCFF_X36_Y14_N15
D1_oCoord_Y[6] = DFFEAS(D1L134, GLOBAL(E1L2), GLOBAL(C1L63),  , D1L89,  ,  ,  ,  );


--A1L541 is addr_reg~672 at LCCOMB_X36_Y12_N24
A1L541 = A1L501 & D1_oCoord_Y[6] & !A1L506 # !A1L501 & (A1L506 # A1L576);


--A1L530 is addr_reg~30 at LCCOMB_X36_Y12_N28
A1L530 = A1L541 & (y_walker[5] # !A1L503) # !A1L541 & A1L574 & (A1L503);


--y_walker[6] is y_walker[6] at LCFF_X36_Y13_N5
y_walker[6] = DFFEAS(A1L882, GLOBAL(E1L2),  ,  , A1L873, VCC,  ,  , !KEY[0]);


--A1L578 is add~651 at LCCOMB_X36_Y12_N16
A1L578 = y_walker[6] & (GND # !A1L575) # !y_walker[6] & (A1L575 $ GND);

--A1L579 is add~652 at LCCOMB_X36_Y12_N16
A1L579 = CARRY(y_walker[6] # !A1L575);


--A1L580 is add~653 at LCCOMB_X35_Y12_N20
A1L580 = y_walker[6] & (A1L577 $ GND) # !y_walker[6] & !A1L577 & VCC;

--A1L581 is add~654 at LCCOMB_X35_Y12_N20
A1L581 = CARRY(y_walker[6] & !A1L577);


--D1_oCoord_Y[7] is VGA_Controller:u1|oCoord_Y[7] at LCFF_X36_Y14_N17
D1_oCoord_Y[7] = DFFEAS(D1L137, GLOBAL(E1L2), GLOBAL(C1L63),  , D1L89,  ,  ,  ,  );


--A1L542 is addr_reg~673 at LCCOMB_X36_Y12_N26
A1L542 = A1L506 & (!A1L501) # !A1L506 & (A1L501 & (D1_oCoord_Y[7]) # !A1L501 & A1L580);


--A1L529 is addr_reg~29 at LCCOMB_X36_Y12_N0
A1L529 = A1L542 & (y_walker[6] # !A1L503) # !A1L542 & A1L578 & (A1L503);


--y_walker[7] is y_walker[7] at LCFF_X34_Y13_N9
y_walker[7] = DFFEAS(A1L898, GLOBAL(E1L2),  ,  , A1L873, y_rand[28],  , !KEY[0], state.new_walker);


--A1L582 is add~655 at LCCOMB_X36_Y12_N18
A1L582 = y_walker[7] & A1L579 & VCC # !y_walker[7] & !A1L579;

--A1L583 is add~656 at LCCOMB_X36_Y12_N18
A1L583 = CARRY(!y_walker[7] & !A1L579);


--A1L584 is add~657 at LCCOMB_X35_Y12_N22
A1L584 = y_walker[7] & !A1L581 # !y_walker[7] & (A1L581 # GND);

--A1L585 is add~658 at LCCOMB_X35_Y12_N22
A1L585 = CARRY(!A1L581 # !y_walker[7]);


--D1_oCoord_Y[8] is VGA_Controller:u1|oCoord_Y[8] at LCFF_X36_Y14_N19
D1_oCoord_Y[8] = DFFEAS(D1L140, GLOBAL(E1L2), GLOBAL(C1L63),  , D1L89,  ,  ,  ,  );


--A1L543 is addr_reg~674 at LCCOMB_X35_Y12_N6
A1L543 = A1L501 & (A1L506 # D1_oCoord_Y[8]) # !A1L501 & A1L584 & !A1L506;


--A1L528 is addr_reg~28 at LCCOMB_X35_Y12_N2
A1L528 = A1L543 & (A1L582 # !A1L503) # !A1L543 & (y_walker[7] & A1L503);


--y_walker[8] is y_walker[8] at LCFF_X35_Y13_N17
y_walker[8] = DFFEAS(A1L422, GLOBAL(E1L2),  ,  , A1L885,  ,  , !KEY[0],  );


--A1L586 is add~659 at LCCOMB_X36_Y12_N20
A1L586 = A1L583 $ y_walker[8];


--A1L588 is add~661 at LCCOMB_X35_Y12_N24
A1L588 = y_walker[8] $ !A1L585;


--D1_oCoord_Y[9] is VGA_Controller:u1|oCoord_Y[9] at LCFF_X36_Y14_N21
D1_oCoord_Y[9] = DFFEAS(D1L143, GLOBAL(E1L2), GLOBAL(C1L63),  , D1L89,  ,  ,  ,  );


--A1L544 is addr_reg~675 at LCCOMB_X35_Y12_N26
A1L544 = A1L501 & (D1_oCoord_Y[9] # A1L506) # !A1L501 & (!A1L506 & A1L588);


--A1L527 is addr_reg~27 at LCCOMB_X35_Y12_N4
A1L527 = A1L503 & (A1L544 & A1L586 # !A1L544 & (y_walker[8])) # !A1L503 & (A1L544);


--x_walker[0] is x_walker[0] at LCFF_X38_Y13_N1
x_walker[0] = DFFEAS(A1L785, GLOBAL(E1L2),  ,  , A1L885, VCC,  ,  , !KEY[0]);


--A1L590 is add~663 at LCCOMB_X37_Y13_N6
A1L590 = x_walker[0] $ VCC;

--A1L591 is add~664 at LCCOMB_X37_Y13_N6
A1L591 = CARRY(x_walker[0]);


--A1L592 is add~665 at LCCOMB_X38_Y13_N6
A1L592 = x_walker[0] $ VCC;

--A1L593 is add~666 at LCCOMB_X38_Y13_N6
A1L593 = CARRY(x_walker[0]);


--A1L507 is addr_reg[9]~676 at LCCOMB_X37_Y14_N18
A1L507 = !state.test3 & !state.test4 & !state.draw_walker & A1L641;


--A1L508 is addr_reg[9]~677 at LCCOMB_X37_Y14_N14
A1L508 = A1L507 & (state.test1 # state.test2 # !A1L641);


--D1_oCoord_X[1] is VGA_Controller:u1|oCoord_X[1] at LCFF_X35_Y14_N9
D1_oCoord_X[1] = DFFEAS(D1L92, GLOBAL(E1L2), GLOBAL(C1L63),  ,  ,  ,  ,  ,  );


--A1L509 is addr_reg[9]~678 at LCCOMB_X37_Y14_N26
A1L509 = state.test2 & A1L507 # !A1L641;


--A1L545 is addr_reg~679 at LCCOMB_X35_Y14_N20
A1L545 = A1L509 & (A1L507 # D1_oCoord_X[1]) # !A1L509 & !A1L507 & (x_walker[0]);


--A1L526 is addr_reg~26 at LCCOMB_X35_Y14_N30
A1L526 = A1L508 & (A1L545 & (A1L592) # !A1L545 & A1L590) # !A1L508 & (A1L545);


--x_walker[1] is x_walker[1] at LCFF_X37_Y13_N31
x_walker[1] = DFFEAS(A1L787, GLOBAL(E1L2),  ,  ,  , VCC,  ,  , !KEY[0]);


--A1L594 is add~667 at LCCOMB_X37_Y13_N8
A1L594 = x_walker[1] & A1L591 & VCC # !x_walker[1] & !A1L591;

--A1L595 is add~668 at LCCOMB_X37_Y13_N8
A1L595 = CARRY(!x_walker[1] & !A1L591);


--A1L596 is add~669 at LCCOMB_X38_Y13_N8
A1L596 = x_walker[1] & !A1L593 # !x_walker[1] & (A1L593 # GND);

--A1L597 is add~670 at LCCOMB_X38_Y13_N8
A1L597 = CARRY(!A1L593 # !x_walker[1]);


--D1_oCoord_X[2] is VGA_Controller:u1|oCoord_X[2] at LCFF_X38_Y14_N5
D1_oCoord_X[2] = DFFEAS(D1L94, GLOBAL(E1L2), GLOBAL(C1L63),  , D1L89,  ,  ,  ,  );


--A1L546 is addr_reg~680 at LCCOMB_X38_Y14_N20
A1L546 = A1L509 & (D1_oCoord_X[2] # A1L507) # !A1L509 & x_walker[1] & (!A1L507);


--A1L525 is addr_reg~25 at LCCOMB_X38_Y14_N24
A1L525 = A1L546 & (A1L596 # !A1L508) # !A1L546 & (A1L594 & A1L508);


--x_walker[2] is x_walker[2] at LCFF_X40_Y13_N21
x_walker[2] = DFFEAS(A1L800, GLOBAL(E1L2),  ,  , A1L797, x_rand[30],  , !KEY[0], state.new_walker);


--A1L598 is add~671 at LCCOMB_X37_Y13_N10
A1L598 = x_walker[2] & (GND # !A1L595) # !x_walker[2] & (A1L595 $ GND);

--A1L599 is add~672 at LCCOMB_X37_Y13_N10
A1L599 = CARRY(x_walker[2] # !A1L595);


--A1L600 is add~673 at LCCOMB_X38_Y13_N10
A1L600 = x_walker[2] & (A1L597 $ GND) # !x_walker[2] & !A1L597 & VCC;

--A1L601 is add~674 at LCCOMB_X38_Y13_N10
A1L601 = CARRY(x_walker[2] & !A1L597);


--D1_oCoord_X[3] is VGA_Controller:u1|oCoord_X[3] at LCFF_X38_Y14_N7
D1_oCoord_X[3] = DFFEAS(D1L97, GLOBAL(E1L2), GLOBAL(C1L63),  , D1L89,  ,  ,  ,  );


--A1L547 is addr_reg~681 at LCCOMB_X38_Y14_N0
A1L547 = A1L509 & (D1_oCoord_X[3] # A1L507) # !A1L509 & (x_walker[2] & !A1L507);


--A1L524 is addr_reg~24 at LCCOMB_X38_Y14_N22
A1L524 = A1L508 & (A1L547 & A1L600 # !A1L547 & (A1L598)) # !A1L508 & (A1L547);


--x_walker[3] is x_walker[3] at LCFF_X41_Y13_N25
x_walker[3] = DFFEAS(A1L802, GLOBAL(E1L2),  ,  , A1L797, VCC,  ,  , !KEY[0]);


--A1L602 is add~675 at LCCOMB_X37_Y13_N12
A1L602 = x_walker[3] & A1L599 & VCC # !x_walker[3] & !A1L599;

--A1L603 is add~676 at LCCOMB_X37_Y13_N12
A1L603 = CARRY(!x_walker[3] & !A1L599);


--A1L604 is add~677 at LCCOMB_X38_Y13_N12
A1L604 = x_walker[3] & !A1L601 # !x_walker[3] & (A1L601 # GND);

--A1L605 is add~678 at LCCOMB_X38_Y13_N12
A1L605 = CARRY(!A1L601 # !x_walker[3]);


--D1_oCoord_X[4] is VGA_Controller:u1|oCoord_X[4] at LCFF_X38_Y14_N9
D1_oCoord_X[4] = DFFEAS(D1L100, GLOBAL(E1L2), GLOBAL(C1L63),  , D1L89,  ,  ,  ,  );


--A1L548 is addr_reg~682 at LCCOMB_X38_Y14_N30
A1L548 = A1L509 & (D1_oCoord_X[4] # A1L507) # !A1L509 & x_walker[3] & (!A1L507);


--A1L523 is addr_reg~23 at LCCOMB_X38_Y14_N28
A1L523 = A1L548 & (A1L604 # !A1L508) # !A1L548 & (A1L602 & A1L508);


--x_walker[4] is x_walker[4] at LCFF_X41_Y13_N9
x_walker[4] = DFFEAS(A1L804, GLOBAL(E1L2),  ,  , A1L797, VCC,  ,  , !KEY[0]);


--A1L606 is add~679 at LCCOMB_X37_Y13_N14
A1L606 = x_walker[4] & (GND # !A1L603) # !x_walker[4] & (A1L603 $ GND);

--A1L607 is add~680 at LCCOMB_X37_Y13_N14
A1L607 = CARRY(x_walker[4] # !A1L603);


--A1L608 is add~681 at LCCOMB_X38_Y13_N14
A1L608 = x_walker[4] & (A1L605 $ GND) # !x_walker[4] & !A1L605 & VCC;

--A1L609 is add~682 at LCCOMB_X38_Y13_N14
A1L609 = CARRY(x_walker[4] & !A1L605);


--D1_oCoord_X[5] is VGA_Controller:u1|oCoord_X[5] at LCFF_X38_Y14_N11
D1_oCoord_X[5] = DFFEAS(D1L103, GLOBAL(E1L2), GLOBAL(C1L63),  , D1L89,  ,  ,  ,  );