Login

Aziz, Adnan

Constraint-Based Verification

Aziz, Adnan - Constraint-Based Verification, ebook

111,60€

Ebook, PDF with Adobe DRM
ISBN: 9780387307848
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

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

Keywords: TECHNOLOGY & ENGINEERING / General TEC000000

Author(s)
 
 
Publisher
Springer
Publication year
2006
Language
en
Edition
1
Category
Technology, Energy, Traffic
Format
Ebook
eISBN (PDF)
9780387307848

Similar titles