{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T19:55:22Z","timestamp":1725479722183},"reference-count":2,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,9]]},"DOI":"10.1109\/iccd.2012.6378704","type":"proceedings-article","created":{"date-parts":[[2012,12,18]],"date-time":"2012-12-18T21:52:22Z","timestamp":1355867542000},"page":"522-523","source":"Crossref","is-referenced-by-count":0,"title":["Automatic assertion extraction in gate-level simulation using GPGPUs"],"prefix":"10.1109","author":[{"given":"Shohei","family":"Ono","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Takeshi","family":"Matsumoto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Masahiro","family":"Fujita","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"2","article-title":"Utilizing Assertion Synthesis to Achieve an Automated Assertion-Based Verification Methodology for Complex Graphics Chip Designs","author":"chatterjee","year":"0","journal-title":"The 47th Design Automation Conference User Track June 2010"},{"key":"1","first-page":"1332","article-title":"GCS: High-Performance Gate-Level Simulation with GP-GPUs","author":"chatterjee","year":"2009","journal-title":"Proceedings of the Design Automation and Test in Europe (DATE)"}],"event":{"name":"2012 IEEE 30th International Conference on Computer Design (ICCD 2012)","start":{"date-parts":[[2012,9,30]]},"location":"Montreal, QC, Canada","end":{"date-parts":[[2012,10,3]]}},"container-title":["2012 IEEE 30th International Conference on Computer Design (ICCD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6362370\/6378602\/06378704.pdf?arnumber=6378704","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T00:54:28Z","timestamp":1490144068000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6378704\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9]]},"references-count":2,"URL":"https:\/\/doi.org\/10.1109\/iccd.2012.6378704","relation":{},"subject":[],"published":{"date-parts":[[2012,9]]}}}