{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T20:08:09Z","timestamp":1730232489440,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,11,1]],"date-time":"2019-11-01T00:00:00Z","timestamp":1572566400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,11,1]],"date-time":"2019-11-01T00:00:00Z","timestamp":1572566400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,11,1]],"date-time":"2019-11-01T00:00:00Z","timestamp":1572566400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,11]]},"DOI":"10.1109\/iccad45719.2019.8942040","type":"proceedings-article","created":{"date-parts":[[2020,1,3]],"date-time":"2020-01-03T00:44:25Z","timestamp":1578012265000},"page":"1-7","source":"Crossref","is-referenced-by-count":1,"title":["Spec&Check: An Approach to the Building of Shared-Memory Runtime Checkers for Multicore Chip Design Verification"],"prefix":"10.1109","author":[{"given":"Marleson","family":"Graf","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olav P.","family":"Henschel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rafael P.","family":"Alevato","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luiz C.V.","family":"dos Santos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/2209249.2209269"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2013.373"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/2.546611"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1979.1675439"},{"volume-title":"Reasoning About Parallel Architectures","year":"1992","author":"Collier","key":"ref5"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2006.1598123"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2008.4771799"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2011.41"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2013.138"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_25"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2694344.2694391"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3037697.3037723"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2016.7446099"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3037697.3037719"},{"volume-title":"Memory consistency models for shared-memory multiprocessors","year":"1995","author":"Gharachorloo","key":"ref15"},{"volume-title":"Sufficient Conditions for Implementing the Data-Race-Free-1 Memory Model","year":"1992","author":"Adve","key":"ref16"},{"volume-title":"Computer Architecture: A Quantitative Approach","year":"2019","author":"Hennessy","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2627752"},{"key":"ref19","article-title":"Cortex-A9 MPCore, Programmer Advice Notice, Read-after-Read Hazards","volume":"761319","year":"2011","journal-title":"ARM Reference"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2024716.2024718"}],"event":{"name":"2019 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)","start":{"date-parts":[[2019,11,4]]},"location":"Westminster, CO, USA","end":{"date-parts":[[2019,11,7]]}},"container-title":["2019 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8931666\/8942037\/08942040.pdf?arnumber=8942040","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,24]],"date-time":"2024-01-24T00:20:01Z","timestamp":1706055601000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8942040\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,11]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/iccad45719.2019.8942040","relation":{},"subject":[],"published":{"date-parts":[[2019,11]]}}}