Generating hardware assertion checkers : for hardware verification, emulation, post-fabrication debugging and on-line monitoring /
Includes bibliographical references and index
| Main Authors: | , |
|---|---|
| Format: | |
| Language: | eng |
| Published: |
Berlin, GW : Springer,
2008
|
| Subjects: |