
Constraint-Based Verification
Constraint-Based Verification covers an emerging field in functional verification of electronic designs, referred to as the "constraint-based verification." Topics such as verification coverage, and connection with assertion based verification, are also covered.
The book targets verification engineers as well as researchers.
- Kirjailija
- Jun Yuan, Carl Pixley, Adnan Aziz
- Painos
- Softcover reprint of hardcover 1st ed. 2006
- ISBN
- 9781441938527
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 29.10.2010
- Kustantaja
- Springer-Verlag New York Inc.
- Sivumäärä
- 254