{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T20:06:45Z","timestamp":1730232405876,"version":"3.28.0"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,11]]},"DOI":"10.1109\/iccad.2014.7001373","type":"proceedings-article","created":{"date-parts":[[2015,1,13]],"date-time":"2015-01-13T15:11:15Z","timestamp":1421161875000},"page":"348-355","source":"Crossref","is-referenced-by-count":9,"title":["Silicon fault diagnosis using sequence interpolation with backbones"],"prefix":"10.1109","author":[{"given":"Charlie Shucheng","family":"Zhu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Georg","family":"Weissenbacher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sharad","family":"Malik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2010.2061370"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2011.5722237"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-007-9084-z"},{"key":"ref13","article-title":"On computing minimal correction subsets","author":"marques-silva","year":"2013","journal-title":"IJCAI"},{"key":"ref14","first-page":"1","article-title":"Interpolation and SAT-based model checking","author":"mcmillan","year":"2003","journal-title":"CAV"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837280"},{"key":"ref16","first-page":"1545","article-title":"Post-silicon bug localization in processors using instruction footprint recording and analysis (IFRA)","volume":"28","author":"park","year":"2009","journal-title":"TCAD"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(87)90062-2"},{"key":"ref18","first-page":"13","article-title":"Improved design debugging using maximum satisfiability","author":"safarpour","year":"2007","journal-title":"FMCAD"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2206781.2206827"},{"key":"ref4","first-page":"75","article-title":"Picosat essentials","volume":"4","author":"biere","year":"2008","journal-title":"JSAT"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2013.6679404"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2008.ECP.9"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2010.2061270"},{"key":"ref8","article-title":"Experimental analysis of backbone computation algorithms","author":"janota","year":"2012","journal-title":"Experimental Evaluation of Algorithms for solving problems with combinatorial explosion (RCRA)"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2024724.2024821"},{"journal-title":"Digital Systems Testing and Testable Design","year":"1990","author":"abramovici","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2006.238674"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2006.238683"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2005.852031"},{"key":"ref22","article-title":"On the complexity of proofs in poropositional logics","volume":"2","author":"tseitin","year":"1983","journal-title":"Automation of Reasoning Classical Papers on Computational Logic"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1366110.1366131"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/VTS.2009.51"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/T-C.1973.223600"},{"key":"ref25","first-page":"63","article-title":"Post-silicon fault localisation using maximum satisfiability and backbones","author":"zhu","year":"2011","journal-title":"FMCAD"}],"event":{"name":"2014 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)","start":{"date-parts":[[2014,11,2]]},"location":"San Jose, CA, USA","end":{"date-parts":[[2014,11,6]]}},"container-title":["2014 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6991350\/7001313\/07001373.pdf?arnumber=7001373","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T02:23:56Z","timestamp":1490322236000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7001373\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/iccad.2014.7001373","relation":{},"subject":[],"published":{"date-parts":[[2014,11]]}}}