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.

• Type: Conference
• Year: 2002
• Where: DATE
• Authors: Andreas G. Veneris, Jiang Brandon Liu, Mandana Amiri, Magdy S. Abadir
• Keywords: DATE 2002, Hardware, Incremental Simulation-based Approach, Multiple Design Errors, Single Suspicious Location