de2_default.map.eqn

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

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


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

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


--A1L709 is sum[3]~110
A1L709 = A1L640 & A1L410 & A1L635 & !state.test6;


--A1L685 is state~1444
A1L685 = KEY[0] & (A1L625 & state.test5 # !A1L625 & (state.test4));


--A1L703 is sum[1]~111
A1L703 = sum[1] & !A1L701 # !sum[1] & (A1L701 # GND);

--A1L704 is sum[1]~112
A1L704 = CARRY(!A1L701 # !sum[1]);


--A1L706 is sum[2]~113
A1L706 = sum[2] & (A1L704 $ GND) # !sum[2] & !A1L704 & VCC;

--A1L707 is sum[2]~114
A1L707 = CARRY(sum[2] & !A1L704);


--A1L710 is sum[3]~115
A1L710 = sum[3] $ A1L707;


--y_rand[28] is y_rand[28]
y_rand[28] = DFFEAS(A1L832, E1__clk0,  ,  , A1L717,  ,  ,  ,  );


--A1L300 is LessThan~531
A1L300 = !y_walker[7] # !y_walker[6] # !y_walker[5];


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


--A1L629 is always0~235
A1L629 = !y_walker[8] & (A1L300 # A1L301 & !y_walker[4]);


--A1L411 is Select~2522
A1L411 = state.update_walker & y_rand[28] & A1L629;


--A1L412 is Select~2523
A1L412 = y_walker[0] & (A1L410 # A1L555 & A1L411) # !y_walker[0] & A1L555 & A1L411;


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


--A1L303 is LessThan~534
A1L303 = y_walker[4] # y_walker[5] # y_walker[6] # y_walker[7];


--A1L628 is always0~6
A1L628 = !y_rand[28] & (y_walker[8] # A1L302 # A1L303);


--A1L413 is Select~2524
A1L413 = A1L628 & A1L553 # !A1L628 & (y_walker[0]);


--A1L630 is always0~236
A1L630 = y_rand[28] & A1L629;


--A1L414 is Select~2525
A1L414 = A1L412 # state.update_walker & A1L413 & !A1L630;


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


--A1L686 is state~1445
A1L686 = KEY[0] & (A1L625 & state.test4 # !A1L625 & (state.test3));


--A1L687 is state~1446
A1L687 = KEY[0] & (A1L625 & state.test3 # !A1L625 & (state.test2));


--lock is lock
lock = DFFEAS(A1L645, E1__clk0,  ,  , KEY[0],  ,  ,  ,  );


--A1L631 is always0~237
A1L631 = sum[0] # sum[1];


--A1L632 is always0~238
A1L632 = lock & (sum[2] # sum[3] # A1L631);


--A1L688 is state~1447
A1L688 = A1L640 & state.test6;


--A1L689 is state~1448
A1L689 = state.draw_walker & (A1L632 & A1L688 # !A1L873) # !state.draw_walker & A1L632 & A1L688;


--A1L690 is state~1449
A1L690 = KEY[0] & (A1L625 & state.test2 # !A1L625 & (state.test1));


--A1L691 is state~1450
A1L691 = state.update_walker # state.new_walker # !state.init;


--A1L692 is state~1451
A1L692 = KEY[0] & (A1L625 & state.test1 # !A1L625 & (A1L691));


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

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


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


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


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


--A1L693 is state~1452
A1L693 = KEY[0] & (A1L625 & state.test6 # !A1L625 & (state.test5));


--A1L694 is state~1453
A1L694 = KEY[0] & state.update_walker;


--A1L695 is state~1454
A1L695 = A1L625 & (A1L694 # A1L688 & !A1L632) # !A1L625 & (A1L688 & !A1L632);


--A1L696 is state~1455
A1L696 = KEY[0] & (A1L625 & state.new_walker # !A1L625 & (state.draw_walker));


--A1L874 is y_walker~1932
A1L874 = A1L628 & (A1L557 & !A1L625) # !A1L628 & y_walker[1];


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


--A1L875 is y_walker~1933
A1L875 = KEY[0] & A1L874 & A1L415 & !A1L630;


--A1L876 is y_walker~1934
A1L876 = KEY[0] & !A1L625 & (y_walker[1] # !A1L410);


--A1L877 is y_walker~1935
A1L877 = A1L876 & (A1L559 & A1L630 # !state.update_walker);


--A1L878 is y_walker~1936
A1L878 = A1L875 # A1L877 # y_walker[1] & !A1L873;


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

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


--A1L879 is y_walker~1937
A1L879 = y_rand[28] & (A1L629 & A1L563 # !A1L629 & (A1L561)) # !y_rand[28] & (A1L561);


--A1L304 is LessThan~535
A1L304 = y_walker[8] # A1L302 # A1L303;


--A1L864 is y_walker[2]~1938
A1L864 = A1L694 & !y_rand[28] & !A1L304 # !A1L866;


--A1L865 is y_walker[2]~1939
A1L865 = !A1L864 & (A1L629 # !A1L694 # !y_rand[28]);


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

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


--A1L880 is y_walker~1940
A1L880 = y_rand[28] & (state.new_walker # A1L567 & A1L629);


--A1L881 is y_walker~1941
A1L881 = A1L880 # A1L565 & !state.new_walker & !A1L630;


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

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


--A1L416 is Select~2527
A1L416 = A1L410 & (y_walker[4] # A1L571 & A1L411) # !A1L410 & A1L571 & A1L411;


--A1L417 is Select~2528
A1L417 = y_rand[28] & y_walker[4] # !y_rand[28] & (A1L569 & A1L304);


--A1L418 is Select~2529
A1L418 = A1L416 # state.update_walker & A1L417 & !A1L630;


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

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


--A1L882 is y_walker~1942
A1L882 = state.new_walker & y_rand[28] # !state.new_walker & A1L573 & (!A1L629 # !y_rand[28]);


--A1L883 is y_walker~1943
A1L883 = A1L882 # A1L575 & A1L630 & !state.new_walker;


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

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


--A1L884 is y_walker~1944
A1L884 = state.new_walker & y_rand[28] # !state.new_walker & A1L577 & (!A1L629 # !y_rand[28]);


--A1L885 is y_walker~1945
A1L885 = A1L884 # A1L579 & A1L630 & !state.new_walker;


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

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


--A1L886 is y_walker~1946
A1L886 = y_rand[28] & (A1L629 & A1L583 # !A1L629 & (A1L581)) # !y_rand[28] & (A1L581);


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

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


--A1L419 is Select~2530
A1L419 = A1L587 & (A1L411 # A1L410 & y_walker[8]) # !A1L587 & A1L410 & y_walker[8];


--A1L420 is Select~2531
A1L420 = y_rand[28] & y_walker[8] # !y_rand[28] & (A1L585 & A1L304);


--A1L421 is Select~2532
A1L421 = A1L419 # state.update_walker & A1L420 & !A1L630;


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


--x_rand[30] is x_rand[30]
x_rand[30] = DFFEAS(A1L748, E1__clk0,  ,  , A1L717,  ,  ,  ,  );


--A1L305 is LessThan~536
A1L305 = x_walker[1] & x_walker[2] & x_walker[3] & x_walker[4];


--A1L306 is LessThan~537
A1L306 = x_walker[5] & x_walker[8];


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


--A1L626 is always0~3
A1L626 = x_rand[30] & !A1L307 & (!A1L306 # !A1L305);


--A1L422 is Select~2533
A1L422 = state.update_walker & !A1L626;


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


--A1L309 is LessThan~540
A1L309 = x_walker[4] # x_walker[5] # x_walker[6] # x_walker[7];


--A1L627 is always0~4
A1L627 = !x_rand[30] & (x_walker[8] # A1L308 # A1L309);


--A1L423 is Select~2534
A1L423 = A1L422 & (A1L627 & A1L589 # !A1L627 & (x_walker[0]));


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


--A1L425 is Select~2536
A1L425 = state.update_walker & A1L626;


--A1L426 is Select~2537
A1L426 = A1L423 # A1L424 # A1L591 & A1L425;


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


--A1L790 is x_walker~1658
A1L790 = A1L627 & (A1L593 & !A1L625) # !A1L627 & x_walker[1];


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


--A1L791 is x_walker~1659
A1L791 = A1L800 # A1L790 & A1L427 & !A1L626;


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

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


--A1L792 is x_walker~1660
A1L792 = A1L626 & A1L599 # !A1L626 & (A1L597);


--A1L310 is LessThan~541
A1L310 = A1L307 # x_walker[5] & x_walker[8] & A1L305;


--A1L788 is x_walker[8]~1661
A1L788 = A1L694 & x_rand[30] & A1L310 # !A1L866;


--A1L311 is LessThan~542
A1L311 = x_walker[8] # A1L308 # A1L309;


--A1L789 is x_walker[8]~1662
A1L789 = !A1L788 & (x_rand[30] # A1L311 # !A1L694);


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

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


--A1L793 is x_walker~1663
A1L793 = !state.new_walker & (A1L626 & A1L603 # !A1L626 & (A1L601));


--A1L794 is x_walker~1664
A1L794 = A1L793 # state.new_walker & x_rand[30];


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

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


--A1L795 is x_walker~1665
A1L795 = !state.new_walker & (A1L626 & A1L607 # !A1L626 & (A1L605));


--A1L796 is x_walker~1666
A1L796 = A1L795 # state.new_walker & x_rand[30];


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

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


--A1L797 is x_walker~1667
A1L797 = A1L626 & A1L611 # !A1L626 & (A1L609);


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

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


--A1L428 is Select~2539
A1L428 = A1L410 & (x_walker[6] # A1L615 & A1L425) # !A1L410 & A1L615 & A1L425;


--A1L429 is Select~2540
A1L429 = x_rand[30] & x_walker[6] # !x_rand[30] & (A1L613 & A1L311);


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

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


--A1L430 is Select~2541
A1L430 = A1L410 & (x_walker[7] # A1L619 & A1L425) # !A1L410 & A1L619 & A1L425;


--A1L431 is Select~2542
A1L431 = x_rand[30] & x_walker[7] # !x_rand[30] & (A1L617 & A1L311);


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

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


--A1L798 is x_walker~1668
A1L798 = A1L626 & A1L623 # !A1L626 & (A1L621);


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


--A1L697 is state~1456
A1L697 = KEY[0] & (state.init # !A1L625);


--C1_Cont[0] is Reset_Delay:r0|Cont[0]
C1_Cont[0] = DFFEAS(C1L3, CLOCK_50,  ,  , A1L661,  ,  ,  ,  );


--C1_Cont[1] is Reset_Delay:r0|Cont[1]
C1_Cont[1] = DFFEAS(C1L6, CLOCK_50,  ,  , A1L661,  ,  ,  ,  );


--A1L668 is rtl~194
A1L668 = C1_Cont[0] & C1_Cont[1];


--C1_Cont[2] is Reset_Delay:r0|Cont[2]
C1_Cont[2] = DFFEAS(C1L9, CLOCK_50,  ,  , A1L661,  ,  ,  ,  );


--C1_Cont[3] is Reset_Delay:r0|Cont[3]
C1_Cont[3] = DFFEAS(C1L12, CLOCK_50,  ,  , A1L661,  ,  ,  ,  );


--C1_Cont[4] is Reset_Delay:r0|Cont[4]
C1_Cont[4] = DFFEAS(C1L15, CLOCK_50,  ,  , A1L661,  ,  ,  ,  );


--C1_Cont[5] is Reset_Delay:r0|Cont[5]
C1_Cont[5] = DFFEAS(C1L18, CLOCK_50,  ,  , A1L661,  ,  ,  ,  );


--C1_Cont[6] is Reset_Delay:r0|Cont[6]
C1_Cont[6] = DFFEAS(C1L21, CLOCK_50,  ,  , A1L661,  ,  ,  ,  );


--C1_Cont[7] is Reset_Delay:r0|Cont[7]
C1_Cont[7] = DFFEAS(C1L24, CLOCK_50,  ,  , A1L661,  ,  ,  ,  );


--A1L669 is rtl~195
A1L669 = C1_Cont[4] & C1_Cont[5] & C1_Cont[6] & C1_Cont[7];


--A1L670 is rtl~196
A1L670 = A1L668 & C1_Cont[2] & C1_Cont[3] & A1L669;


--C1_Cont[8] is Reset_Delay:r0|Cont[8]
C1_Cont[8] = DFFEAS(C1L27, CLOCK_50,  ,  , A1L661,  ,  ,  ,  );


--C1_Cont[9] is Reset_Delay:r0|Cont[9]
C1_Cont[9] = DFFEAS(C1L30, CLOCK_50,  ,  , A1L661,  ,  ,  ,  );


--C1_Cont[10] is Reset_Delay:r0|Cont[10]
C1_Cont[10] = DFFEAS(C1L33, CLOCK_50,  ,  , A1L661,  ,  ,  ,  );


--C1_Cont[11] is Reset_Delay:r0|Cont[11]
C1_Cont[11] = DFFEAS(C1L36, CLOCK_50,  ,  , A1L661,  ,  ,  ,  );


--A1L671 is rtl~197
A1L671 = C1_Cont[8] & C1_Cont[9] & C1_Cont[10] & C1_Cont[11];


--C1_Cont[12] is Reset_Delay:r0|Cont[12]
C1_Cont[12] = DFFEAS(C1L39, CLOCK_50,  ,  , A1L661,  ,  ,  ,  );


--C1_Cont[13] is Reset_Delay:r0|Cont[13]
C1_Cont[13] = DFFEAS(C1L42, CLOCK_50,  ,  , A1L661,  ,  ,  ,  );


--C1_Cont[14] is Reset_Delay:r0|Cont[14]
C1_Cont[14] = DFFEAS(C1L45, CLOCK_50,  ,  , A1L661,  ,  ,  ,  );


--C1_Cont[15] is Reset_Delay:r0|Cont[15]
C1_Cont[15] = DFFEAS(C1L48, CLOCK_50,  ,  , A1L661,  ,  ,  ,  );


--A1L672 is rtl~198
A1L672 = C1_Cont[12] & C1_Cont[13] & C1_Cont[14] & C1_Cont[15];