Davie, Bruce S., <br/><br/>
Formal specification and verification in VLSI design / 
Bruce S. Davie. 
 - ix, 195 pages :  illustrations ;  23 cm. 
 - Edinburgh information technology series ;  8 .
<br/><br/>Includes bibliographical references (pages 184-193) and index. 
<br/><br/><label>ISBN: </label>0748601597  Hadiah 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Integrated circuits--Very large scale integration--Computer-aided design.<br/>Integrated circuits--Verification.