{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T11:52:04Z","timestamp":1759146724097,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/date.2004.1268917","type":"proceedings-article","created":{"date-parts":[[2004,6,21]],"date-time":"2004-06-21T17:52:40Z","timestamp":1087840360000},"page":"642-647","source":"Crossref","is-referenced-by-count":15,"title":["Interactive cosimulation with partial evaluation"],"prefix":"10.1109","author":[{"given":"P.","family":"Schaumont","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"I.","family":"Verbauwhede","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"13","article-title":"Synopsys","volume":"1 2","year":"2002","journal-title":"Describing Synthesizable RTL in SystemC"},{"journal-title":"Open Cores AES Core","year":"0","author":"usselman","key":"11"},{"journal-title":"Baby Viterbi Decoder","year":"0","author":"stojanovic","key":"12"},{"journal-title":"Flexible and Formal Modeling of Microprocessors with Application to Retargetable Simulation","year":"2003","author":"qin","key":"3"},{"journal-title":"Compiled HW\/SW Cosimulation","year":"1996","author":"zivojnovic","key":"2"},{"journal-title":"Partial Evaluation and Automatic Program Generation","year":"1993","author":"jones","key":"1"},{"year":"0","key":"10"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1997.643400"},{"journal-title":"The Softening of Hardware","year":"2003","author":"vahid","key":"6"},{"journal-title":"Methodology for Hardware\/Software Coverification in C\/C++","year":"2000","author":"semeria","key":"5"},{"key":"4","first-page":"53","author":"benini","year":"2003","journal-title":"SystemC Cosimulation and Emulation of Multiprocessor SoC Designs"},{"key":"9","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1145\/37888.37915","article-title":"demand driven simulation: backsim","author":"smith","year":"1987","journal-title":"24th ACM\/IEEE Design Automation Conference"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/127601.127665"}],"event":{"name":". Design, Automation and Test in Europe Conference and Exhibition","acronym":"DATE-04","location":"Paris, France"},"container-title":["Proceedings Design, Automation and Test in Europe Conference and Exhibition"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8959\/28390\/01268917.pdf?arnumber=1268917","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T04:12:14Z","timestamp":1497586334000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1268917\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/date.2004.1268917","relation":{},"subject":[]}}