{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T04:12:50Z","timestamp":1648699970737},"reference-count":37,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"10","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2012,10]]},"DOI":"10.1109\/tcad.2012.2205148","type":"journal-article","created":{"date-parts":[[2012,9,15]],"date-time":"2012-09-15T05:37:50Z","timestamp":1347687470000},"page":"1572-1585","source":"Crossref","is-referenced-by-count":3,"title":["Model-Based Virtual Prototype Acceleration"],"prefix":"10.1109","volume":"31","author":[{"given":"Jens","family":"Gladigau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Haubelt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00fcrgen","family":"Teich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1998.144343"},{"key":"ref32","first-page":"428","article-title":"Symbolic model checking: <formula formulatype=\"inline\"> <tex Notation=\"TeX\">$10^{20}$<\/tex><\/formula> states and beyond","author":"burch","year":"1990","journal-title":"Proc Symp Logic Comput Sci"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.4249\/scholarpedia.6477"},{"key":"ref37","first-page":"128","article-title":"Mapping actor-oriented models to TLM architectures","author":"gladigau","year":"2007","journal-title":"Proc Forum Specification Design Languages"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/RSP.2011.5929986"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/217474.217565"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1990.129849"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2011.5763121"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2012.6164943"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1049\/ip-cdt:20045098"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2004.833614"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1755888.1755896"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2006.1695899"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2003.819898"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/43.736561"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/92.931229"},{"key":"ref19","first-page":"129","article-title":"Efficient representation and simulation of model-based designs in SystemC","author":"falk","year":"2006","journal-title":"Proc Forum Specification Design Languages"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2005.193928"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2010.5457136"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2009.2026356"},{"key":"ref27","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/978-3-642-04284-3_14","volume":"310","author":"khaligh","year":"2009","journal-title":"Analysis Architectures and Modelling of Embedded Systems"},{"key":"ref6","author":"ghenassia","year":"2006","journal-title":"Transaction-Level Modeling With SystemC TLM Concepts and Applications for Embedded Systems"},{"key":"ref5","first-page":"151","article-title":"Synthesis of embedded software from synchronous dataflow specifications","volume":"21","author":"bhattacharyya","year":"1999","journal-title":"J Very Large Scale Integr Signal Process Syst"},{"key":"ref29","first-page":"1177","article-title":"Automatic generation of software TLM in multiple abstraction layers for efficient HW\/SW co-simulation","author":"wu","year":"2010","journal-title":"Proc Conf Des Autom Test Eur"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ISVLSI.2006.87"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2006.112"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"1523","DOI":"10.1109\/43.898830","article-title":"System-level design: Orthogonalization of concerns and platform-based design","volume":"19","author":"keutzer","year":"2000","journal-title":"IEEE Trans Comput -Aided Design Integr Circuits Syst"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/5.558710"},{"key":"ref9","year":"2012","journal-title":"IEEE Std 1666-2011 IEEE Standard for Standard SystemC Language Reference Manual"},{"key":"ref20","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1007\/978-3-540-24617-6_4","volume":"2931","author":"heimdahl","year":"2004","journal-title":"Formal Approaches to Software Testing"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73370-6_14"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/s10617-006-9044-6"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2003695.2003697"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/1754405.1754406"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/1-4020-7991-5_7"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2002.998382"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/43\/6303923\/06303935.pdf?arnumber=6303935","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,11,14]],"date-time":"2017-11-14T10:14:15Z","timestamp":1510654455000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6303935\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10]]},"references-count":37,"journal-issue":{"issue":"10"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2012.2205148","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"value":"0278-0070","type":"print"},{"value":"1937-4151","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,10]]}}}