{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,11]],"date-time":"2026-02-11T01:26:43Z","timestamp":1770773203951,"version":"3.50.0"},"reference-count":29,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,7]]},"DOI":"10.1109\/ivsw.2018.8494900","type":"proceedings-article","created":{"date-parts":[[2018,10,18]],"date-time":"2018-10-18T22:36:58Z","timestamp":1539902218000},"page":"1-6","source":"Crossref","is-referenced-by-count":8,"title":["Towards Self-Explaining Digital Systems: A Design Methodology for the Next Generation"],"prefix":"10.1109","author":[{"given":"Rolf","family":"Drechsler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Luth","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Goerschwin","family":"Fey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tim","family":"Guneysu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"880","article-title":"Validating SAT solvers using an independent resolution-based checker: Practical implementations and other applications","author":"zhang","year":"2003","journal-title":"Design Automation and Test in Europe"},{"key":"ref11","article-title":"Object Constraint Language","year":"2012","journal-title":"OMG Tech Rep formal\/2014-02-03"},{"key":"ref12","article-title":"OMG Systems Modeling Language (OMG SysML)","year":"2015","journal-title":"OMG Tech Rep formal\/2015-06-04"},{"key":"ref13","first-page":"53","article-title":"Formal Specification Level: Towards verification-driven design based on natural language processing","author":"drechsler","year":"2012","journal-title":"Int Forum on Specification and Design Languages"},{"key":"ref14","article-title":"IEEE Standard SystemC Language Reference Manual","year":"2006","journal-title":"IEEE Computer Society"},{"key":"ref15","author":"gr\u00f6tker","year":"2002","journal-title":"System Design with SystemC"},{"key":"ref16","author":"grobe","year":"2009","journal-title":"Quality-Driven SystemC Design"},{"key":"ref17","first-page":"714","author":"baaij","year":"2010","journal-title":"CLaSH Structural Descriptions of Synchronous Hardware Using Haskell"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2463209.2488877"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1049\/iet-cps.2016.0022"},{"key":"ref28","doi-asserted-by":"crossref","first-page":"1305","DOI":"10.1109\/TCAD.2008.925790","article-title":"Analyzing functional coverage in bounded model checking","volume":"27","author":"grobe","year":"2008","journal-title":"IEEE Trans on CAD"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.dsp.2017.10.011"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45732-1_4"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-68671-1_5"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2017.7858327"},{"key":"ref5","first-page":"3","article-title":"Safety verification of deep neural networks","volume":"10426","author":"huang","year":"2017","journal-title":"Computer Aided Verification CAV 2017 ser Lecture Notes in Computer Science"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2008.923107"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.21236\/ADA360973"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MDAT.2017.2750909"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2003.1253718"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MDAT.2017.2757143"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2660540.2660983"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ICRITO.2017.8342390"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ReCoSoC.2015.7238101"},{"key":"ref24","first-page":"388","article-title":"Differential power analysis","volume":"1666","author":"kocher","year":"1999","journal-title":"Advances in Cryptology - CRYPTO ' ‘99 19th Annual International Cryptology Conference Santa Barbara California USA August 15–19 1999 Proceedings ser Lecture Notes in Computer Science"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ISED.2017.8303924"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.2307\/2025310"},{"key":"ref25","first-page":"513","article-title":"Differential fault analysis of secret key cryptosystems","volume":"1294","author":"biham","year":"1997","journal-title":"Advances in Cryptology - CRYPTO ' ‘97 17th Annual International Cryptology Conference Santa Barbara California USA August 17–21 1997 Proceedings ser Lecture Notes in Computer Science"}],"event":{"name":"2018 IEEE 3rd International Verification and Security Workshop (IVSW)","location":"Costa Brava","start":{"date-parts":[[2018,7,2]]},"end":{"date-parts":[[2018,7,4]]}},"container-title":["2018 IEEE 3rd International Verification and Security Workshop (IVSW)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8482238\/8494838\/08494900.pdf?arnumber=8494900","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,26]],"date-time":"2022-01-26T19:01:26Z","timestamp":1643223686000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8494900\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/ivsw.2018.8494900","relation":{},"subject":[],"published":{"date-parts":[[2018,7]]}}}