{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T01:32:56Z","timestamp":1725413576182},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,3]]},"DOI":"10.1109\/date.2012.6176424","type":"proceedings-article","created":{"date-parts":[[2013,2,19]],"date-time":"2013-02-19T18:16:29Z","timestamp":1361297789000},"page":"9-14","source":"Crossref","is-referenced-by-count":3,"title":["On ESL verification of memory consistency for system-on-chip multiprocessing"],"prefix":"10.1109","author":[{"given":"E. A.","family":"Rambo","sequence":"first","affiliation":[]},{"given":"O. P.","family":"Henschel","sequence":"additional","affiliation":[]},{"given":"Luiz C. V.","family":"dos Santos","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","article-title":"Efficient Algorithms for Verifying Memory Consistency","author":"manovit","year":"0","journal-title":"ACM Symposium on Parallelism in Algorithms and Architectures 2005"},{"key":"2","article-title":"TSOtool: A Program for Verifying Memory Systems Using the Memory Consistency Model","author":"hangal","year":"0","journal-title":"International Symposium on Computer Architecture 2004"},{"key":"10","doi-asserted-by":"crossref","first-page":"448","DOI":"10.1145\/1629911.1630031","article-title":"a novel verification technique to uncover out-of-order duv behaviors","author":"marcilio","year":"2009","journal-title":"2009 46th ACM\/IEEE Design Automation Conference dac"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/2.546611"},{"journal-title":"Alpha AXP Architecture Reference Manual (2nd Ed )","year":"1995","author":"sites","key":"7"},{"journal-title":"Computer Architecture A Quantitative Approach","year":"2006","author":"hennessy","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539794279614"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2009.4798276"},{"key":"9","doi-asserted-by":"crossref","DOI":"10.1007\/11817963_46","article-title":"Fast and Generalized Polynomial Time Memory Consistency Verification","author":"roy","year":"2006","journal-title":"Lecture Notes in Computer Science"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2006.1598123"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/ICECS.2011.6122332"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2006.82"}],"event":{"name":"2012 Design, Automation & Test in Europe Conference & Exhibition (DATE 2012)","start":{"date-parts":[[2012,3,12]]},"location":"Dresden","end":{"date-parts":[[2012,3,16]]}},"container-title":["2012 Design, Automation & Test in Europe Conference & Exhibition (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6171057\/6176405\/06176424.pdf?arnumber=6176424","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T07:48:22Z","timestamp":1498031302000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6176424\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,3]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/date.2012.6176424","relation":{},"subject":[],"published":{"date-parts":[[2012,3]]}}}