01339nam a2200337 i 4500 MY-KuUP 20260603114517.0 a||||fo|||| 001 0 cr a|||||||||| 260401t20232023mau||||fo|||| 001 0 eng d 9780323956123 ebook eng UMPSA rda TK7874.75 .S45 2023 Seligman, Erik, author. Formal verification : an essential toolkit for modern VLSI design / Erik Seligman, Tom Schubert, M V Achutha Kiran Kumar Second edition Cambridge, MA : Morgan Kaufmann, 2023 ©2023 1 online resource rdacontent text rdamedia computer rdacarrier online resource rda Science Direct PDF Includes bibliographical references and index Integrated circuits Very large scale integration Design and construction Schubert, Tom, author. Kumar, M V Achutha Kiran, author. https://www-sciencedirect-com.libraryumpsa.idm.oclc.org/book/monograph/9780323956123/formal-verification Off-Campus link https://www.sciencedirect.com/book/monograph/9780323956123/formal-verification Click here to access (Direct Link) lcc EBOOK 0 0 lcc 0 0 NFIC 20000 20000 2026-04-01 652.20 0 TK7874.75 .S45 2023 E000005197 2026-04-01 11:12:15 1 652.20 2026-04-01 EBOOK 104458 104464