Tallenna
Creating Assertion-Based IP
Kirjailija:
sidottu, 2007
englanti
This book presents formal testplanning guidelines with examples focused on creating assertion-based verification IP. It demonstrates a systematic process for formal specification and formal testplanning and is the first book published on this subject.
- Kirjailija
- Harry D. Foster, Adam C. Krolnik
- Painos
- 2008 ed.
- ISBN
- 9780387366418
- Kieli
- englanti
- Paino
- 446 grammaa
- Julkaisupäivä
- 26.11.2007
- Kustantaja
- Springer-Verlag New York Inc.
- Sivumäärä
- 318
