ed. by Jean Mermet <br/><br/>
VHDL for similation, synthesis and formal proof of hardware 

 - Dordrecht  Kluwer Academic  1992 
 - ix, 307p. 
 - Kluwer International Series in Engineering and Computer Science .
<br/><br/><label>ISBN: </label>0792392531 
<br/><br/><label>Dewey Class. No.: </label>621.392  / N922