Constraint-Based Verification

• Main Authors: Yuan, Jun (Author), Pixley, Carl (Author), Aziz, Adnan (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Boston, MA : Springer US, 2006.
• Subjects: Engineering.; Computer-aided engineering.; Electrical engineering.; Electronic circuits.; Circuits and Systems.; Computer-Aided Engineering (CAD, CAE) and Design.; Electrical Engineering.

Constraint-Based Verifcation covers the emerging field in functional verification of electronic designs thats is now commonly referred to by this name. Topics are developed in the context of a wide range of dynamic and static verification approaches including stimulation, emulation and formal method...

Table of Contents:

• Constrained Random Simulation
• High Level Verification Languages
• Assertion Languages and Constraints
• Preliminaries
• Constrained Vector Generation
• Constraint Simplification
• More Optimizations
• Constraint Synthesis
• Constraint Diagnosis
• Word-Level Constraint Solving.