| 000 | 00554pam a2200157a 44500 | ||
|---|---|---|---|
| 008 | 160408b2008 xxu||||| |||| 00| 0 eng d | ||
| 020 | _a9781402085857 | ||
| 082 |
_a621.3815 _bB664g |
||
| 100 | _aBoule, Marc | ||
| 245 |
_aGenerating hardware assertion checkers _bfor hardware verification, emulation, post-fabrication debugging and on-line monitoring _cMarc Boule and Zeljko Zilic |
||
| 260 |
_aU.K. _bSpringer Science+Business Media _c2008 |
||
| 300 | _axx, 279p. | ||
| 650 | _aIntegrated circuits | ||
| 700 | _aZilic, Zeljko | ||
| 997 | _aA162424 C | ||
| 999 |
_c361665 _d361665 |
||