@inproceedings{conf/eurodac/MirF94,
	title = {Re-engineering hardware specifications by exploiting design semantics.},
	author = {Salvador Mir and Nick Filer},
	booktitle = {EURO-DAC},
	crossref = {conf/eurodac/1994},
	editor = {Jean Mermet},
	pages = {336-341},
	publisher = {IEEE Computer Society},
	url = {http://dblp.uni-trier.de/db/conf/eurodac/euro-dac1994.html#MirF94},
	year = {1994},
	biburl = {http://www.bibsonomy.org/bibtex/28eafdfad7f094c6966b65f9438efc13c/dblp},
	description = {dblp},
	date = {2008-04-16}, ee = {http://doi.acm.org/10.1145/198174.198279}, isbn = {0-89791-685-9},
	keywords = {dblp }
}