{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,6]],"date-time":"2026-05-06T14:18:22Z","timestamp":1778077102549,"version":"3.51.4"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1109\/fmcad.2016.7886671","type":"proceedings-article","created":{"date-parts":[[2017,3,28]],"date-time":"2017-03-28T02:52:44Z","timestamp":1490669564000},"page":"133-140","source":"Crossref","is-referenced-by-count":5,"title":["A consistency checker for memory subsystem traces"],"prefix":"10.1109","author":[{"given":"Matthew","family":"Naylor","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simon W.","family":"Moore","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alan","family":"Mujumdar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1979.1675439"},{"key":"ref11","article-title":"The SPARC Architecture Manual Version","volume":"9","author":"weaver","year":"2003"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993520"},{"key":"ref13","year":"0","journal-title":"Homepage of PPCMEM\/ARMMEM a tool for exploring the POWER and ARM memory models"},{"key":"ref14","article-title":"Axe Manual Version 1.4","author":"naylor","year":"0"},{"key":"ref15","year":"0","journal-title":"Homepage of the BERI processor (Bluespec Enhanced RISC Instructions)"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228584"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1594834.1480929"},{"key":"ref18","first-page":"41","article-title":"Litmus: Running Tests Against Hardware","author":"alglave","year":"2011","journal-title":"TACAS"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2015.7340479"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1073970.1074011"},{"key":"ref3","first-page":"114","article-title":"TSOtool: A Program for Verifying Memory Systems Using the Memory Consistency Model","author":"hangal","year":"2004","journal-title":"ISCA"},{"key":"ref6","year":"0","journal-title":"Homepage of TSOTool a program for verifying memory systems using the memory consistency model"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2006.1598123"},{"key":"ref8","first-page":"503","article-title":"Fast and Generalized Polynomial Time Memory Consistency Verification","author":"roy","year":"2006","journal-title":"CAV"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/181014.181328"},{"key":"ref2","author":"manovit","year":"2006","journal-title":"Testing memory consistency of shared-memory multiprocessors"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/2.546611"},{"key":"ref9","article-title":"The Rocket Chip Generator","author":"asanovic","year":"2016","journal-title":"Technical Report UCB\/EECS-2016-17 University of California Berkeley"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(81)90106-X"},{"key":"ref22","author":"collier","year":"1992","journal-title":"Reasoning About Parallel Architectures"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.21236\/ADA605735"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2627752"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/1152154.1152177"}],"event":{"name":"2016 Formal Methods in Computer-Aided Design (FMCAD)","location":"Mountain View, CA, USA","start":{"date-parts":[[2016,10,3]]},"end":{"date-parts":[[2016,10,6]]}},"container-title":["2016 Formal Methods in Computer-Aided Design (FMCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7879555\/7886641\/07886671.pdf?arnumber=7886671","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,10,3]],"date-time":"2017-10-03T04:02:06Z","timestamp":1507003326000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7886671\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/fmcad.2016.7886671","relation":{},"subject":[],"published":{"date-parts":[[2016,10]]}}}