Seligman, Erik, <br/><br/>
Formal verification :  an essential toolkit for modern VLSI design / 
Erik Seligman, Tom Schubert, M V Achutha Kiran Kumar 
 - Second edition 
 - 1 online resource 
<br/><br/>Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>9780323956123 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Integrated circuits--Very large scale integration--Design and construction