{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,15]],"date-time":"2025-03-15T04:07:04Z","timestamp":1742011624008,"version":"3.38.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/icdcsw.2004.1284128","type":"proceedings-article","created":{"date-parts":[[2004,6,10]],"date-time":"2004-06-10T14:19:45Z","timestamp":1086877185000},"page":"824-830","source":"Crossref","is-referenced-by-count":0,"title":["Towards a higher level of abstraction in hardware\/software co-simulation"],"prefix":"10.1109","author":[{"given":"H.M.","family":"AbdElSalam","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Kobayashi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K.","family":"Sakanushi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Y.","family":"Takeuchi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Imai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","first-page":"8","article-title":"Designers Turn to new methods for Hardware\/Software Co-verification","volume-title":"EDN System Design Series, part II, Available","author":"Andrews"},{"article-title":"A Methodology for Virtual Hardware\/Software Integration","volume-title":"Mentor Graphics Technical papers","author":"Leef","key":"ref2"},{"volume-title":"SpecC. Available","key":"ref3"},{"volume-title":"SystemC. Available","key":"ref4"},{"key":"ref5","first-page":"405","article-title":"Methodology for Hardware\/Software Co-verification in C\/C++","volume-title":"Proceedings of ASP-DAC","author":"S\u00e9m\u00e9ria"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/dac.2000.855343"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/date.2003.1253666"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2003.1253598"},{"key":"ref9","first-page":"150","article-title":"RTOS Modeling Using SystemC","volume-title":"Proceedings of IWSOC","author":"AbdElSalam"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/0-306-48734-9_21"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2000.878319"},{"volume-title":"Intel 8051 Instruction set & architecture Manual. Available","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/PRDC.2001.992719"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/5.293155"}],"event":{"name":"24th International Conference on Distributed Computing Systems Workshops, 2004. Proceedings.","start":{"date-parts":[[2004,3,24]]},"location":"Hachioji, Tokyo, Japan","end":{"date-parts":[[2004,3,24]]}},"container-title":["24th International Conference on Distributed Computing Systems Workshops, 2004. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9027\/28651\/01284128.pdf?arnumber=1284128","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,14]],"date-time":"2025-03-14T05:58:18Z","timestamp":1741931898000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1284128\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/icdcsw.2004.1284128","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}