Portada

CONSTRAINT-BASED VERIFICATION IBD

SPRINGER
10 / 2010
9781441938527
Inglés

Sinopsis

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.