Generating hardware assertion checkers : for hardware verification, emulation, post-fabrication debugging and on-line monitoring / Marc Boule, Zeljko Zilic.
"This is the first book that presents an "under-the-hood" view of generating assertion checkers, and as such provides a unique and consistent perspective on employing assertions in major areas, such as: specification, verification, debugging, on-line monitoring and design quality impr...
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Book |
| Language: | English |
| Published: |
[New York?] :
Springer,
©2008.
|
| Subjects: |
PASCAL Offsite
| Call Number: |
TK7874.58 .B68 2008
|
|---|---|
| TK7874.58 .B68 2008 | Available Place a Hold |