Bisher 114,99 €**
112,99 €
versandkostenfrei*

inkl. MwSt.
**Früherer Preis
Sofort lieferbar
56 °P sammeln
    Gebundenes Buch

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.…mehr

Produktbeschreibung
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.

  • Produktdetails
  • Verlag: Springer / Springer US / Springer, Berlin
  • Artikelnr. des Verlages: 11054849
  • Erscheinungstermin: Februar 2006
  • Englisch
  • Abmessung: 241mm x 165mm x 20mm
  • Gewicht: 576g
  • ISBN-13: 9780387259475
  • ISBN-10: 0387259473
  • Artikelnr.: 20752588
Autorenporträt
Jun Yuan, Atrenta, Inc., San Jose, CA, USA / Carl Pixley, Synopsys, Inc., Hillsboro, OR, USA / Adnan Aziz, The University of Texas, Austin, TX, USA
Inhaltsangabe
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.