Davie, Bruce S. <br/><br/>
Formal specification and verification in VLSI design /  [Book]. 
Bruce S. Davie.  
 - Edinburgh :   Edinburgh University Press,   1990. 
 - ix, 195 p. :   ill. ;   23 cm. 
 - Edinburgh information technology series ;  8 .
<br/><br/>Includes bibliographical references (p. 184-193) and index. 
<br/><br/><label>ISBN: </label>0748601597 
<br/><br/><label>LCCN: </label>91188267 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Integrated circuits--Verification.<br/>Integrated circuits--Very large scale integration--Computer-aided design.