@conference {750,
	title = {Verification of FPGA Internal Resources},
	booktitle = {6th IEEE International Symposium on Intelligent Signal Processing (WISP 2009)},
	year = {2009},
	month = {09/2009},
	pages = {137-142},
	author = {Alfredo Gardel and Ignacio Bravo and Jose L. Lazaro and Javier Bali{\~n}as and {\'A}lvaro Hern{\'a}ndez}
}
