{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T18:03:30Z","timestamp":1730225010599,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,11]]},"DOI":"10.1109\/hldvt.2009.5340172","type":"proceedings-article","created":{"date-parts":[[2009,12,10]],"date-time":"2009-12-10T10:27:48Z","timestamp":1260440868000},"page":"68-75","source":"Crossref","is-referenced-by-count":3,"title":["Diagnostic Test Generation for silicon diagnosis with an incremental learning framework based on search state compatibility"],"prefix":"10.1109","author":[{"given":"Maheshwar","family":"Chandrasekar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael S.","family":"Hsiao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","article-title":"Efilcient conflict driven learng. in boolean SAT","author":"zhang","year":"2001","journal-title":"ICCAD"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1145\/217474.217519"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/196244.196621"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2002.804386"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/12.769433"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.1996.556974"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1981.1675757"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/ATS.1998.741661"},{"key":"14","article-title":"Z-diagnosis: Framework for diagnostic fault simulation and test gen. Utilizing subsets of outputs","author":"reddy","year":"2007","journal-title":"TCAD"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2004.1329502"},{"key":"12","article-title":"Diagnostic test generation for synchronous sequential circuits based on test elimination","author":"reddy","year":"1998","journal-title":"ITC"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/VTEST.1998.670910"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1147\/rd.104.0278"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2001.156196"},{"journal-title":"VLSI Test Principles and Architectures","year":"2006","author":"wang","key":"2"},{"key":"1","article-title":"Editorial: Silicon debug and diagnosis","volume":"1","year":"2007","journal-title":"IET Computers and Digital Techniques"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/VTEST.1997.600264"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.1990.114000"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/EDAC.1990.136693"},{"key":"5","first-page":"165","article-title":"Testing for, and distinguishing between failures","author":"savir","year":"1982","journal-title":"Symposium on Fault-Tolerant Computing"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/PGEC.1967.264743"},{"key":"9","article-title":"EST: The new frontier in ATPG","author":"giraldi","year":"1991","journal-title":"DAC"},{"key":"8","article-title":"DIATEST: A fast diagnostic test pattern generator for combinational circuits","author":"gaining","year":"1991","journal-title":"ICCAD"}],"event":{"name":"2009 IEEE International High Level Design Validation and Test Workshop (HLDVT)","start":{"date-parts":[[2009,11,4]]},"location":"San Francisco, CA, USA","end":{"date-parts":[[2009,11,6]]}},"container-title":["2009 IEEE International High Level Design Validation and Test Workshop"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5331931\/5340157\/05340172.pdf?arnumber=5340172","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,18]],"date-time":"2017-03-18T20:59:12Z","timestamp":1489870752000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5340172\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,11]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/hldvt.2009.5340172","relation":{},"subject":[],"published":{"date-parts":[[2009,11]]}}}