{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T00:51:18Z","timestamp":1725670278298},"reference-count":5,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,6,26]],"date-time":"2023-06-26T00:00:00Z","timestamp":1687737600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,6,26]],"date-time":"2023-06-26T00:00:00Z","timestamp":1687737600000},"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,26]]},"DOI":"10.1109\/newcas57931.2023.10198062","type":"proceedings-article","created":{"date-parts":[[2023,8,7]],"date-time":"2023-08-07T17:49:33Z","timestamp":1691430573000},"page":"1-2","source":"Crossref","is-referenced-by-count":0,"title":["UPF-Aware CDC Structural Verification on RTL"],"prefix":"10.1109","author":[{"given":"Diana","family":"Kalel","sequence":"first","affiliation":[{"name":"CPU division STMicroelectronics,Grenoble,France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Christophe","family":"Brignone","sequence":"additional","affiliation":[{"name":"CPU division STMicroelectronics,Grenoble,France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Irene","family":"Serre","sequence":"additional","affiliation":[{"name":"CPU division STMicroelectronics,Grenoble,France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julian","family":"Massicot","sequence":"additional","affiliation":[{"name":"CPU division STMicroelectronics,Grenoble,France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jerome","family":"Avezou","sequence":"additional","affiliation":[{"name":"Verification, Customer Success Group Synopsys,Sophia Antipolis,France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"An ASIC Low Power Primer Analysis Techniques and Specification","year":"2012","author":"chadha","key":"ref4"},{"key":"ref3","article-title":"Nextgeneration power aware CDC verification-what have we learned","author":"takara","year":"2015","journal-title":"Design and Verification Conference and Exhibition United States"},{"key":"ref5","article-title":"AdvanceTechnique to Accompolish Power Aware CDC Verification","author":"sinha","year":"2018","journal-title":"DVCon Europe"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-26287-1_15"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ASYNC.2018.00024"}],"event":{"name":"2023 21st IEEE Interregional NEWCAS Conference (NEWCAS)","start":{"date-parts":[[2023,6,26]]},"location":"Edinburgh, United Kingdom","end":{"date-parts":[[2023,6,28]]}},"container-title":["2023 21st IEEE Interregional NEWCAS Conference (NEWCAS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10198027\/10198028\/10198062.pdf?arnumber=10198062","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,28]],"date-time":"2023-08-28T17:41:42Z","timestamp":1693244502000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10198062\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,26]]},"references-count":5,"URL":"https:\/\/doi.org\/10.1109\/newcas57931.2023.10198062","relation":{},"subject":[],"published":{"date-parts":[[2023,6,26]]}}}