{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T11:15:40Z","timestamp":1725621340723},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,11]]},"DOI":"10.1109\/hldvt.2012.6418253","type":"proceedings-article","created":{"date-parts":[[2013,1,30]],"date-time":"2013-01-30T17:50:54Z","timestamp":1359568254000},"page":"118-123","source":"Crossref","is-referenced-by-count":3,"title":["Eliminating race conditions in system-level models by using parallel simulation infrastructure"],"prefix":"10.1109","author":[{"given":"Weiwei","family":"Chen","sequence":"first","affiliation":[]},{"given":"Che-Wei","family":"Chang","sequence":"additional","affiliation":[]},{"given":"Xu","family":"Han","sequence":"additional","affiliation":[]},{"given":"Rainer","family":"Domer","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"System Level Modeling of a H 264 Video Encoder","year":"2011","author":"chang","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/2180887.2180900"},{"journal-title":"A Parallel Transaction-Level Model of H 264 Video Decoder","year":"2011","author":"han","key":"10"},{"journal-title":"Specification and Design of An MP3 Audio Decoder","year":"2005","author":"chandraiah","key":"1"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4515-6"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1155\/2008\/647953"},{"key":"5","article-title":"Out-of-Order Parallel Simulation for ESL Design","author":"chen","year":"0","journal-title":"Proceedings of the Design Automation and Test in Europe (DATE) Conference 2012"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2011.43"},{"journal-title":"System Design with SystemC","year":"2002","author":"gro?tker","key":"9"},{"journal-title":"Design of a GSM Vocoder using SpecC Methodology","year":"1999","author":"gerstlauer","key":"8"},{"key":"11","first-page":"80","article-title":"Parallelizing SystemC Kernel for Fast Hardware Simulation on SMP Machines","author":"e","year":"2009","journal-title":"PADS '09 Proceedings of the 2009 ACM\/IEEE\/SCS 23rd Workshop on Principles of Advanced and Distributed Simulation"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/1878961.1879005"}],"event":{"name":"2012 IEEE International High Level Design Validation and Test Workshop (HLDVT)","start":{"date-parts":[[2012,11,9]]},"location":"Huntington Beach, CA, USA","end":{"date-parts":[[2012,11,10]]}},"container-title":["2012 IEEE International High Level Design Validation and Test Workshop (HLDVT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6412847\/6418230\/06418253.pdf?arnumber=6418253","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T16:49:50Z","timestamp":1490114990000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6418253\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,11]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/hldvt.2012.6418253","relation":{},"subject":[],"published":{"date-parts":[[2012,11]]}}}