Aziz, Adnan
Constraint-Based Verification
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
Nyckelord: TECHNOLOGY & ENGINEERING / General TEC000000
- Författare
- Aziz, Adnan
- Pixley, Carl
- Yuan, Jun
- Utgivare
- Springer
- Utgivningsår
- 2006
- Språk
- en
- Utgåva
- 1
- Kategori
- Teknologi, energi, trafik
- Format
- E-bok
- eISBN (PDF)
- 9780387307848