{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T03:44:21Z","timestamp":1725767061267},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,7]]},"DOI":"10.1109\/samos.2015.7363702","type":"proceedings-article","created":{"date-parts":[[2015,12,28]],"date-time":"2015-12-28T21:37:08Z","timestamp":1451338628000},"page":"378-383","source":"Crossref","is-referenced-by-count":3,"title":["Parallel SystemC simulation for ESL design using flexible time decoupling"],"prefix":"10.1109","author":[{"given":"Jan Henrik","family":"Weinstock","sequence":"first","affiliation":[]},{"given":"Rainer","family":"Leupers","sequence":"additional","affiliation":[]},{"given":"Gerd","family":"Ascheid","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2013.017"},{"key":"ref11","doi-asserted-by":"crossref","DOI":"10.7873\/DATE2014.295","article-title":"Automatic detection of concurrency bugs through event ordering constraints","author":"murillo","year":"2014","journal-title":"Design Automation and Test in Europe Conference (DATE)"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2010.5653632"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.4108\/icst.simutools.2012.247751"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPSW.2013.34"},{"key":"ref15","doi-asserted-by":"crossref","DOI":"10.7873\/DATE2014.204","article-title":"Time-decoupled parallel SystemC simulation","author":"weinstock","year":"2014","journal-title":"Design Automation and Test in Europe Conference (DATE)"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.1995.524546"},{"journal-title":"The GEMSCLAIM project","year":"2014","key":"ref4"},{"key":"ref3","doi-asserted-by":"crossref","DOI":"10.7873\/DATE2014.300","article-title":"May-happen-in-parallel analysis based on segment graphs for safe ESL models","author":"chen","year":"2014","journal-title":"Design Automation and Test in Europe Conference (DATE)"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2012.6164949"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2014.6865424"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2010.5456987"},{"journal-title":"Parallel and Distributed Simulation Systems","year":"1999","author":"fujimoto","key":"ref7"},{"journal-title":"OSCI SystemC 2 3","year":"2014","key":"ref2"},{"journal-title":"IEEE Standard SystemC Language Reference Manual","year":"0","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/2.982916"}],"event":{"name":"2015 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS)","start":{"date-parts":[[2015,7,19]]},"location":"Samos, Greece","end":{"date-parts":[[2015,7,23]]}},"container-title":["2015 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7358369\/7363643\/07363702.pdf?arnumber=7363702","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T14:18:49Z","timestamp":1602685129000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7363702"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/samos.2015.7363702","relation":{},"subject":[],"published":{"date-parts":[[2015,7]]}}}