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: |
| _version_ | 1796688303122022400 |
|---|---|
| author | 255637 Boule, Marc Zilic, Zeljko |
| author_facet | 255637 Boule, Marc Zilic, Zeljko |
| author_sort | 255637 Boule, Marc |
| collection | OCEAN |
| description | Includes bibliographical references and index |
| first_indexed | 2024-03-04T23:09:06Z |
| format | |
| id | KOHA-OAI-TEST:213349 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| language | eng |
| last_indexed | 2024-03-04T23:09:06Z |
| publishDate | 2008 |
| publisher | Berlin, GW : Springer, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:2133492020-12-19T17:06:14ZGenerating hardware assertion checkers : for hardware verification, emulation, post-fabrication debugging and on-line monitoring / 255637 Boule, Marc Zilic, Zeljko Berlin, GW : Springer,2008engIncludes bibliographical references and index16PSZJBLIntegrated circuitsIntegrated circuitsError analysis (Mathematics)URN:ISBN:9781402085857 (hbk.) |
| spellingShingle | Integrated circuits Integrated circuits Error analysis (Mathematics) 255637 Boule, Marc Zilic, Zeljko Generating hardware assertion checkers : for hardware verification, emulation, post-fabrication debugging and on-line monitoring / |
| title | Generating hardware assertion checkers : for hardware verification, emulation, post-fabrication debugging and on-line monitoring / |
| title_full | Generating hardware assertion checkers : for hardware verification, emulation, post-fabrication debugging and on-line monitoring / |
| title_fullStr | Generating hardware assertion checkers : for hardware verification, emulation, post-fabrication debugging and on-line monitoring / |
| title_full_unstemmed | Generating hardware assertion checkers : for hardware verification, emulation, post-fabrication debugging and on-line monitoring / |
| title_short | Generating hardware assertion checkers : for hardware verification, emulation, post-fabrication debugging and on-line monitoring / |
| title_sort | generating hardware assertion checkers for hardware verification emulation post fabrication debugging and on line monitoring |
| topic | Integrated circuits Integrated circuits Error analysis (Mathematics) |
| work_keys_str_mv | AT 255637boulemarc generatinghardwareassertioncheckersforhardwareverificationemulationpostfabricationdebuggingandonlinemonitoring AT ziliczeljko generatinghardwareassertioncheckersforhardwareverificationemulationpostfabricationdebuggingandonlinemonitoring |