
Generating Hardware Assertion Checkers
Assertion-based design is a powerful new paradigm that is facilitating quality improvement in electronic design.
- Alaotsikko
- For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring
- Kirjailija
- Marc Boulé, Zeljko Zilic
- Painos
- 2008 ed.
- ISBN
- 9781402085857
- Kieli
- englanti
- Paino
- 446 grammaa
- Julkaisupäivä
- 3.7.2008
- Kustantaja
- Springer-Verlag New York Inc.
- Sivumäärä
- 280