{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,3]],"date-time":"2024-09-03T19:59:51Z","timestamp":1725393591405},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,12]]},"DOI":"10.1109\/ised.2017.8303924","type":"proceedings-article","created":{"date-parts":[[2018,3,1]],"date-time":"2018-03-01T21:58:31Z","timestamp":1519941511000},"page":"1-5","source":"Crossref","is-referenced-by-count":6,"title":["Towards lightweight satisfiability solvers for self-verification"],"prefix":"10.1109","author":[{"given":"Fritjof","family":"Bornebusch","sequence":"first","affiliation":[]},{"given":"Robert","family":"Wille","sequence":"additional","affiliation":[]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/FAMCAD.2007.32"},{"key":"ref11","first-page":"85","article-title":"Improved sat-based ATPG: more constraints, better compaction","author":"eggersgl\u00fc?","year":"2013","journal-title":"Computer Aided Verification"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/VLSISOC.2007.4402478"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/11564751_43"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/800157.805047"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/321033.321034"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/12.769433"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/378239.379017"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2002.998262"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/11532231_23"},{"journal-title":"Formal System Verification State-of the-Art and Future Trends","year":"2017","author":"drechsler","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2660540.2660983"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ReCoSoC.2015.7238101"},{"key":"ref8","first-page":"145","article-title":"Combinational equivalence checking using satisfiability and recursive learning","author":"silva","year":"1999","journal-title":"Design Automation and Test in Europe (DATE)"},{"key":"ref7","first-page":"502","article-title":"An extensible sat-solver","author":"e\u00e9n","year":"2003","journal-title":"6th International Conference on Theory and Applications of Satisfiability Testing (SAT ' 03"},{"key":"ref2","first-page":"53","article-title":"Formal specification level: Towards verification-driven design based on natural language processing","author":"drechsler","year":"2012","journal-title":"Forum on specification and Design Languages (FDL)"},{"journal-title":"ESL Design and Verification A Prescription for Electronic System Level Methodology","year":"2007","author":"martin","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/10722167_13"},{"key":"ref20","first-page":"28","article-title":"Towards improving the resource usage of sat-solvers","author":"manthey","year":"2010","journal-title":"POS-10 Pragmatics of SAT"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/11499107_5"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30494-4_20"}],"event":{"name":"2017 7th International Symposium on Embedded Computing and System Design (ISED)","start":{"date-parts":[[2017,12,18]]},"location":"Durgapur","end":{"date-parts":[[2017,12,20]]}},"container-title":["2017 7th International Symposium on Embedded Computing and System Design (ISED)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8296056\/8303903\/08303924.pdf?arnumber=8303924","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,4,2]],"date-time":"2018-04-02T20:44:26Z","timestamp":1522701866000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8303924\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/ised.2017.8303924","relation":{},"subject":[],"published":{"date-parts":[[2017,12]]}}}