| 000 | 00510nam a2200109Ia 4500 | ||
|---|---|---|---|
| 008 | 230817s9999 xx 000 0 und d | ||
| 100 | _aMarc Boulé and Zeljko Zilic | ||
| 245 | 0 | _aGenerating hardware assertion checkers for hardware verification, emulation, post-fabrication debugging and on-line monitoring | |
| 650 | _aComputer science, information & general works | ||
| 856 | _uhttps://new.zodml.org/sites/default/files/2023-07/epdf.pub_generating-hardware-assertion-checkers-for-hardwar.pdf | ||
| 942 | _cEBK | ||
| 999 |
_c36387 _d36387 |
||