Bisher 121,99 €**
118,99 €
versandkostenfrei*

inkl. MwSt.
**Früherer Preis
Versandfertig in 2-4 Wochen
59 °P sammeln
    Broschiertes 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
  • Softcover reprint of hardcover 1st ed. 2006
  • Seitenzahl: 272
  • Erscheinungstermin: 29. Oktober 2010
  • Englisch
  • Abmessung: 235mm x 155mm x 14mm
  • Gewicht: 410g
  • ISBN-13: 9781441938527
  • ISBN-10: 1441938524
  • Artikelnr.: 32110120
Autorenporträt
As the complexity and miniaturization of electronic hardware advances, more time and money is actually now spent on testing and verification than in the preliminary design stage. This practical-oriented guidebook covers both the fundamentals and the techniques of constraint-based testbench automation. The book compares and contrasts constraint-based verification with traditional testbench approaches: test generation (a key concept), simulation monitoring, and coverage. Related aspects of verification languages such as e/vera/PSL/OVL/SVA are also covered. On the technical side, state-of-the art algorithms of test generation, performance optimization, and randomization are explained.
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.