Formal verification :
Seligman, Erik,
Formal verification : an essential toolkit for modern VLSI design / Essential toolkit for modern VLSI design Essential toolkit for modern very large-scale integration design Erik Seligman, Tom Schubert, M.V. Achutha Kiran Kumar. - Amsterdam ; Boston : Elsevier/MK, Morgan Kaufmann is an imprint of Elsevier, [2015] ©2015 ©2015 - xvii, 353 pages : illustrations ; 24 cm.
Includes bibliographical references and index.
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
'Formal Verification' presents practical approaches for design and validation, with hands-on advice for working engineers integrating these techniques into their work. Building on a basic knowledge of System Verilog, this book demystifies FV and presents the practical applications that are bringing it into mainstream design and validation processes at Intel and other companies.
9780128007273 0128007273
2015937985
Electronic circuits
Integrated circuits
Verilog (Computer hardware description language)
Electronic circuits
Integrated circuits
Verilog (Computer hardware description language)--Testing.--Very large scale integration--Design and construction.--Testing.--Very large scale integration--Design and construction.
621.3 SEL
Formal verification : an essential toolkit for modern VLSI design / Essential toolkit for modern VLSI design Essential toolkit for modern very large-scale integration design Erik Seligman, Tom Schubert, M.V. Achutha Kiran Kumar. - Amsterdam ; Boston : Elsevier/MK, Morgan Kaufmann is an imprint of Elsevier, [2015] ©2015 ©2015 - xvii, 353 pages : illustrations ; 24 cm.
Includes bibliographical references and index.
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
'Formal Verification' presents practical approaches for design and validation, with hands-on advice for working engineers integrating these techniques into their work. Building on a basic knowledge of System Verilog, this book demystifies FV and presents the practical applications that are bringing it into mainstream design and validation processes at Intel and other companies.
9780128007273 0128007273
2015937985
Electronic circuits
Integrated circuits
Verilog (Computer hardware description language)
Electronic circuits
Integrated circuits
Verilog (Computer hardware description language)--Testing.--Very large scale integration--Design and construction.--Testing.--Very large scale integration--Design and construction.
621.3 SEL