Erik Seligman <br/><br/>
Formal Verification: An Essential Toolkit for Modern VLSI Design, 2ed 

 -  Elsevier  2023 
<br/><br/><label>ISBN: </label>9780323956123 
<br/><br/><label>Source: </label>EBOOK 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Engineering