{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,28]],"date-time":"2026-03-28T22:52:47Z","timestamp":1774738367499,"version":"3.50.1"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,3]]},"DOI":"10.23919\/date48585.2020.9116515","type":"proceedings-article","created":{"date-parts":[[2020,6,15]],"date-time":"2020-06-15T19:28:37Z","timestamp":1592249317000},"page":"526-531","source":"Crossref","is-referenced-by-count":8,"title":["Gap-free Processor Verification by S<sup>2<\/sup>QED and Property Generation"],"prefix":"10.23919","author":[{"given":"Keerthikumara","family":"Devarajegowda","sequence":"first","affiliation":[]},{"given":"Mohammad Rahmani","family":"Fadiheh","sequence":"additional","affiliation":[]},{"given":"Eshan","family":"Singh","sequence":"additional","affiliation":[]},{"given":"Clark","family":"Barrett","sequence":"additional","affiliation":[]},{"given":"Subhasish","family":"Mitra","sequence":"additional","affiliation":[]},{"given":"Wolfgang","family":"Ecker","sequence":"additional","affiliation":[]},{"given":"Dominik","family":"Stoffel","sequence":"additional","affiliation":[]},{"given":"Wolfgang","family":"Kunz","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011276507260"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2018.8341979"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2013.2285276"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/FAMCAD.2007.32"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/VLSI-SoC.2018.8644957"},{"key":"ref15","article-title":"Model driven architecture&#x00AE; (mda): The mda guide rev 2.0","author":"siegel","year":"2014"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0055616"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1995.479877"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41540-6_3"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.21236\/ADA346065"},{"key":"ref8","article-title":"Complete formal verification of a family of automotive DSPs","author":"baranowski","year":"2016","journal-title":"Proc Design and Verification Conference & Exhibition Europe (DVCon Europe)"},{"key":"ref7","first-page":"129","article-title":"Automated formal verification of processors based on architectural models","author":"k\u00fchne","year":"2010","journal-title":"Proc of Conference on Formal Methods in Computer-Aided Design (FMCAD)"},{"key":"ref2","article-title":"Complete formal verification of TriCore2 and other processors","author":"bormann","year":"2007","journal-title":"Design and Verification Conference (DVCON)"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2834401"},{"key":"ref1","article-title":"Verfahren zur Bestimmung der G&#x00FC;te einer Menge von Eigenschaften (Method for determining the quality of a set of properties)","author":"bormann","year":"2005","journal-title":"European patent application"}],"event":{"name":"2020 Design, Automation & Test in Europe Conference & Exhibition (DATE)","location":"Grenoble, France","start":{"date-parts":[[2020,3,9]]},"end":{"date-parts":[[2020,3,13]]}},"container-title":["2020 Design, Automation &amp; Test in Europe Conference &amp; Exhibition (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9112295\/9116186\/09116515.pdf?arnumber=9116515","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,13]],"date-time":"2020-07-13T18:42:30Z","timestamp":1594665750000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9116515\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,3]]},"references-count":15,"URL":"https:\/\/doi.org\/10.23919\/date48585.2020.9116515","relation":{},"subject":[],"published":{"date-parts":[[2020,3]]}}}