TY  - BOOK
AU  - Seligman,Erik
AU  - Schubert,Tom
AU  - Kumar,M V Achutha Kiran
TI  - Formal verification: an essential toolkit for modern VLSI design 
SN  - 9780323956123
PY  - 2023///
CY  - Cambridge, MA
PB  - Morgan Kaufmann
KW  - Integrated circuits
KW  - Very large scale integration
KW  - Design and construction
N1  - Includes bibliographical references and index
UR  - https://www-sciencedirect-com.libraryumpsa.idm.oclc.org/book/monograph/9780323956123/formal-verification
UR  - https://www.sciencedirect.com/book/monograph/9780323956123/formal-verification
ER  -