{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T15:39:56Z","timestamp":1729611596157,"version":"3.28.0"},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,12]]},"DOI":"10.1109\/icecs.2012.6463746","type":"proceedings-article","created":{"date-parts":[[2013,2,23]],"date-time":"2013-02-23T07:18:16Z","timestamp":1361603896000},"page":"280-283","source":"Crossref","is-referenced-by-count":0,"title":["A template for the construction of efficient checkers with full verification guarantees"],"prefix":"10.1109","author":[{"given":"Leandro S.","family":"Freitas","sequence":"first","affiliation":[]},{"given":"Gabriel A. G.","family":"Andrade","sequence":"additional","affiliation":[]},{"given":"Luiz C. V.","family":"dos Santos","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"ARMR AMBAR AXI Protocol Specification Version 2 0","year":"2010","key":"3"},{"key":"2","first-page":"211","article-title":"Formal verification of complex out-of-order pipelines by combining model-checking and theorem-proving","volume":"2404","author":"jacobi","year":"2002","journal-title":"Computer Aided Verification (CAV'02) LNCS"},{"key":"10","first-page":"98","article-title":"Formal verification of out-of-order execution with incremental flushing","volume":"1427","author":"skakkebaek","year":"1998","journal-title":"Computer Aided Verification (CAV'98) LNCS"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/2.546611"},{"key":"7","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":"6","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2006.1598123"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2008.4771799"},{"journal-title":"ESL Design and Verification A Prescription for Electronic System Level Methodology","year":"2007","author":"bailey","key":"4"},{"journal-title":"Comprehensive Functional Verification The Complete Industry Cycle","year":"2005","author":"wile","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2011.41"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/PCCC.1995.472515"}],"event":{"name":"2012 19th IEEE International Conference on Electronics, Circuits and Systems - (ICECS 2012)","start":{"date-parts":[[2012,12,9]]},"location":"Seville, Seville, Spain","end":{"date-parts":[[2012,12,12]]}},"container-title":["2012 19th IEEE International Conference on Electronics, Circuits, and Systems (ICECS 2012)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6450169\/6463499\/06463746.pdf?arnumber=6463746","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T08:07:28Z","timestamp":1498032448000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6463746\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,12]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/icecs.2012.6463746","relation":{},"subject":[],"published":{"date-parts":[[2012,12]]}}}