Description
Springer Constraint-Based Verification by Jun Yuan , Carl Pixley , Adnan Aziz
Covers the methodology and state-of-the-art techniques of constrained verification, which is new and popular._x000D__x000D__x000D_It relates constrained verification with the also-hot technology called assertion-based design._x000D__x000D__x000D_Discussed and clarifies language issues, critical to both the above, which will help the implementation of these languages._x000D_ _x000D_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._x000D_