Issue No. 03 - March (2010 vol. 59)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TC.2009.177
Alberto Bosio , Université de Montpellier 2 / CNRS, Montpellier
Patrick Girard , Université de Montpellier 2 / CNRS, Montpellier
Serge Pravossoudovitch , Université de Montpellier 2 / CNRS, Montpellier
Arnaud Virazel , Université de Montpellier 2 / CNRS, Montpellier
This paper presents a comprehensive framework for logic diagnosis consisting of two main phases. In the first phase, a set of suspected faulty sites is obtained by applying an approach based on an Effect-Cause analysis. Then, in the second phase, a set of realistic fault models is associated with each suspected faulty site by analyzing specific information, called fault evidences, collected during the first phase. The main advantage of the proposed methodology is its capability to deal with several fault models at the same time. Another advantage is that it is able to handle both single and multiple fault occurrences. Experiments on ISCAS85, ISCAS89, and ITC99 benchmark circuits show the efficiency of the proposed method both in terms of diagnosis resolution and accuracy of the predicted fault models.
Diagnosis, critical path tracing, fault modeling, circuit simulation, fault simulation.
P. Girard, A. Bosio, A. Virazel and S. Pravossoudovitch, "A Comprehensive Framework for Logic Diagnosis of Arbitrary Defects," in IEEE Transactions on Computers, vol. 59, no. , pp. 289-300, 2009.