@inproceedings {1062,
	title = {A Framework for Automated Static Analysis of VHDL},
	booktitle = {First Asian Pacific Conference on Hardware Description Languages, Standards and Applications (APCHDLSA{\textquoteright}93)},
	year = {1993},
	month = {12/1993},
	pages = {71-75},
	publisher = {The University of Queensland},
	organization = {The University of Queensland},
	address = {Brisbane, QLD, Australia},
	author = {S. Olcoz and J.M. Colom}
}

