{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T10:55:52Z","timestamp":1730285752011,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,11]]},"DOI":"10.1109\/norchip.2016.7792922","type":"proceedings-article","created":{"date-parts":[[2016,12,24]],"date-time":"2016-12-24T08:53:48Z","timestamp":1482569628000},"page":"1-6","source":"Crossref","is-referenced-by-count":1,"title":["Automatic generation of RTL connectivity checkers from SystemC TLM and IP-XACT descriptions"],"prefix":"10.1109","author":[{"given":"Tomas","family":"Grimm","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Djones","family":"Lettnin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Hubner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Gateway for automatically routing messages between buses","year":"2011","author":"ihle","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2006.104"},{"journal-title":"Standard Structure for Packaging Integrating and Reusing IP Within Tools Flows","year":"2010","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/SAMOS.2015.7363704"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ReConFig.2014.7032552"},{"key":"ref4","first-page":"1","article-title":"Combining SystemC, IP-XACT and UML\/MARTE in model-based SoC design","author":"le tallec","year":"2011","journal-title":"2nd Workshop on Model Based Eng for Embedded Systems Design (M-BED)"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/b137175"},{"key":"ref6","article-title":"SoC Connectivity Checks - Driving Design Intent Validation","author":"bandyopadhyay","year":"2014","journal-title":"51 st Design Automation Conference (DAC)"},{"key":"ref5","article-title":"Using Formal Verification to Exhaustively Verify SoC Assemblies","author":"ranerup","year":"2013","journal-title":"Design & Verification Conference and Exhibition (DVCON'07)"},{"key":"ref8","first-page":"3","article-title":"This Car Runs on Code","volume":"46","author":"charette","year":"2009","journal-title":"IEEE Spectrum"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/MAMI.2015.7456600"},{"journal-title":"SystemC Language Reference Manual","article-title":"Open SystemC Initiative and Others","year":"2011","key":"ref2"},{"journal-title":"Tech Rep","article-title":"International Technology Roadmap for Semiconductors 2.0","year":"2015","key":"ref1"},{"journal-title":"In-vehicle Automotive Gateway ECU A Design Proposal for Low Price Vehicle","year":"2011","author":"dudu","key":"ref9"}],"event":{"name":"2016 IEEE Nordic Circuits and Systems Conference (NORCAS): NORCHIP and International Symposium of System-on-Chip (SoC)","start":{"date-parts":[[2016,11,1]]},"location":"Copenhagen, Denmark","end":{"date-parts":[[2016,11,2]]}},"container-title":["2016 IEEE Nordic Circuits and Systems Conference (NORCAS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7784514\/7792873\/07792922.pdf?arnumber=7792922","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,1,10]],"date-time":"2017-01-10T19:23:35Z","timestamp":1484076215000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7792922\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,11]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/norchip.2016.7792922","relation":{},"subject":[],"published":{"date-parts":[[2016,11]]}}}