Powered by Lingsoft® Search Expander  | |
RSSConstraint-Based Verification | ||||||||||||||||||
 |
| |||||||||||||||||
| ||||||||||||||||||
 | | | ||||||||||||||||
| Table of contents 1. Introduction 2. Constrained Random Simulation 3. High Level Verification Languages 4. Assertion Languages and Constraints 5. Preliminaries 6. Constrained Vector Generation 7. Constraint Simplification 8. More Optimizations 9. Constraint Synthesis 10. Constraint Diagnosis 11. Word-Level Constraint Solving DRM-restrictions Printing: not available Clipboard copying: not available | ||||||||||||||||||
| We do not deliver the extra material sometimes included in printed books (CDs or DVDs). | ||||||||||||||||||
|
|
