{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T10:10:38Z","timestamp":1740132638674,"version":"3.37.3"},"reference-count":12,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2023,7,1]],"date-time":"2023-07-01T00:00:00Z","timestamp":1688169600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2023,7,1]],"date-time":"2023-07-01T00:00:00Z","timestamp":1688169600000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2023,7,1]],"date-time":"2023-07-01T00:00:00Z","timestamp":1688169600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,7,1]],"date-time":"2023-07-01T00:00:00Z","timestamp":1688169600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100000266","name":"EPSRC","doi-asserted-by":"publisher","award":["EP\/V028154\/1","EP\/V038699\/1"],"award-info":[{"award-number":["EP\/V028154\/1","EP\/V038699\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-200-2737"],"award-info":[{"award-number":["CCF-200-2737"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Micro"],"published-print":{"date-parts":[[2023,7]]},"DOI":"10.1109\/mm.2023.3274993","type":"journal-article","created":{"date-parts":[[2023,5,11]],"date-time":"2023-05-11T00:53:30Z","timestamp":1683766410000},"page":"62-70","source":"Crossref","is-referenced-by-count":0,"title":["HeteroGen: Automatic Synthesis of Heterogeneous Cache Coherence Protocols"],"prefix":"10.1109","volume":"43","author":[{"ORCID":"https:\/\/orcid.org\/0009-0009-9272-0518","authenticated-orcid":false,"given":"Nicolai","family":"Oswald","sequence":"first","affiliation":[{"name":"NVIDIA, Zurich, Switzerland"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-5045-4754","authenticated-orcid":false,"given":"Vijay","family":"Nagarajan","sequence":"additional","affiliation":[{"name":"University of Utah, Salt Lake City, UT, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7013-8986","authenticated-orcid":false,"given":"Daniel J.","family":"Sorin","sequence":"additional","affiliation":[{"name":"Duke University, Durham, NC, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2933-2688","authenticated-orcid":false,"given":"Vasilis","family":"Gavrielatos","sequence":"additional","affiliation":[{"name":"Huawei, Edinburgh, U.K."}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6653-2227","authenticated-orcid":false,"given":"Theo X.","family":"Olausson","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, Cambridge, MA, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-7890-4095","authenticated-orcid":false,"given":"Reece","family":"Carr","sequence":"additional","affiliation":[{"name":"University of Edinburgh, Edinburgh, U.K."}]}],"member":"263","reference":[{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-01764-3"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2749469.2750378"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA45697.2020.00025"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA45697.2020.00077"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/PACT.2011.21"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2018.00031"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2014.6835927"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3158107"},{"key":"ref5","first-page":"390","article-title":"The Murphi verification system","author":"dill","year":"0","journal-title":"Proc 8th Int Conf Comput Aided Verification"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA53966.2022.00061"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2016.7783729"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/2627752"}],"container-title":["IEEE Micro"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielam\/40\/10167507\/10122529-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/40\/10167507\/10122529.pdf?arnumber=10122529","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,17]],"date-time":"2023-07-17T17:41:06Z","timestamp":1689615666000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10122529\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7]]},"references-count":12,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/mm.2023.3274993","relation":{},"ISSN":["0272-1732","1937-4143"],"issn-type":[{"type":"print","value":"0272-1732"},{"type":"electronic","value":"1937-4143"}],"subject":[],"published":{"date-parts":[[2023,7]]}}}