{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,10]],"date-time":"2025-04-10T05:12:02Z","timestamp":1744261922232},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1109\/iccd.2016.7753303","type":"proceedings-article","created":{"date-parts":[[2016,11,24]],"date-time":"2016-11-24T21:40:00Z","timestamp":1480023600000},"source":"Crossref","is-referenced-by-count":17,"title":["AIBA: An Automated Intra-cycle Behavioral Analysis for SystemC-based design exploration"],"prefix":"10.1109","author":[{"given":"Mehran","family":"Goli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jannis","family":"Stoppe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"ESL Design and Verification","author":"martin","year":"2007","journal-title":"A Prescription for Electronic System Level Methodology"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1086228.1086286"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-6149-3_6"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2004.1337573"},{"key":"ref14","author":"stallman","year":"2010","journal-title":"Debugging with GDB The GNU Source-Level Debugger"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.3390\/s150510399"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ISVLSI.2013.6654618"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2015.0677"},{"key":"ref18","author":"vahid","year":"2010","journal-title":"Digital Design with RTL Design Verilog and VHDL"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_36"},{"key":"ref3","first-page":"405","article-title":"SystemCXML: An extensible SystemC front end using XML","author":"berner","year":"2005","journal-title":"Forum on specification and Design Languages (FDL)"},{"key":"ref6","first-page":"148","article-title":"Parsyc: An efficient SystemC parser","author":"fey","year":"2004","journal-title":"Workshop on Synthesis And System Integration of Mixed Information technologies (SASIMI)"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2024724.2024810"},{"key":"ref8","first-page":"646","article-title":"Efficient automatic visualization of SystemC designs","author":"gro\u00dfe","year":"2003","journal-title":"Forum on specification and Design Languages (FDL)"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2009.5090734"},{"key":"ref2","first-page":"1","year":"2006"},{"key":"ref1","year":"0"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1879021.1879032"}],"event":{"name":"2016 IEEE 34th International Conference on Computer Design (ICCD)","location":"Scottsdale, AZ, USA","start":{"date-parts":[[2016,10,2]]},"end":{"date-parts":[[2016,10,5]]}},"container-title":["2016 IEEE 34th International Conference on Computer Design (ICCD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7742853\/7753252\/07753303.pdf?arnumber=7753303","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,12,24]],"date-time":"2016-12-24T01:58:51Z","timestamp":1482544731000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7753303\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/iccd.2016.7753303","relation":{},"subject":[],"published":{"date-parts":[[2016,10]]}}}