Sciweavers

DATE
2002
IEEE

Incremental Diagnosis and Correction of Multiple Faults and Errors

13 years 7 months ago
Incremental Diagnosis and Correction of Multiple Faults and Errors
An incremental simulation-based approach to fault diagnosis and logic debugging is presented. During each iteration of the algorithm, a single suspicious location is identified and fault modeled such that the functionality of the new design becomes “closer” to its specification. The method is based on a simple and, at a first glance, counter-intuitive theoretical result along with a number of heuristics which help avoid the exponential complexity inherent to the problems. Experiments on multiple design errors and multiple stuck-at faults confirm its effectiveness and accuracy, which scales well with increasing number of errors.
Andreas G. Veneris, Jiang Brandon Liu, Mandana Ami
Added 14 Jul 2010
Updated 14 Jul 2010
Type Conference
Year 2002
Where DATE
Authors Andreas G. Veneris, Jiang Brandon Liu, Mandana Amiri, Magdy S. Abadir
Comments (0)