
Generating Hardware Assertion Checkers
Assertion-based design is a powerful new paradigm that is facilitating quality improvement in electronic design.
- Undertitel
- For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring
- Författare
- Marc Boulé, Zeljko Zilic
- Upplaga
- 1st ed. Softcover of orig. ed. 2008
- ISBN
- 9789048179220
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2010-10-19
- Förlag
- Springer
- Sidor
- 280