113,95 €
113,95 €
inkl. MwSt.
Sofort per Download lieferbar
57 °P sammeln
113,95 €
113,95 €
inkl. MwSt.
Sofort per Download lieferbar

Alle Infos zum eBook verschenken
57 °P sammeln
Als Download kaufen
113,95 €
inkl. MwSt.
Sofort per Download lieferbar
57 °P sammeln
Jetzt verschenken
113,95 €
inkl. MwSt.
Sofort per Download lieferbar

Alle Infos zum eBook verschenken
57 °P sammeln
  • Format: PDF


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.


Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

  • Produktdetails
  • Verlag: Springer-Verlag GmbH
  • Seitenzahl: 254
  • Erscheinungstermin: 21. April 2006
  • Englisch
  • ISBN-13: 9780387307848
  • Artikelnr.: 37287301
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.