{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T08:21:24Z","timestamp":1725524484525},"reference-count":6,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,11]]},"DOI":"10.1109\/apccas.2008.4746258","type":"proceedings-article","created":{"date-parts":[[2009,1,16]],"date-time":"2009-01-16T10:24:53Z","timestamp":1232101493000},"page":"1268-1271","source":"Crossref","is-referenced-by-count":1,"title":["RaceCheck: A race logic audit program for ESL-based soc designs"],"prefix":"10.1109","author":[{"given":"Terence","family":"Chan","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/APCCAS.2006.342305"},{"journal-title":"IEEE Standard SystemC Language Reference Manual","year":"2005","key":"2"},{"year":"1800","key":"1","article-title":"ieee standard for systemverilog - unified hardware design, specification and verification language"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/APCCAS.2004.1412695"},{"year":"0","key":"4"}],"event":{"name":"APCCAS 2008 - 2008 IEEE Asia Pacific Conference on Circuits and Systems (APCCAS)","start":{"date-parts":[[2008,11,30]]},"location":"Macao, China","end":{"date-parts":[[2008,12,3]]}},"container-title":["APCCAS 2008 - 2008 IEEE Asia Pacific Conference on Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4723905\/4745943\/04746258.pdf?arnumber=4746258","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T10:51:01Z","timestamp":1602672661000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/4746258"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,11]]},"references-count":6,"URL":"https:\/\/doi.org\/10.1109\/apccas.2008.4746258","relation":{},"subject":[],"published":{"date-parts":[[2008,11]]}}}