de2_default.map.eqn

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

--x_rand[4] is x_rand[4]
x_rand[4] = DFFEAS(A1L774, E1__clk0,  ,  , A1L717,  ,  ,  ,  );


--A1L773 is x_rand~560
A1L773 = KEY[0] & x_rand[4];


--y_rand[1] is y_rand[1]
y_rand[1] = DFFEAS(A1L859, E1__clk0,  ,  , A1L717,  ,  ,  ,  );


--A1L858 is y_rand~490
A1L858 = y_rand[1] # !KEY[0];


--x_rand[3] is x_rand[3]
x_rand[3] = DFFEAS(A1L775, E1__clk0,  ,  , A1L717,  ,  ,  ,  );


--A1L774 is x_rand~561
A1L774 = x_rand[3] # !KEY[0];


--y_rand[0] is y_rand[0]
y_rand[0] = DFFEAS(y_low_bit, E1__clk0,  ,  , A1L717, VCC,  ,  , !KEY[0]);


--A1L859 is y_rand~491
A1L859 = KEY[0] & y_rand[0];


--x_rand[2] is x_rand[2]
x_rand[2] = DFFEAS(A1L776, E1__clk0,  ,  , A1L717,  ,  ,  ,  );


--A1L775 is x_rand~562
A1L775 = KEY[0] & x_rand[2];


--y_low_bit is y_low_bit
y_low_bit = y_rand[28] $ y_rand[26];


--x_rand[1] is x_rand[1]
x_rand[1] = DFFEAS(A1L777, E1__clk0,  ,  , A1L717,  ,  ,  ,  );


--A1L776 is x_rand~563
A1L776 = x_rand[1] # !KEY[0];


--x_rand[0] is x_rand[0]
x_rand[0] = DFFEAS(x_low_bit, E1__clk0,  ,  , A1L717, VCC,  ,  , !KEY[0]);


--A1L777 is x_rand~564
A1L777 = KEY[0] & x_rand[0];


--x_low_bit is x_low_bit
x_low_bit = x_rand[30] $ x_rand[27];


--A1L866 is y_walker[2]~1947
A1L866 = !A1L625 & (state.update_walker # state.new_walker) # !KEY[0];


--A1L432 is Select~2543
A1L432 = A1L428 # state.update_walker & !A1L626 & A1L429;


--A1L433 is Select~2544
A1L433 = A1L430 # state.update_walker & !A1L626 & A1L431;


--A1L717 is x_rand[0]~565
A1L717 = !A1L625 & (state.update_walker # state.new_walker) # !KEY[0];


--A1L636 is data_reg~144
A1L636 = data_reg[15] # !A1L625 & (state.draw_walker # !state.init);


--A1L799 is x_walker~1669
A1L799 = state.update_walker & (A1L626 & A1L595) # !state.update_walker & state.new_walker;


--A1L800 is x_walker~1670
A1L800 = A1L625 & (x_walker[1]) # !A1L625 & (A1L799 # !state.update_walker & x_walker[1]);


--EXT_CLOCK is EXT_CLOCK
--operation mode is input

EXT_CLOCK = INPUT();


--KEY[1] is KEY[1]
--operation mode is input

KEY[1] = INPUT();


--KEY[2] is KEY[2]
--operation mode is input

KEY[2] = INPUT();


--SW[0] is SW[0]
--operation mode is input

SW[0] = INPUT();


--SW[1] is SW[1]
--operation mode is input

SW[1] = INPUT();


--SW[2] is SW[2]
--operation mode is input

SW[2] = INPUT();


--SW[3] is SW[3]
--operation mode is input

SW[3] = INPUT();


--SW[4] is SW[4]
--operation mode is input

SW[4] = INPUT();


--SW[5] is SW[5]
--operation mode is input

SW[5] = INPUT();


--SW[6] is SW[6]
--operation mode is input

SW[6] = INPUT();


--SW[7] is SW[7]
--operation mode is input

SW[7] = INPUT();


--SW[8] is SW[8]
--operation mode is input

SW[8] = INPUT();


--SW[9] is SW[9]
--operation mode is input

SW[9] = INPUT();


--SW[10] is SW[10]
--operation mode is input

SW[10] = INPUT();


--SW[11] is SW[11]
--operation mode is input

SW[11] = INPUT();


--SW[12] is SW[12]
--operation mode is input

SW[12] = INPUT();


--SW[13] is SW[13]
--operation mode is input

SW[13] = INPUT();


--SW[14] is SW[14]
--operation mode is input

SW[14] = INPUT();


--SW[15] is SW[15]
--operation mode is input

SW[15] = INPUT();


--SW[16] is SW[16]
--operation mode is input

SW[16] = INPUT();


--SW[17] is SW[17]
--operation mode is input

SW[17] = INPUT();


--UART_RXD is UART_RXD
--operation mode is input

UART_RXD = INPUT();


--IRDA_RXD is IRDA_RXD
--operation mode is input

IRDA_RXD = INPUT();


--OTG_INT0 is OTG_INT0
--operation mode is input

OTG_INT0 = INPUT();


--OTG_INT1 is OTG_INT1
--operation mode is input

OTG_INT1 = INPUT();


--OTG_DREQ0 is OTG_DREQ0
--operation mode is input

OTG_DREQ0 = INPUT();


--OTG_DREQ1 is OTG_DREQ1
--operation mode is input

OTG_DREQ1 = INPUT();


--TDI is TDI
--operation mode is input

TDI = INPUT();


--TCK is TCK
--operation mode is input

TCK = INPUT();


--TCS is TCS
--operation mode is input

TCS = INPUT();


--PS2_DAT is PS2_DAT
--operation mode is input

PS2_DAT = INPUT();


--PS2_CLK is PS2_CLK
--operation mode is input

PS2_CLK = INPUT();


--ENET_INT is ENET_INT
--operation mode is input

ENET_INT = INPUT();


--AUD_ADCDAT is AUD_ADCDAT
--operation mode is input

AUD_ADCDAT = INPUT();


--TD_DATA[0] is TD_DATA[0]
--operation mode is input

TD_DATA[0] = INPUT();


--TD_DATA[1] is TD_DATA[1]
--operation mode is input

TD_DATA[1] = INPUT();


--TD_DATA[2] is TD_DATA[2]
--operation mode is input

TD_DATA[2] = INPUT();


--TD_DATA[3] is TD_DATA[3]
--operation mode is input

TD_DATA[3] = INPUT();


--TD_DATA[4] is TD_DATA[4]
--operation mode is input

TD_DATA[4] = INPUT();


--TD_DATA[5] is TD_DATA[5]
--operation mode is input

TD_DATA[5] = INPUT();


--TD_DATA[6] is TD_DATA[6]
--operation mode is input

TD_DATA[6] = INPUT();


--TD_DATA[7] is TD_DATA[7]
--operation mode is input

TD_DATA[7] = INPUT();


--TD_HS is TD_HS
--operation mode is input

TD_HS = INPUT();


--TD_VS is TD_VS
--operation mode is input

TD_VS = INPUT();


--KEY[3] is KEY[3]
--operation mode is input

KEY[3] = INPUT();


--KEY[0] is KEY[0]
--operation mode is input

KEY[0] = INPUT();


--CLOCK_27 is CLOCK_27
--operation mode is input

CLOCK_27 = INPUT();


--CLOCK_50 is CLOCK_50
--operation mode is input

CLOCK_50 = INPUT();


--HEX0[0] is HEX0[0]
--operation mode is output

HEX0[0] = OUTPUT(GND);


--HEX0[1] is HEX0[1]
--operation mode is output

HEX0[1] = OUTPUT(GND);


--HEX0[2] is HEX0[2]
--operation mode is output

HEX0[2] = OUTPUT(GND);


--HEX0[3] is HEX0[3]
--operation mode is output

HEX0[3] = OUTPUT(GND);


--HEX0[4] is HEX0[4]
--operation mode is output

HEX0[4] = OUTPUT(GND);


--HEX0[5] is HEX0[5]
--operation mode is output

HEX0[5] = OUTPUT(GND);


--HEX0[6] is HEX0[6]
--operation mode is output

HEX0[6] = OUTPUT(GND);


--HEX1[0] is HEX1[0]
--operation mode is output

HEX1[0] = OUTPUT(GND);


--HEX1[1] is HEX1[1]
--operation mode is output

HEX1[1] = OUTPUT(GND);


--HEX1[2] is HEX1[2]
--operation mode is output

HEX1[2] = OUTPUT(GND);


--HEX1[3] is HEX1[3]
--operation mode is output

HEX1[3] = OUTPUT(GND);


--HEX1[4] is HEX1[4]
--operation mode is output

HEX1[4] = OUTPUT(GND);


--HEX1[5] is HEX1[5]
--operation mode is output

HEX1[5] = OUTPUT(GND);


--HEX1[6] is HEX1[6]
--operation mode is output

HEX1[6] = OUTPUT(GND);


--HEX2[0] is HEX2[0]
--operation mode is output

HEX2[0] = OUTPUT(GND);


--HEX2[1] is HEX2[1]
--operation mode is output

HEX2[1] = OUTPUT(GND);


--HEX2[2] is HEX2[2]
--operation mode is output

HEX2[2] = OUTPUT(GND);


--HEX2[3] is HEX2[3]
--operation mode is output

HEX2[3] = OUTPUT(GND);


--HEX2[4] is HEX2[4]
--operation mode is output

HEX2[4] = OUTPUT(GND);


--HEX2[5] is HEX2[5]
--operation mode is output

HEX2[5] = OUTPUT(GND);


--HEX2[6] is HEX2[6]
--operation mode is output

HEX2[6] = OUTPUT(GND);


--HEX3[0] is HEX3[0]
--operation mode is output

HEX3[0] = OUTPUT(GND);


--HEX3[1] is HEX3[1]
--operation mode is output

HEX3[1] = OUTPUT(GND);


--HEX3[2] is HEX3[2]
--operation mode is output

HEX3[2] = OUTPUT(GND);


--HEX3[3] is HEX3[3]
--operation mode is output

HEX3[3] = OUTPUT(GND);


--HEX3[4] is HEX3[4]
--operation mode is output

HEX3[4] = OUTPUT(GND);


--HEX3[5] is HEX3[5]
--operation mode is output

HEX3[5] = OUTPUT(GND);


--HEX3[6] is HEX3[6]
--operation mode is output

HEX3[6] = OUTPUT(GND);


--HEX4[0] is HEX4[0]
--operation mode is output

HEX4[0] = OUTPUT(GND);


--HEX4[1] is HEX4[1]
--operation mode is output

HEX4[1] = OUTPUT(GND);


--HEX4[2] is HEX4[2]
--operation mode is output

HEX4[2] = OUTPUT(GND);


--HEX4[3] is HEX4[3]
--operation mode is output

HEX4[3] = OUTPUT(GND);


--HEX4[4] is HEX