de2_default.map.eqn

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

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


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


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


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


--A1L673 is rtl~199
A1L673 = C1_Cont[16] & C1_Cont[17] & C1_Cont[18] & C1_Cont[19];


--A1L661 is rtl~1
A1L661 = !A1L673 # !A1L672 # !A1L671 # !A1L670;


--data_reg[15] is data_reg[15]
data_reg[15] = DFFEAS(A1L636, E1__clk0,  ,  ,  ,  ,  , !KEY[0],  );


--y_rand[27] is y_rand[27]
y_rand[27] = DFFEAS(A1L833, E1__clk0,  ,  , A1L717,  ,  ,  ,  );


--A1L832 is y_rand~464
A1L832 = y_rand[27] # !KEY[0];


--A1L645 is lock~54
A1L645 = !A1L625 & (state.test1 # lock);


--x_rand[29] is x_rand[29]
x_rand[29] = DFFEAS(A1L749, E1__clk0,  ,  , A1L717,  ,  ,  ,  );


--A1L748 is x_rand~535
A1L748 = x_rand[29] # !KEY[0];


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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


--y_rand[26] is y_rand[26]
y_rand[26] = DFFEAS(A1L834, E1__clk0,  ,  , A1L717,  ,  ,  ,  );


--A1L833 is y_rand~465
A1L833 = KEY[0] & y_rand[26];


--x_rand[28] is x_rand[28]
x_rand[28] = DFFEAS(A1L750, E1__clk0,  ,  , A1L717,  ,  ,  ,  );


--A1L749 is x_rand~536
A1L749 = KEY[0] & x_rand[28];


--y_rand[25] is y_rand[25]
y_rand[25] = DFFEAS(A1L835, E1__clk0,  ,  , A1L717,  ,  ,  ,  );


--A1L834 is y_rand~466
A1L834 = y_rand[25] # !KEY[0];


--x_rand[27] is x_rand[27]
x_rand[27] = DFFEAS(A1L751, E1__clk0,  ,  , A1L717,  ,  ,  ,  );


--A1L750 is x_rand~537
A1L750 = x_rand[27] # !KEY[0];


--y_rand[24] is y_rand[24]
y_rand[24] = DFFEAS(A1L836, E1__clk0,  ,  , A1L717,  ,  ,  ,  );


--A1L835 is y_rand~467
A1L835 = KEY[0] & y_rand[24];


--x_rand[26] is x_rand[26]
x_rand[26] = DFFEAS(A1L752, E1__clk0,  ,  , A1L717,  ,  ,  ,  );


--A1L751 is x_rand~538
A1L751 = KEY[0] & x_rand[26];


--y_rand[23] is y_rand[23]
y_rand[23] = DFFEAS(A1L837, E1__clk0,  ,  , A1L717,  ,  ,  ,  );


--A1L836 is y_rand~468
A1L836 = y_rand[23] # !KEY[0];


--x_rand[25] is x_rand[25]
x_rand[25] = DFFEAS(A1L753, E1__clk0,  ,  , A1L717,  ,  ,  ,  );


--A1L752 is x_rand~539
A1L752 = x_rand[25] # !KEY[0];


--y_rand[22] is y_rand[22]
y_rand[22] = DFFEAS(A1L838, E1__clk0,  ,  , A1L717,  ,  ,  ,  );


--A1L837 is y_rand~469
A1L837 = KEY[0] & y_rand[22];


--x_rand[24] is x_rand[24]
x_rand[24] = DFFEAS(A1L754, E1__clk0,  ,  , A1L717,  ,  ,  ,  );


--A1L753 is x_rand~540
A1L753 = KEY[0] & x_rand[24];


--y_rand[21] is y_rand[21]
y_rand[21] = DFFEAS(A1L839, E1__clk0,  ,  , A1L717,  ,  ,  ,  );


--A1L838 is y_rand~470
A1L838 = y_rand[21] # !KEY[0];


--x_rand[23] is x_rand[23]
x_rand[23] = DFFEAS(A1L755, E1__clk0,  ,  , A1L717,  ,  ,  ,  );


--A1L754 is x_rand~541
A1L754 = x_rand[23] # !KEY[0];


--y_rand[20] is y_rand[20]
y_rand[20] = DFFEAS(A1L840, E1__clk0,  ,  , A1L717,  ,  ,  ,  );


--A1L839 is y_rand~471
A1L839 = KEY[0] & y_rand[20];


--x_rand[22] is x_rand[22]
x_rand[22] = DFFEAS(A1L756, E1__clk0,  ,  , A1L717,  ,  ,  ,  );


--A1L755 is x_rand~542
A1L755 = KEY[0] & x_rand[22];


--y_rand[19] is y_rand[19]
y_rand[19] = DFFEAS(A1L841, E1__clk0,  ,  , A1L717,  ,  ,  ,  );


--A1L840 is y_rand~472
A1L840 = y_rand[19] # !KEY[0];


--x_rand[21] is x_rand[21]
x_rand[21] = DFFEAS(A1L757, E1__clk0,  ,  , A1L717,  ,  ,  ,  );


--A1L756 is x_rand~543
A1L756 = x_rand[21] # !KEY[0];


--y_rand[18] is y_rand[18]
y_rand[18] = DFFEAS(A1L842, E1__clk0,  ,  , A1L717,  ,  ,  ,  );


--A1L841 is y_rand~473
A1L841 = KEY[0] & y_rand[18];


--x_rand[20] is x_rand[20]
x_rand[20] = DFFEAS(A1L758, E1__clk0,  ,  , A1L717,  ,  ,  ,  );


--A1L757 is x_rand~544
A1L757 = KEY[0] & x_rand[20];


--y_rand[17] is y_rand[17]
y_rand[17] = DFFEAS(A1L843, E1__clk0,  ,  , A1L717,  ,  ,  ,  );


--A1L842 is y_rand~474
A1L842 = y_rand[17] # !KEY[0];


--x_rand[19] is x_rand[19]
x_rand[19] = DFFEAS(A1L759, E1__clk0,  ,  , A1L717,  ,  ,  ,  );


--A1L758 is x_rand~545
A1L758 = x_rand[19] # !KEY[0];


--y_rand[16] is y_rand[16]
y_rand[16] = DFFEAS(A1L844, E1__clk0,  ,  , A1L717,  ,  ,  ,  );


--A1L843 is y_rand~475
A1L843 = KEY[0] & y_rand[16];


--x_rand[18] is x_rand[18]
x_rand[18] = DFFEAS(A1L760, E1__clk0,  ,  , A1L717,  ,  ,  ,  );


--A1L759 is x_rand~546
A1L759 = KEY[0] & x_rand[18];


--y_rand[15] is y_rand[15]
y_rand[15] = DFFEAS(A1L845, E1__clk0,  ,  , A1L717,  ,  ,  ,  );


--A1L844 is y_rand~476
A1L844 = y_rand[15] # !KEY[0];


--x_rand[17] is x_rand[17]
x_rand[17] = DFFEAS(A1L761, E1__clk0,  ,  , A1L717,  ,  ,  ,  );


--A1L760 is x_rand~547
A1L760 = x_rand[17] # !KEY[0];


--y_rand[14] is y_rand[14]
y_rand[14] = DFFEAS(A1L846, E1__clk0,  ,  , A1L717,  ,  ,  ,  );


--A1L845 is y_rand~477
A1L845 = KEY[0] & y_rand[14];


--x_rand[16] is x_rand[16]
x_rand[16] = DFFEAS(A1L762, E1__clk0,  ,  , A1L717,  ,  ,  ,  );


--A1L761 is x_rand~548
A1L761 = KEY[0] & x_rand[16];


--y_rand[13] is y_rand[13]
y_rand[13] = DFFEAS(A1L847, E1__clk0,  ,  , A1L717,  ,  ,  ,  );


--A1L846 is y_rand~478
A1L846 = y_rand[13] # !KEY[0];


--x_rand[15] is x_rand[15]
x_rand[15] = DFFEAS(A1L763, E1__clk0,  ,  , A1L717,  ,  ,  ,  );


--A1L762 is x_rand~549
A1L762 = x_rand[15] # !KEY[0];


--y_rand[12] is y_rand[12]
y_rand[12] = DFFEAS(A1L848, E1__clk0,  ,  , A1L717,  ,  ,  ,  );


--A1L847 is y_rand~479
A1L847 = KEY[0] & y_rand[12];


--x_rand[14] is x_rand[14]
x_rand[14] = DFFEAS(A1L764, E1__clk0,  ,  , A1L717,  ,  ,  ,  );


--A1L763 is x_rand~550
A1L763 = KEY[0] & x_rand[14];


--y_rand[11] is y_rand[11]
y_rand[11] = DFFEAS(A1L849, E1__clk0,  ,  , A1L717,  ,  ,  ,  );


--A1L848 is y_rand~480
A1L848 = y_rand[11] # !KEY[0];


--x_rand[13] is x_rand[13]
x_rand[13] = DFFEAS(A1L765, E1__clk0,  ,  , A1L717,  ,  ,  ,  );


--A1L764 is x_rand~551
A1L764 = x_rand[13] # !KEY[0];


--y_rand[10] is y_rand[10]
y_rand[10] = DFFEAS(A1L850, E1__clk0,  ,  , A1L717,  ,  ,  ,  );


--A1L849 is y_rand~481
A1L849 = KEY[0] & y_rand[10];


--x_rand[12] is x_rand[12]
x_rand[12] = DFFEAS(A1L766, E1__clk0,  ,  , A1L717,  ,  ,  ,  );


--A1L765 is x_rand~552
A1L765 = KEY[0] & x_rand[12];


--y_rand[9] is y_rand[9]
y_rand[9] = DFFEAS(A1L851, E1__clk0,  ,  , A1L717,  ,  ,  ,  );


--A1L850 is y_rand~482
A1L850 = y_rand[9] # !KEY[0];


--x_rand[11] is x_rand[11]
x_rand[11] = DFFEAS(A1L767, E1__clk0,  ,  , A1L717,  ,  ,  ,  );


--A1L766 is x_rand~553
A1L766 = x_rand[11] # !KEY[0];


--y_rand[8] is y_rand[8]
y_rand[8] = DFFEAS(A1L852, E1__clk0,  ,  , A1L717,  ,  ,  ,  );


--A1L851 is y_rand~483
A1L851 = KEY[0] & y_rand[8];


--x_rand[10] is x_rand[10]
x_rand[10] = DFFEAS(A1L768, E1__clk0,  ,  , A1L717,  ,  ,  ,  );


--A1L767 is x_rand~554
A1L767 = KEY[0] & x_rand[10];


--y_rand[7] is y_rand[7]
y_rand[7] = DFFEAS(A1L853, E1__clk0,  ,  , A1L717,  ,  ,  ,  );


--A1L852 is y_rand~484
A1L852 = y_rand[7] # !KEY[0];


--x_rand[9] is x_rand[9]
x_rand[9] = DFFEAS(A1L769, E1__clk0,  ,  , A1L717,  ,  ,  ,  );


--A1L768 is x_rand~555
A1L768 = x_rand[9] # !KEY[0];


--y_rand[6] is y_rand[6]
y_rand[6] = DFFEAS(A1L854, E1__clk0,  ,  , A1L717,  ,  ,  ,  );


--A1L853 is y_rand~485
A1L853 = KEY[0] & y_rand[6];


--x_rand[8] is x_rand[8]
x_rand[8] = DFFEAS(A1L770, E1__clk0,  ,  , A1L717,  ,  ,  ,  );


--A1L769 is x_rand~556
A1L769 = KEY[0] & x_rand[8];


--y_rand[5] is y_rand[5]
y_rand[5] = DFFEAS(A1L855, E1__clk0,  ,  , A1L717,  ,  ,  ,  );


--A1L854 is y_rand~486
A1L854 = y_rand[5] # !KEY[0];


--x_rand[7] is x_rand[7]
x_rand[7] = DFFEAS(A1L771, E1__clk0,  ,  , A1L717,  ,  ,  ,  );


--A1L770 is x_rand~557
A1L770 = x_rand[7] # !KEY[0];


--y_rand[4] is y_rand[4]
y_rand[4] = DFFEAS(A1L856, E1__clk0,  ,  , A1L717,  ,  ,  ,  );


--A1L855 is y_rand~487
A1L855 = KEY[0] & y_rand[4];


--x_rand[6] is x_rand[6]
x_rand[6] = DFFEAS(A1L772, E1__clk0,  ,  , A1L717,  ,  ,  ,  );


--A1L771 is x_rand~558
A1L771 = KEY[0] & x_rand[6];


--y_rand[3] is y_rand[3]
y_rand[3] = DFFEAS(A1L857, E1__clk0,  ,  , A1L717,  ,  ,  ,  );


--A1L856 is y_rand~488
A1L856 = y_rand[3] # !KEY[0];


--x_rand[5] is x_rand[5]
x_rand[5] = DFFEAS(A1L773, E1__clk0,  ,  , A1L717,  ,  ,  ,  );


--A1L772 is x_rand~559
A1L772 = x_rand[5] # !KEY[0];


--y_rand[2] is y_rand[2]
y_rand[2] = DFFEAS(A1L858, E1__clk0,  ,  , A1L717,  ,  ,  ,  );


--A1L857 is y_rand~489
A1L857 = KEY[0] & y_rand[2];