Seligman, Erik   TOM Schubert   Achutha Kiran Kumar <br/><br/>
Formal verification   an essential toolkit for modern VLSI design 

 - Hampshire Street  Elsevier/MK  2023 
 - xix, 405 p.  ill.   24 cm. 
<br/><br/> Includes index. 
<br/><br/><label>ISBN: </label>9780323956123 (pbk) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Electronic circuits Testing--Formal Verification Algorithms--Design and construction--Greatest Bloopers--Design Exercise--FC
<br/><br/><label>Dewey Class. No.: </label>621.395  / SEL