@book{30976,
	author = {Mermet, Jean P.},
	title = {VHDL for simulation, synthesis, and formal proofs of hardware /},
	publisher = {Kluwer Academic,},
	year = {c1992.},
	address = {Dordrecht ;}
}