Birtmstle, Graham, ed. <br/><br/>
VLSI specification, verification and synthesis 

 - Bostan  Kluwer Academic  1988 
 - ix, 404 p. 
<br/><br/><label>ISBN: </label> DFL165 
<br/><br/><label>Dewey Class. No.: </label>621.381952 B539V