{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T09:39:12Z","timestamp":1729676352225,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,2]]},"DOI":"10.1109\/hpca.2013.6522350","type":"proceedings-article","created":{"date-parts":[[2013,6,8]],"date-time":"2013-06-08T15:12:52Z","timestamp":1370704372000},"page":"566-577","source":"Crossref","is-referenced-by-count":5,"title":["High-speed formal verification of heterogeneous coherence hierarchies"],"prefix":"10.1109","author":[{"given":"J. G.","family":"Beu","sequence":"first","affiliation":[]},{"given":"J. A.","family":"Poovey","sequence":"additional","affiliation":[]},{"given":"E. R.","family":"Hein","sequence":"additional","affiliation":[]},{"given":"T. M.","family":"Conte","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/54.57906"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/2.121510"},{"key":"17","article-title":"Verification of FLASH cache coherence protocol by aggregation of distributed transactions","author":"park","year":"1996","journal-title":"Proceedings of the Eighth Annual ACM Symposium on Parallel Algorithms and Architectures"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1145\/232973.233006"},{"key":"18","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-60385-9_13","article-title":"Improved probabilistic verification by hash compaction","author":"stern","year":"1995","journal-title":"Proceedings of the IFIP WG 10 5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/242223.242257"},{"key":"16","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-44798-9_17","article-title":"Parameterized verification of the FLASH cache coherence protocol by compositional model checking","author":"mcmillan","year":"2001","journal-title":"Proceedings of the 11th IFIP WG 10 5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods"},{"key":"13","article-title":"The fallacies of composition and division","author":"van eemeren","year":"1999","journal-title":"JFAK Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.1992.276232"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/1378533.1378536"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/2155620.2155647"},{"key":"21","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1145\/384286.264206","article-title":"The SGI Origin: A ccNUMA highly scalable server","volume":"25","author":"laudon","year":"1997","journal-title":"SIGARCH Comput Archit News"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.1999.744361"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/248621.248624"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.1990.134520"},{"key":"1","article-title":"The cache coherence protocol of the data diffusion machine","author":"haridi","year":"1989","journal-title":"Presented at the Proceedings of the Parallel Architectures and Languages Europe Volume I Parallel Architectures"},{"key":"10","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/BF00625968","article-title":"Better verification through symmetry","volume":"9","author":"ip","year":"1996","journal-title":"Form Methods Syst Des"},{"key":"7","doi-asserted-by":"crossref","first-page":"519","DOI":"10.1145\/1103845.1094852","article-title":"2005. X10: An object-oriented approach to non-uniform cluster computing","author":"charles","year":"2005","journal-title":"SIGPLAN Not 40"},{"key":"6","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1145\/1105734.1105747","article-title":"Multifacet's general executiondriven multiprocessor simulator (GEMS) toolset","volume":"33","author":"martin","year":"2005","journal-title":"SIGARCH Comput Archit News"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/1088149.1088181"},{"key":"4","first-page":"282","article-title":"Piranha: a scalable architecture based on single-chip multiprocessing","author":"barroso","year":"2000","journal-title":"Proceedings of 27th International Symposium on Computer Architecture (IEEE Cat No RS00201) ISCA"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/859618.859640"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2010.11"}],"event":{"name":"2013 IEEE 19th International Symposium on High Performance Computer Architecture (HPCA)","start":{"date-parts":[[2013,2,23]]},"location":"Shenzhen","end":{"date-parts":[[2013,2,27]]}},"container-title":["2013 IEEE 19th International Symposium on High Performance Computer Architecture (HPCA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6518038\/6522298\/06522350.pdf?arnumber=6522350","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T14:21:45Z","timestamp":1498054905000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6522350\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,2]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/hpca.2013.6522350","relation":{},"subject":[],"published":{"date-parts":[[2013,2]]}}}