{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,23]],"date-time":"2026-10-23T22:59:15Z","timestamp":1792796355071,"version":"4.5.0"},"reference-count":31,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T00:00:00Z","timestamp":1648771200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T00:00:00Z","timestamp":1648771200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T00:00:00Z","timestamp":1648771200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"German Federal Ministry of Education and Research (BMBF) within the project SATiSFy","award":["16KIS0821K"],"award-info":[{"award-number":["16KIS0821K"]}],"id":[{"id":"https:\/\/ror.org\/04pz7b180","id-type":"ROR","asserted-by":"crossref"}]},{"name":"University of Bremen\u2019s Graduate School SyDe"},{"name":"German Excellence Initiative"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2022,4]]},"DOI":"10.1109\/tcad.2021.3074050","type":"journal-article","created":{"date-parts":[[2021,4,19]],"date-time":"2021-04-19T18:45:22Z","timestamp":1618857922000},"page":"1181-1185","source":"Crossref","is-referenced-by-count":7,"title":["Through the Looking Glass: Automated Design Understanding of SystemC-Based VPs at the ESL"],"prefix":"10.1109","volume":"41","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1256-4140","authenticated-orcid":false,"given":"Mehran","family":"Goli","sequence":"first","affiliation":[{"name":"Department of Mathematics and Computer Science, University of Bremen, Bremen, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9872-1740","authenticated-orcid":false,"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[{"name":"Department of Mathematics and Computer Science, University of Bremen, Bremen, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/IEEESTD.2023.10246125"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2593069.2596692"},{"key":"ref3","volume-title":"Accellera Systems Initiative","year":"2016"},{"key":"ref4","volume-title":"Freecores","author":"Ansell","year":"2019"},{"key":"ref5","first-page":"15","volume-title":"OSCI TLM-2.0 Language Reference Manual","author":"Aynsley","year":"2009"},{"key":"ref6","volume-title":"TLM-2.0 Base Protocol Checker","author":"Aynsley","year":"2019"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_36"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2024724.2024810"},{"key":"ref9","volume-title":"Better Software. Faster!: Best Practices in Virtual Prototyping","author":"De Schutter","year":"2014"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2019.00081"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-44282-8"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3388140"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3299874.3318024"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD50377.2020.00043"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2016.7753303"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2889665"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18072.2020.9218613"},{"key":"ref18","first-page":"1","article-title":"SystemC-clang: An open-source framework for analyzing mixed-abstraction SystemC models","volume-title":"Proc. Forum Specification Design Lang. (FDL)","author":"Kaushik"},{"key":"ref19","first-page":"169","article-title":"Design structure analysis and transaction recording in systemc designs: A minimal-intrusive approach","volume-title":"Proc. Forum Specification Design Lang. (FDL)","author":"Klingauf"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2014.199"},{"key":"ref21","first-page":"1","article-title":"LLVM and Clang: Next generation compiler technology","volume-title":"Proc. BSD Conf.","author":"Lattner"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1879021.1879032"},{"key":"ref23","volume-title":"Lzw-Encoder","year":"2019"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/VLSISOC.2010.5642665"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/LES.2014.2320556"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/2906363.2906365"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ReCoSoC.2014.6860690"},{"key":"ref28","first-page":"564","article-title":"Transaction based pre-to-post silicon validation","volume-title":"Proc. Design Autom. Conf. (DAC)","author":"Singerman"},{"key":"ref29","volume-title":"SystemPerl","author":"Snyder","year":"2019"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.3390\/s150510399"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2015.7542267"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/43\/9737555\/09406811.pdf?arnumber=9406811","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,9]],"date-time":"2024-01-09T17:57:19Z","timestamp":1704823039000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9406811\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,4]]},"references-count":31,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2021.3074050","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"value":"0278-0070","type":"print"},{"value":"1937-4151","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,4]]}}}