{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T00:13:24Z","timestamp":1725408804638},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/icdcsw.2004.1284130","type":"proceedings-article","created":{"date-parts":[[2004,6,10]],"date-time":"2004-06-10T10:19:45Z","timestamp":1086862785000},"page":"838-843","source":"Crossref","is-referenced-by-count":5,"title":["A systemC-based modular design and verification framework for C-model reuse in a HW\/SW-codesign design flow"],"prefix":"10.1109","author":[{"given":"O.","family":"Blaurock","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"2002","author":"haverinen","journal-title":"White Paper for SystemC-based Soc Communication Modeling for the OCP Protocol","key":"ref10"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1007\/978-1-4615-0369-9"},{"year":"2003","author":"m\u00fcller","article-title":"SystemC: Methodologies and Applications","key":"ref12"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1109\/DSD.2002.1115360"},{"year":"2002","key":"ref14"},{"key":"ref15","doi-asserted-by":"crossref","DOI":"10.1109\/IPDPS.2002.1016517","article-title":"Eclipse: Heterogeneous Multiprocessor Architecture for Flexible Media Processing, PDVIM'02","author":"rutten","year":"2002"},{"key":"ref16","article-title":"Design of HW\/SW embedded systems","author":"villar","year":"2001","journal-title":"Servicio de Publicaciones de la Universidad de Cantabria"},{"year":"2003","author":"ziv","article-title":"Functional Verification Environment for Object oriented Hardware Design, FDL-03","key":"ref17"},{"year":"1999","author":"chang","article-title":"Surviving the SoC revolution: a guide to platform-based design","key":"ref4"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1109\/DAC.2002.1012730"},{"year":"2003","author":"goudarze","article-title":"Object-Oriented ASIP Design and Synthesis FDL-03","key":"ref6"},{"year":"2003","key":"ref5"},{"year":"1994","author":"gajski","article-title":"Specification and Design of Embedded Systems","key":"ref8"},{"year":"2002","author":"gr\u00f6tker","article-title":"System Design with SystemC","key":"ref7"},{"year":"2003","author":"badelt","article-title":"sciPROVE: C++ Based Verification Environment for IP and SoC Design, FDL-03","key":"ref2"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1109\/ICCD.2002.1106819"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1007\/978-1-4615-4515-6"}],"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\/01284130.pdf?arnumber=1284130","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T03:56:32Z","timestamp":1497585392000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1284130\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/icdcsw.2004.1284130","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}