{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T07:24:07Z","timestamp":1760081047959,"version":"3.37.0"},"reference-count":13,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,10,3]],"date-time":"2024-10-03T00:00:00Z","timestamp":1727913600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,10,3]],"date-time":"2024-10-03T00:00:00Z","timestamp":1727913600000},"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":[[2024,10,3]]},"DOI":"10.1109\/rsp64122.2024.10870908","type":"proceedings-article","created":{"date-parts":[[2025,2,11]],"date-time":"2025-02-11T18:20:48Z","timestamp":1739298048000},"page":"28-34","source":"Crossref","is-referenced-by-count":1,"title":["Transaction Level Hierarchy Guided and Functional Coverage Driven Deductive Formal Verification"],"prefix":"10.1109","author":[{"given":"Tobias","family":"Strauch","sequence":"first","affiliation":[{"name":"EDAptix e.K.,R&D,Munich,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"volume-title":"PDVL Specification v0.1","author":"Strauch","key":"ref1"},{"volume-title":"The Gallina specification language","key":"ref2"},{"volume-title":"The coq proof assistant","key":"ref3"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1109\/ATS.2000.893645"},{"key":"ref5","first-page":"30","article-title":"An Aspect and Transaction Oriented Programming, Design and Verification Language","volume-title":"IEEE Euromicro DSD 2017","author":"Strauch"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.23919\/DATE58400.2024.10546607"},{"key":"ref7","first-page":"75","article-title":"Synthesizing SVA Local Variables for Formal Verification","volume-title":"44th ACM\/IEEE Design Automation Conf (DAC)","author":"Long"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1109\/MEMCOD.2004.1459818"},{"key":"ref9","first-page":"177","article-title":"Modular Compilation of Guarded Atomic Actions","volume-title":"ACM\/IEEE Intern. Conf. on Formal Methods and Models for Codesign, MEMOCODE 2013","author":"Vijayaraghavan"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1145\/3110268"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1109\/HLDVT.2008.4695875"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.7873\/DATE.2015.0121"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1109\/HLDVT.2006.319967"}],"event":{"name":"2024 IEEE International Workshop on Rapid System Prototyping (RSP)","start":{"date-parts":[[2024,10,3]]},"location":"Raleigh, NC, USA","end":{"date-parts":[[2024,10,3]]}},"container-title":["2024 International Workshop on Rapid System Prototyping (RSP)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10870368\/10870893\/10870908.pdf?arnumber=10870908","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,12]],"date-time":"2025-02-12T06:43:56Z","timestamp":1739342636000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10870908\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,3]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/rsp64122.2024.10870908","relation":{},"subject":[],"published":{"date-parts":[[2024,10,3]]}}}