de2_default.map.eqn

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

--A1L573 is add~647
A1L573 = y_walker[5] & A1L570 & VCC # !y_walker[5] & !A1L570;

--A1L574 is add~648
A1L574 = CARRY(!y_walker[5] & !A1L570);


--A1L575 is add~649
A1L575 = y_walker[5] & !A1L572 # !y_walker[5] & (A1L572 # GND);

--A1L576 is add~650
A1L576 = CARRY(!A1L572 # !y_walker[5]);


--D1_oCoord_Y[6] is VGA_Controller:u1|oCoord_Y[6]
D1_oCoord_Y[6] = DFFEAS(D1L134, E1__clk0, C1_oRESET,  , D1L89,  ,  ,  ,  );


--A1L540 is addr_reg~672
A1L540 = A1L505 & (!A1L500) # !A1L505 & (A1L500 & (D1_oCoord_Y[6]) # !A1L500 & A1L575);


--A1L529 is addr_reg~30
A1L529 = A1L502 & (A1L540 & y_walker[5] # !A1L540 & (A1L573)) # !A1L502 & (A1L540);


--y_walker[6] is y_walker[6]
y_walker[6] = DFFEAS(A1L885, E1__clk0,  ,  , A1L865, VCC,  ,  , !KEY[0]);


--A1L577 is add~651
A1L577 = y_walker[6] & (GND # !A1L574) # !y_walker[6] & (A1L574 $ GND);

--A1L578 is add~652
A1L578 = CARRY(y_walker[6] # !A1L574);


--A1L579 is add~653
A1L579 = y_walker[6] & (A1L576 $ GND) # !y_walker[6] & !A1L576 & VCC;

--A1L580 is add~654
A1L580 = CARRY(y_walker[6] & !A1L576);


--D1_oCoord_Y[7] is VGA_Controller:u1|oCoord_Y[7]
D1_oCoord_Y[7] = DFFEAS(D1L137, E1__clk0, C1_oRESET,  , D1L89,  ,  ,  ,  );


--A1L541 is addr_reg~673
A1L541 = A1L505 & (!A1L500) # !A1L505 & (A1L500 & (D1_oCoord_Y[7]) # !A1L500 & A1L579);


--A1L528 is addr_reg~29
A1L528 = A1L502 & (A1L541 & y_walker[6] # !A1L541 & (A1L577)) # !A1L502 & (A1L541);


--y_walker[7] is y_walker[7]
y_walker[7] = DFFEAS(A1L886, E1__clk0,  ,  , A1L865, y_rand[28],  , !KEY[0], state.new_walker);


--A1L581 is add~655
A1L581 = y_walker[7] & A1L578 & VCC # !y_walker[7] & !A1L578;

--A1L582 is add~656
A1L582 = CARRY(!y_walker[7] & !A1L578);


--A1L583 is add~657
A1L583 = y_walker[7] & !A1L580 # !y_walker[7] & (A1L580 # GND);

--A1L584 is add~658
A1L584 = CARRY(!A1L580 # !y_walker[7]);


--D1_oCoord_Y[8] is VGA_Controller:u1|oCoord_Y[8]
D1_oCoord_Y[8] = DFFEAS(D1L140, E1__clk0, C1_oRESET,  , D1L89,  ,  ,  ,  );


--A1L542 is addr_reg~674
A1L542 = A1L505 & (A1L500) # !A1L505 & (A1L500 & (D1_oCoord_Y[8]) # !A1L500 & A1L583);


--A1L527 is addr_reg~28
A1L527 = A1L502 & (A1L542 & (A1L581) # !A1L542 & y_walker[7]) # !A1L502 & (A1L542);


--y_walker[8] is y_walker[8]
y_walker[8] = DFFEAS(A1L421, E1__clk0,  ,  , A1L873,  ,  , !KEY[0],  );


--A1L585 is add~659
A1L585 = y_walker[8] $ A1L582;


--A1L587 is add~661
A1L587 = y_walker[8] $ !A1L584;


--D1_oCoord_Y[9] is VGA_Controller:u1|oCoord_Y[9]
D1_oCoord_Y[9] = DFFEAS(D1L143, E1__clk0, C1_oRESET,  , D1L89,  ,  ,  ,  );


--A1L543 is addr_reg~675
A1L543 = A1L505 & (A1L500) # !A1L505 & (A1L500 & (D1_oCoord_Y[9]) # !A1L500 & A1L587);


--A1L526 is addr_reg~27
A1L526 = A1L502 & (A1L543 & (A1L585) # !A1L543 & y_walker[8]) # !A1L502 & (A1L543);


--x_walker[0] is x_walker[0]
x_walker[0] = DFFEAS(A1L426, E1__clk0,  ,  , A1L873, VCC,  ,  , !KEY[0]);


--A1L589 is add~663
A1L589 = x_walker[0] $ VCC;

--A1L590 is add~664
A1L590 = CARRY(x_walker[0]);


--A1L591 is add~665
A1L591 = x_walker[0] $ VCC;

--A1L592 is add~666
A1L592 = CARRY(x_walker[0]);


--A1L506 is addr_reg[9]~676
A1L506 = A1L640 & !state.test4 & !state.test3 & !state.draw_walker;


--A1L507 is addr_reg[9]~677
A1L507 = A1L506 & (state.test2 # state.test1 # !A1L640);


--D1_oCoord_X[1] is VGA_Controller:u1|oCoord_X[1]
D1_oCoord_X[1] = DFFEAS(D1L92, E1__clk0, C1_oRESET,  ,  ,  ,  ,  ,  );


--A1L508 is addr_reg[9]~678
A1L508 = state.test2 & A1L506 # !A1L640;


--A1L544 is addr_reg~679
A1L544 = A1L506 & (A1L508) # !A1L506 & (A1L508 & (D1_oCoord_X[1]) # !A1L508 & x_walker[0]);


--A1L525 is addr_reg~26
A1L525 = A1L507 & (A1L544 & (A1L591) # !A1L544 & A1L589) # !A1L507 & (A1L544);


--x_walker[1] is x_walker[1]
x_walker[1] = DFFEAS(A1L791, E1__clk0,  ,  ,  , VCC,  ,  , !KEY[0]);


--A1L593 is add~667
A1L593 = x_walker[1] & A1L590 & VCC # !x_walker[1] & !A1L590;

--A1L594 is add~668
A1L594 = CARRY(!x_walker[1] & !A1L590);


--A1L595 is add~669
A1L595 = x_walker[1] & !A1L592 # !x_walker[1] & (A1L592 # GND);

--A1L596 is add~670
A1L596 = CARRY(!A1L592 # !x_walker[1]);


--D1_oCoord_X[2] is VGA_Controller:u1|oCoord_X[2]
D1_oCoord_X[2] = DFFEAS(D1L94, E1__clk0, C1_oRESET,  , D1L89,  ,  ,  ,  );


--A1L545 is addr_reg~680
A1L545 = A1L506 & (A1L508) # !A1L506 & (A1L508 & (D1_oCoord_X[2]) # !A1L508 & x_walker[1]);


--A1L524 is addr_reg~25
A1L524 = A1L507 & (A1L545 & (A1L595) # !A1L545 & A1L593) # !A1L507 & (A1L545);


--x_walker[2] is x_walker[2]
x_walker[2] = DFFEAS(A1L792, E1__clk0,  ,  , A1L789, x_rand[30],  , !KEY[0], state.new_walker);


--A1L597 is add~671
A1L597 = x_walker[2] & (GND # !A1L594) # !x_walker[2] & (A1L594 $ GND);

--A1L598 is add~672
A1L598 = CARRY(x_walker[2] # !A1L594);


--A1L599 is add~673
A1L599 = x_walker[2] & (A1L596 $ GND) # !x_walker[2] & !A1L596 & VCC;

--A1L600 is add~674
A1L600 = CARRY(x_walker[2] & !A1L596);


--D1_oCoord_X[3] is VGA_Controller:u1|oCoord_X[3]
D1_oCoord_X[3] = DFFEAS(D1L97, E1__clk0, C1_oRESET,  , D1L89,  ,  ,  ,  );


--A1L546 is addr_reg~681
A1L546 = A1L506 & (A1L508) # !A1L506 & (A1L508 & (D1_oCoord_X[3]) # !A1L508 & x_walker[2]);


--A1L523 is addr_reg~24
A1L523 = A1L507 & (A1L546 & (A1L599) # !A1L546 & A1L597) # !A1L507 & (A1L546);


--x_walker[3] is x_walker[3]
x_walker[3] = DFFEAS(A1L794, E1__clk0,  ,  , A1L789, VCC,  ,  , !KEY[0]);


--A1L601 is add~675
A1L601 = x_walker[3] & A1L598 & VCC # !x_walker[3] & !A1L598;

--A1L602 is add~676
A1L602 = CARRY(!x_walker[3] & !A1L598);


--A1L603 is add~677
A1L603 = x_walker[3] & !A1L600 # !x_walker[3] & (A1L600 # GND);

--A1L604 is add~678
A1L604 = CARRY(!A1L600 # !x_walker[3]);


--D1_oCoord_X[4] is VGA_Controller:u1|oCoord_X[4]
D1_oCoord_X[4] = DFFEAS(D1L100, E1__clk0, C1_oRESET,  , D1L89,  ,  ,  ,  );


--A1L547 is addr_reg~682
A1L547 = A1L506 & (A1L508) # !A1L506 & (A1L508 & (D1_oCoord_X[4]) # !A1L508 & x_walker[3]);


--A1L522 is addr_reg~23
A1L522 = A1L507 & (A1L547 & (A1L603) # !A1L547 & A1L601) # !A1L507 & (A1L547);


--x_walker[4] is x_walker[4]
x_walker[4] = DFFEAS(A1L796, E1__clk0,  ,  , A1L789, VCC,  ,  , !KEY[0]);


--A1L605 is add~679
A1L605 = x_walker[4] & (GND # !A1L602) # !x_walker[4] & (A1L602 $ GND);

--A1L606 is add~680
A1L606 = CARRY(x_walker[4] # !A1L602);


--A1L607 is add~681
A1L607 = x_walker[4] & (A1L604 $ GND) # !x_walker[4] & !A1L604 & VCC;

--A1L608 is add~682
A1L608 = CARRY(x_walker[4] & !A1L604);


--D1_oCoord_X[5] is VGA_Controller:u1|oCoord_X[5]
D1_oCoord_X[5] = DFFEAS(D1L103, E1__clk0, C1_oRESET,  , D1L89,  ,  ,  ,  );


--A1L548 is addr_reg~683
A1L548 = A1L506 & (A1L508) # !A1L506 & (A1L508 & (D1_oCoord_X[5]) # !A1L508 & x_walker[4]);


--A1L521 is addr_reg~22
A1L521 = A1L507 & (A1L548 & (A1L607) # !A1L548 & A1L605) # !A1L507 & (A1L548);


--x_walker[5] is x_walker[5]
x_walker[5] = DFFEAS(A1L797, E1__clk0,  ,  , A1L789, x_rand[30],  , !KEY[0], state.new_walker);


--A1L609 is add~683
A1L609 = x_walker[5] & A1L606 & VCC # !x_walker[5] & !A1L606;

--A1L610 is add~684
A1L610 = CARRY(!x_walker[5] & !A1L606);


--A1L611 is add~685
A1L611 = x_walker[5] & !A1L608 # !x_walker[5] & (A1L608 # GND);

--A1L612 is add~686
A1L612 = CARRY(!A1L608 # !x_walker[5]);


--D1_oCoord_X[6] is VGA_Controller:u1|oCoord_X[6]
D1_oCoord_X[6] = DFFEAS(D1L106, E1__clk0, C1_oRESET,  , D1L89,  ,  ,  ,  );


--A1L549 is addr_reg~684
A1L549 = A1L506 & (!A1L508) # !A1L506 & (A1L508 & (D1_oCoord_X[6]) # !A1L508 & x_walker[5]);


--A1L520 is addr_reg~21
A1L520 = A1L507 & (A1L549 & A1L609 # !A1L549 & (A1L611)) # !A1L507 & (A1L549);


--x_walker[6] is x_walker[6]
x_walker[6] = DFFEAS(A1L432, E1__clk0,  ,  , A1L873,  ,  , !KEY[0],  );


--A1L613 is add~687
A1L613 = x_walker[6] & (GND # !A1L610) # !x_walker[6] & (A1L610 $ GND);

--A1L614 is add~688
A1L614 = CARRY(x_walker[6] # !A1L610);


--A1L615 is add~689
A1L615 = x_walker[6] & (A1L612 $ GND) # !x_walker[6] & !A1L612 & VCC;

--A1L616 is add~690
A1L616 = CARRY(x_walker[6] & !A1L612);


--D1_oCoord_X[7] is VGA_Controller:u1|oCoord_X[7]
D1_oCoord_X[7] = DFFEAS(D1L109, E1__clk0, C1_oRESET,  , D1L89,  ,  ,  ,  );


--A1L550 is addr_reg~685
A1L550 = A1L506 & (A1L508) # !A1L506 & (A1L508 & (D1_oCoord_X[7]) # !A1L508 & x_walker[6]);


--A1L519 is addr_reg~20
A1L519 = A1L507 & (A1L550 & (A1L615) # !A1L550 & A1L613) # !A1L507 & (A1L550);


--x_walker[7] is x_walker[7]
x_walker[7] = DFFEAS(A1L433, E1__clk0,  ,  , A1L873, VCC,  ,  , !KEY[0]);


--A1L617 is add~691
A1L617 = x_walker[7] & A1L614 & VCC # !x_walker[7] & !A1L614;

--A1L618 is add~692
A1L618 = CARRY(!x_walker[7] & !A1L614);


--A1L619 is add~693
A1L619 = x_walker[7] & !A1L616 # !x_walker[7] & (A1L616 # GND);

--A1L620 is add~694
A1L620 = CARRY(!A1L616 # !x_walker[7]);


--D1_oCoord_X[8] is VGA_Controller:u1|oCoord_X[8]
D1_oCoord_X[8] = DFFEAS(D1L112, E1__clk0, C1_oRESET,  , D1L89,  ,  ,  ,  );


--A1L551 is addr_reg~686
A1L551 = A1L506 & (!A1L508) # !A1L506 & (A1L508 & (D1_oCoord_X[8]) # !A1L508 & x_walker[7]);


--A1L518 is addr_reg~19
A1L518 = A1L507 & (A1L551 & A1L617 # !A1L551 & (A1L619)) # !A1L507 & (A1L551);


--x_walker[8] is x_walker[8]
x_walker[8] = DFFEAS(A1L798, E1__clk0,  ,  , A1L789, x_rand[30],  , !KEY[0], state.new_walker);


--A1L621 is add~695
A1L621 = x_walker[8] $ A1L618;


--A1L623 is add~697
A1L623 = x_walker[8] $ !A1L620;


--D1_oCoord_X[9] is VGA_Controller:u1|oCoord_X[9]
D1_oCoord_X[9] = DFFEAS(D1L115, E1__clk0, C1_oRESET,  , D1L89,  ,  ,  ,  );


--A1L552 is addr_reg~687
A1L552 = A1L506 & (A1L508) # !A1L506 & (A1L508 & (D1_oCoord_X[9]) # !A1L508 & x_walker[8]);


--A1L517 is addr_reg~18
A1L517 = A1L507 & (A1L552 & (A1L623) # !A1L552 & A1L621) # !A1L507 & (A1L552);


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


--state.init is state.init
state.init = DFFEAS(A1L697, E1__clk0,  ,  ,  ,  ,  ,  ,  );


--A1L635 is data_reg~143
A1L635 = state.init & !state.draw_walker;


--A1L713 is we~21
A1L713 = A1L625 # state.test6 & we # !state.test6 & (A1L635);


--C1_oRESET is Reset_Delay:r0|oRESET
C1_oRESET = DFFEAS(A1L674, CLOCK_50,  ,  ,  ,  ,  ,  ,  );


--A1L665 is rtl~191
A1L665 = !D1_H_Cont[8] & !D1_H_Cont[9];


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


--A1L666 is rtl~192
A1L666 = A1L664 & !D1_H_Cont[4] & !D1_H_Cont[2] & !D1_H_Cont[3];


--A1L667 is rtl~193
A1L667 = A1L662 & A1L666 & !D1_H_Cont[8] & !D1_H_Cont[9];


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


--D1_V_Cont[0] is VGA_Controller:u1|V_Cont[0]
D1_V_Cont[0] = DFFEAS(D1L58, E1__clk0, C1_oRESET,  , A1L667,  ,  , D1L54,  );


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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


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


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


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

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


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

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


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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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


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

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