EBOOK

Constraint-Based Verification


€ 170,49
 
gebunden
Sofort lieferbar
Februar 2006

Beschreibung

Beschreibung

Covers the methodology and state-of-the-art techniques of constrained verification, which is new and popular.
It relates constrained verification with the also-hot technology called assertion-based design.
Discussed and clarifies language issues, critical to both the above, which will help the implementation of these languages.

Inhaltsverzeichnis

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.
EAN: 9780387259475
ISBN: 0387259473
Untertitel: 72 schwarz-weiße Abbildungen. Sprache: Englisch.
Verlag: Springer-Verlag GmbH
Erscheinungsdatum: Februar 2006
Seitenanzahl: XII
Format: gebunden
Es gibt zu diesem Artikel noch keine Bewertungen.Kundenbewertung schreiben