{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T03:20:43Z","timestamp":1725679243758},"reference-count":15,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,7,9]],"date-time":"2023-07-09T00:00:00Z","timestamp":1688860800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,7,9]],"date-time":"2023-07-09T00:00:00Z","timestamp":1688860800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,7,9]]},"DOI":"10.1109\/dac56929.2023.10247673","type":"proceedings-article","created":{"date-parts":[[2023,9,15]],"date-time":"2023-09-15T17:31:31Z","timestamp":1694799091000},"page":"1-4","source":"Crossref","is-referenced-by-count":0,"title":["Invited: A Scalable Formal Approach for Correctness-Assured Hardware Design"],"prefix":"10.1109","author":[{"given":"Jin","family":"Yang","sequence":"first","affiliation":[{"name":"Intel Corporation,Intel Labs,Hillsboro,OR,USA,97124"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeremy","family":"Casas","sequence":"additional","affiliation":[{"name":"Intel Corporation,Intel Labs,Hillsboro,OR,USA,97124"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhenkun","family":"Yang","sequence":"additional","affiliation":[{"name":"Intel Corporation,Intel Labs,Hillsboro,OR,USA,97124"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1145\/3289602.3293910"},{"year":"2021","article-title":"DARPA Selects Researchers to Accelerate Use of Fully Homomorphic Encryption","key":"ref12"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1109\/TCAD.2005.850814"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1007\/978-3-642-17511-4_20"},{"key":"ref11","article-title":"A fully homomorphic encryption scheme","author":"gentry","year":"2009","journal-title":"Ph D Dissertation"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1109\/DAC56929.2023.10247836"},{"year":"2022","author":"hardware","article-title":"Intel’s sapphire rapids had 500 bugs, launch window moves further","key":"ref2"},{"year":"2011","author":"hardware","article-title":"Sandy bridge bug 2x costly as pentium math bug","key":"ref1"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1145\/3289602.3293910"},{"key":"ref7","article-title":"VTA: An Open Hardware-Software Stack for Deep Learning","author":"moreau","year":"2018","journal-title":"CoRR"},{"key":"ref9","article-title":"Correct-by-construction design of custom accelerator microarchitectures","author":"yang","year":"0","journal-title":"Submitted to IEEE Transactions on Computers"},{"year":"2012","article-title":"Knight capital trading disaster carries $440 million price tag","key":"ref4"},{"year":"1996","article-title":"No 33-1996: Ariane 501 - presentation of inquiry board report","key":"ref3"},{"year":"2018","author":"chappell","article-title":"The intertwined history of darpa and moore’s law, darpa 2018","key":"ref6"},{"year":"2012","article-title":"Standing general order on crash reporting","key":"ref5"}],"event":{"name":"2023 60th ACM\/IEEE Design Automation Conference (DAC)","start":{"date-parts":[[2023,7,9]]},"location":"San Francisco, CA, USA","end":{"date-parts":[[2023,7,13]]}},"container-title":["2023 60th ACM\/IEEE Design Automation Conference (DAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10247654\/10247655\/10247673.pdf?arnumber=10247673","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,2]],"date-time":"2023-10-02T17:41:15Z","timestamp":1696268475000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10247673\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,9]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/dac56929.2023.10247673","relation":{},"subject":[],"published":{"date-parts":[[2023,7,9]]}}}