{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,10]],"date-time":"2025-04-10T05:10:58Z","timestamp":1744261858452},"reference-count":32,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,10]]},"DOI":"10.1109\/test.2008.4700568","type":"proceedings-article","created":{"date-parts":[[2008,12,10]],"date-time":"2008-12-10T12:55:58Z","timestamp":1228913758000},"page":"1-8","source":"Crossref","is-referenced-by-count":29,"title":["RTL Error Diagnosis Using a Word-Level SAT-Solver"],"prefix":"10.1109","author":[{"given":"S.","family":"Mirzaeian","sequence":"first","affiliation":[]},{"family":"Feijun Zheng","sequence":"additional","affiliation":[]},{"given":"K.-T.T.","family":"Cheng","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511816321"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2004.1337546"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/54.606006"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/43.370421"},{"key":"16","first-page":"1","article-title":"diagnostic test generation for arbitrary faults","author":"bhatti","year":"2006","journal-title":"Proc International Test Conference"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.1998.743306"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2004.841070"},{"journal-title":"Formal Equivalance Checking Design Debugging","year":"1998","author":"cheng","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/43.811329"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2001.156196"},{"key":"20","first-page":"696","article-title":"the modern fault dictionary","author":"richman","year":"1985","journal-title":"Proc Int Test Conf"},{"key":"22","first-page":"502","article-title":"an extensible sat-solver","author":"een","year":"2003","journal-title":"Proc Int'l Conf Theory and Applications of Satisfiability Testing (SAT)"},{"key":"23","first-page":"892","article-title":"a circuit sat solver with signal correlation guided learning","author":"lu","year":"2003","journal-title":"Proc Design Automation & Test in Europe"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2005.55"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2002.995022"},{"key":"26","doi-asserted-by":"crossref","first-page":"212","DOI":"10.1145\/996566.996628","article-title":"an efficient finite-domain constraint solver for rtl circuits","author":"parthasarathy","year":"2004","journal-title":"Proc 41st Design Automation Conference"},{"key":"27","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/978-3-540-27813-9_14","article-title":"dpll(t): fast decision procedures","author":"ganzinger","year":"2004","journal-title":"Proc Computer Aided Verification"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1016\/0097-3165(73)90004-6"},{"journal-title":"The SMT-LIB Standard v 1 2","year":"0","author":"ranise","key":"29"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/54.32421"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2004.1337569"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03809-3"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/43.3141"},{"journal-title":"Solvable Cases of the Decision Problem","year":"1954","author":"ackermann","key":"30"},{"key":"7","first-page":"424","article-title":"multiple-fault diagnosis based on single-fault activation and single-output observation","author":"lin","year":"2006","journal-title":"Proc Design Automation and Test in Europe"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/54.902819"},{"year":"2005","author":"albrecht","key":"32"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2003.1271092"},{"journal-title":"Automatic Data-Path and Memory Modeling as Un-Interpreted Functions UCSB Technical report","year":"2007","author":"mirzaeian","key":"31"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2003.816206"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/VTEST.1997.600264"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2000.894211"}],"event":{"name":"2008 IEEE International Test Conference","start":{"date-parts":[[2008,10,28]]},"location":"Santa Clara, CA","end":{"date-parts":[[2008,10,30]]}},"container-title":["2008 IEEE International Test Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4690905\/4700527\/04700568.pdf?arnumber=4700568","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,27]],"date-time":"2021-09-27T07:52:57Z","timestamp":1632729177000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4700568\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,10]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/test.2008.4700568","relation":{},"subject":[],"published":{"date-parts":[[2008,10]]}}}