{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,29]],"date-time":"2025-12-29T22:12:53Z","timestamp":1767046373785},"reference-count":18,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T00:00:00Z","timestamp":1687219200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T00:00:00Z","timestamp":1687219200000},"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,6,20]]},"DOI":"10.1109\/isvlsi59464.2023.10238514","type":"proceedings-article","created":{"date-parts":[[2023,9,6]],"date-time":"2023-09-06T17:23:19Z","timestamp":1694020999000},"page":"1-6","source":"Crossref","is-referenced-by-count":3,"title":["Formal Temporal Characterization of Register Vulnerability in Digital Circuits"],"prefix":"10.1109","author":[{"given":"Damiano","family":"Zuccal\u00e0","sequence":"first","affiliation":[{"name":"STMicroelectronics, 850 Rue Jean Monnet,Crolles Cedex,France,38926"}]},{"given":"Jean-Marc","family":"Daveau","sequence":"additional","affiliation":[{"name":"STMicroelectronics, 850 Rue Jean Monnet,Crolles Cedex,France,38926"}]},{"given":"Philippe","family":"Roche","sequence":"additional","affiliation":[{"name":"STMicroelectronics, 850 Rue Jean Monnet,Crolles Cedex,France,38926"}]},{"given":"Katell","family":"Morin-Allory","sequence":"additional","affiliation":[{"name":"Univ. Grenoble Alpes, CNRS, Grenoble INP**Institute of Engineering Univ. Grenoble Alpes, TIMA,Grenoble,France,38000"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/IOLTS.2005.8"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2009.5090716"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2007.371236"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/DFT.2009.21"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/10722167_15"},{"key":"ref10","article-title":"A toolbox for counter-example analysis and optimization","author":"brayton","year":"2013","journal-title":"IWLS"},{"year":"2022","key":"ref2","article-title":"Spyglass"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.microrel.2021.114135"},{"journal-title":"AMBA AHB Protocol Specification","year":"2018","key":"ref17"},{"journal-title":"Designware DW_apb_ssi Databook","year":"2015","key":"ref16"},{"journal-title":"Design of AMBA Based AHB2APB Bridge","year":"2010","author":"vani","key":"ref18"},{"journal-title":"Mathematical foundations of automata theory","year":"2022","author":"pin","key":"ref8"},{"journal-title":"The Power of Assertions in SystemVerilog","year":"2014","author":"havliceck","key":"ref7"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-08679-3_8"},{"journal-title":"Principles of Functional Verification","year":"2004","author":"meyer","key":"ref4"},{"year":"2022","key":"ref3","article-title":"Jaspergold"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/IOLTS52814.2021.9486705"},{"article-title":"Functional verification study-2022","year":"2022","author":"foster","key":"ref5"}],"event":{"name":"2023 IEEE Computer Society Annual Symposium on VLSI (ISVLSI)","start":{"date-parts":[[2023,6,20]]},"location":"Foz do Iguacu, Brazil","end":{"date-parts":[[2023,6,23]]}},"container-title":["2023 IEEE Computer Society Annual Symposium on VLSI (ISVLSI)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10238464\/10238482\/10238514.pdf?arnumber=10238514","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,25]],"date-time":"2023-09-25T18:01:57Z","timestamp":1695664917000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10238514\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,20]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/isvlsi59464.2023.10238514","relation":{},"subject":[],"published":{"date-parts":[[2023,6,20]]}}}