Ebook: Constraint-Based Verification

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 methods. The goal is to show how constraints, or assertions, can be used toward automating the generation of testbenches, resulting in a seamless verifcation flow. Topics such as verification coverage, and connection with assertion-based verification are also covered.

Constraint-Based Verification is written for verification engineers, as well as researchers - it explains both methodological and technical issues. Particular stress is given to the latest advances in functional verification.

---

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 methods.  The goal is to show how constraints, or assertions, can be used toward automating the generation of testbenches, resulting in a seamless verifcation flow.  Topics such as verification coverage, and connection with assertion-based verification are also covered.

Constraint-Based Verification is written for verification engineers, as well as researchers - it explains both methodological and technical issues.  Particular stress is given to the latest advances in functional verification. 

---

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 methods.  The goal is to show how constraints, or assertions, can be used toward automating the generation of testbenches, resulting in a seamless verifcation flow.  Topics such as verification coverage, and connection with assertion-based verification are also covered.

Constraint-Based Verification is written for verification engineers, as well as researchers - it explains both methodological and technical issues.  Particular stress is given to the latest advances in functional verification. 

Content:
Front Matter....Pages i-xii
Introduction....Pages 1-23
Constrained Random Simulation....Pages 25-35
High Level Verification Languages....Pages 37-52
Assertion Languages and Constraints....Pages 53-81
Preliminaries....Pages 83-107
Constrained Vector Generation....Pages 109-131
Constraint Simplification....Pages 133-152
More Optimizations....Pages 153-160
Constraint Synthesis....Pages 161-182
Constraint Diagnosis....Pages 183-187
Word-Level Constraint Solving....Pages 189-220
Back Matter....Pages 221-253

---

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 methods.  The goal is to show how constraints, or assertions, can be used toward automating the generation of testbenches, resulting in a seamless verifcation flow.  Topics such as verification coverage, and connection with assertion-based verification are also covered.

Constraint-Based Verification is written for verification engineers, as well as researchers - it explains both methodological and technical issues.  Particular stress is given to the latest advances in functional verification. 

Content:
Front Matter....Pages i-xii
Introduction....Pages 1-23
Constrained Random Simulation....Pages 25-35
High Level Verification Languages....Pages 37-52
Assertion Languages and Constraints....Pages 53-81
Preliminaries....Pages 83-107
Constrained Vector Generation....Pages 109-131
Constraint Simplification....Pages 133-152
More Optimizations....Pages 153-160
Constraint Synthesis....Pages 161-182
Constraint Diagnosis....Pages 183-187
Word-Level Constraint Solving....Pages 189-220
Back Matter....Pages 221-253
....