ISBN 9780323956123 books & textbook
Formal Verification: An Essential Toolkit for Modern VLSI Design
Seligman MS, Erik Schubert, Tom Kumar M.Tech, M V Achutha Kiran
Morgan Kaufmann /2023-06-09 Paperback / 424 Pages
isbn-10: 0323956122 / isbn-13: 9780323956123
