{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:58:50Z","timestamp":1729645130245,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,12]]},"DOI":"10.1109\/icecs.2013.6815546","type":"proceedings-article","created":{"date-parts":[[2014,5,16]],"date-time":"2014-05-16T19:05:07Z","timestamp":1400267107000},"page":"843-846","source":"Crossref","is-referenced-by-count":0,"title":["Pre-silicon verification of multiprocessor SoCs: The case for on-the-fly coherence\/consistency checking"],"prefix":"10.1109","author":[{"given":"Olav P.","family":"Henschel","sequence":"first","affiliation":[]},{"given":"Luiz C. V.","family":"dos Santos","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2008.4771799"},{"year":"0","key":"18"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/1073970.1074011"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2009.4798276"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/2.546611"},{"key":"14","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1145\/1028176.1006710","article-title":"TSOtool","volume":"32","author":"hangal","year":"2004","journal-title":"ACM SIGARCH Computer Architecture News"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2012.6176424"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2013.138"},{"key":"3","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1145\/2024723.2000108","article-title":"Dark silicon and the end of multicore scaling","volume":"39","author":"esmaeilzadeh","year":"2011","journal-title":"ACM SIGARCH Computer Architecture News"},{"journal-title":"Big LITTLE Processing","year":"0","key":"2"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/2463209.2488776"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2011.41"},{"key":"7","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1007\/11817963_46","article-title":"Fast and generalized polynomial time memory consistency verification","author":"roy","year":"2006","journal-title":"Proc of Int Conf on Computer Aided Verification (CAV)"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2009.4798278"},{"journal-title":"Samsung Galaxy S4","year":"0","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/JSSC.2007.910957"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2006.1598123"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539794279614"}],"event":{"name":"2013 IEEE 20th International Conference on Electronics, Circuits, and Systems (ICECS)","start":{"date-parts":[[2013,12,8]]},"location":"Abu Dhabi, United Arab Emirates","end":{"date-parts":[[2013,12,11]]}},"container-title":["2013 IEEE 20th International Conference on Electronics, Circuits, and Systems (ICECS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6810206\/6815321\/06815546.pdf?arnumber=6815546","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,10]],"date-time":"2019-08-10T11:09:50Z","timestamp":1565435390000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6815546\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,12]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/icecs.2013.6815546","relation":{},"subject":[],"published":{"date-parts":[[2013,12]]}}}