Kumar M.Tech, M V Achutha Kiran 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
Formal Verification: An Essential Toolkit for Modern VLSI Design
Seligman MS, Erik Schubert, Tom Kumar M.Tech, M V Achutha Kiran
Morgan Kaufmann /2015-08-28 Paperback / 408 Pages
isbn-10: 0128007273 / isbn-13: 9780128007273
