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

• 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 FPV For Design Exercise Effective FPV for Verification FPV “Apps” for Specific SOC Problems Formal Equivalence Verification Formal Verification’s Greatest Bloopers: The Danger of False Positives Dealing with Complexity Your New FV-Aware Lifestyle
• Publisher Details: Amsterdam : Morgan Kaufmann
• Publication Date: 2015
• Extent: 1 online resource
• Subjects: 621.395; Integrated circuits -- Very large scale integration -- Design; Integrated circuits -- Verification
• Languages: English
• ISBNs: 9780128008157
• Related ISBNs: 9780128007273
• Notes: Note: Description based on CIP data; item 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.