Formal verification : an essential toolkit for modern VLSI design /: an essential toolkit for modern VLSI design. (2023)

• Record Type: Book
• Further Information: Note: Erik Seligman, Tom Schubert, M.V. Achutha Kiran Kumar.
• Authors: Seligman, Erik; Schubert, E. Thomas, 1959-; Kumar, M. V. Achutha Kiran
• Contents: Formal verification: from dreams to reality Basic formal verification algorithms Introduction to SystemVerilog Assertions Formal property verification Effective formal property verification for design exercise Effective FPV for verification Formal property verification apps for specific problems Formal equivalence verification Formal verification’s greatest bloopers: the danger of false positives Dealing with complexity Formal signoff on real projects Your new FV-aware lifestyle
• Edition: Second edition
• Publisher Details: Amsterdam : Academic Press
• Publication Date: 2023
• Extent: 1 online resource (352 pages)
• Subjects: 621.395; Integrated circuits -- Very large scale integration -- Design; Integrated circuits -- Verification
• Languages: English
• ISBNs: 9780323956130
• Related ISBNs: 9780323956123
• Notes: Note: Description based on CIP data; resource not viewed.
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.