Seligman, Erik <br/><br/>
Formal verification:  an essential toolkit for modern VLSI design/ 
by Erik Seligman, Tom Schubert and M V Achutha Kiran Kumar 
 - London   Elsevier   c2023 
 - xix, 405p.:  ill. 
<br/><br/><label>ISBN: </label>9780323956123 
<br/><br/><label>Subjects--Topical Terms: </label><br/> Technology Engineering Applied physics Electrical, magnetic, optical, communications, computer engineering; electronics, lighting Electronics, communications engineering Electronics
<br/><br/><label>Dewey Class. No.: </label>621.3815