{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T21:50:33Z","timestamp":1729633833608,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,1]]},"DOI":"10.1109\/aspdac.2008.4484035","type":"proceedings-article","created":{"date-parts":[[2008,4,10]],"date-time":"2008-04-10T14:56:31Z","timestamp":1207839391000},"page":"667-672","source":"Crossref","is-referenced-by-count":11,"title":["Parallel fault backtracing for calculation of fault coverage"],"prefix":"10.1109","author":[{"given":"Raimund","family":"Ubar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sergei","family":"Devadze","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jaan","family":"Raik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Artur","family":"Jutman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"17","article-title":"boolean calculus of differences","author":"thayse","year":"1981","journal-title":"Springer Verlag"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/ETS.2007.43"},{"key":"16","first-page":"271","article-title":"structurally synthesized binary decision diagrams","author":"jutman","year":"2004","journal-title":"6th Int -l Workshop on Boolean Problems"},{"key":"13","first-page":"178","article-title":"a fast algorithm for critical path tracing in vlsi","author":"wu","year":"2005","journal-title":"Proc IEEE Int Symp Defect and Fault Tolerance in VLSI Systems"},{"key":"14","first-page":"97","article-title":"fault simulation with parallel critical path tracing for combinational circuits using ssbdds","author":"devadze","year":"2006","journal-title":"7th IEEE LATW"},{"key":"11","first-page":"77","article-title":"test generation cost analysis and projections","author":"goel","year":"1980","journal-title":"Proc DAC"},{"key":"12","article-title":"vlsi test principles and architectures. design for testability","author":"wang","year":"2006","journal-title":"Elsevier"},{"key":"3","first-page":"2","article-title":"critical path tracing - an alternative to fault simulation","author":"abramovici","year":"1987","journal-title":"DAC"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.1989.82359"},{"key":"1","first-page":"20","article-title":"fault simulation of structured vlsi","volume":"6","author":"waicukauski","year":"1985","journal-title":"VLSI Systems Design"},{"key":"10","doi-asserted-by":"crossref","first-page":"424","DOI":"10.1145\/74382.74453","article-title":"differential fault simulation - a fast method using minimal memory","author":"cheng","year":"1989","journal-title":"26th ACM\/IEEE Design Automation Conference"},{"key":"7","first-page":"946","article-title":"an efficient, forward fault simulation algorithm based on the parallel pattern single fault propagation","author":"lee","year":"1991","journal-title":"Proc ITC"},{"key":"6","first-page":"2","article-title":"efficient single fault propagation in combinational circuits","author":"harel","year":"1987","journal-title":"Int Conf on CAD"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/43.46788"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.1987.1270316"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1974.6323496"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/T-C.1972.223542"}],"event":{"name":"2008 Asia and South Pacific Design Automation Conference (ASPDAC)","start":{"date-parts":[[2008,3,21]]},"location":"Seoul, South Korea","end":{"date-parts":[[2008,3,24]]}},"container-title":["2008 Asia and South Pacific Design Automation Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4480121\/4483913\/04484035.pdf?arnumber=4484035","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T02:34:58Z","timestamp":1497753298000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4484035\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,1]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/aspdac.2008.4484035","relation":{},"subject":[],"published":{"date-parts":[[2008,1]]}}}