{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T02:45:59Z","timestamp":1725417959158},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,8]]},"DOI":"10.1109\/sbcci.2018.8533247","type":"proceedings-article","created":{"date-parts":[[2018,11,16]],"date-time":"2018-11-16T02:32:18Z","timestamp":1542335538000},"page":"4849-4854","source":"Crossref","is-referenced-by-count":1,"title":["A Distributed Functional Verification Environment for the Design of System-on-Chip in Heterogeneous Architectures"],"prefix":"10.1109","author":[{"given":"Thiago W B","family":"Silva","sequence":"first","affiliation":[]},{"given":"Daniel C","family":"Morais","sequence":"additional","affiliation":[]},{"given":"Halamo G R","family":"Andrade","sequence":"additional","affiliation":[]},{"given":"Felipe C A","family":"Nunes","sequence":"additional","affiliation":[]},{"given":"Elmar Uwe","family":"Kurt Melcher","sequence":"additional","affiliation":[]},{"given":"Antonio Marcus","family":"Nogueira Lima","sequence":"additional","affiliation":[]},{"given":"Alisson V","family":"Brito","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.29292\/jics.v11i3.440"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1016568.1016592"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1145\/1278480.1278527","article-title":"Formal techniques for systemc verification; position paper","author":"vardi","year":"2007","journal-title":"2007 44th ACM\/IEEE Design Automation Conference"},{"key":"ref13","first-page":"75","article-title":"systemc - a modeling platform supporting multiple design abstractions","author":"panda","year":"2001","journal-title":"International Symposium on System Synthesis (IEEE Cat No 01EX526) ISSS-01"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2435227.2435257"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2005.1487900"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.180"},{"key":"ref17","first-page":"23","article-title":"Certi, an open source rti, why and how","author":"noulard","year":"2009","journal-title":"Spring Simulation Interoperability Workshop"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/DS-RT.2013.18"},{"journal-title":"IEEE Standard for Modeling and Simulation (M&S) High Level Architecture (HLA)– Federate Interface Specification","first-page":"1","year":"2010","key":"ref19"},{"journal-title":"IEEE Standard for Standard SystemC Language Reference Manual","first-page":"1","year":"2012","key":"ref4"},{"journal-title":"Avalon Interface Specifications","year":"2017","key":"ref27"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/MDAT.2017.2729938"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/CICC.2005.1568608"},{"journal-title":"IEEE Standard for Modeling and Simulation (M&S) High Level Architecture (HLA)- Framework and Rules","first-page":"1","year":"2010","key":"ref5"},{"key":"ref8","first-page":"69","article-title":"A modular Building Controls Virtual Test Bed for the integration of heterogeneous systems","author":"wetter","year":"2008","journal-title":"Proceedings of the 3rd SimBuild Conference"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/MDAT.2015.2427260"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2017.2729341"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/DS-RT.2013.14"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-0302-6"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/DS-RT.2015.16"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/LANOMS.2015.7332676"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/s10617-016-9178-0"},{"journal-title":"Certi","year":"2016","key":"ref24"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/SBESC.2016.021"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2001.990517"},{"key":"ref25","article-title":"Design and implementation of a hla rti prototype at onera","author":"siron","year":"1998","journal-title":"1998 Fall Simulation Interoperability Workshop 98F-SIW-036"}],"event":{"name":"2018 31st Symposium on Integrated Circuits and Systems Design (SBCCI)","start":{"date-parts":[[2018,8,27]]},"location":"Bento Goncalves","end":{"date-parts":[[2018,8,31]]}},"container-title":["2018 31st Symposium on Integrated Circuits and Systems Design (SBCCI)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8513831\/8533220\/08533247.pdf?arnumber=8533247","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,26]],"date-time":"2022-01-26T17:10:15Z","timestamp":1643217015000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8533247\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,8]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/sbcci.2018.8533247","relation":{},"subject":[],"published":{"date-parts":[[2018,8]]}}}