DocumentCode :
2125133
Title :
A hierarchical approach to fault collapsing
Author :
Hahn, Ralf ; Krieger, Rolf ; Becker, Bernd
Author_Institution :
Dept. of Comput. Sci., Johann Wolfgang Goethe Univ., Frankfurt, Germany
fYear :
1994
fDate :
28 Feb-3 Mar 1994
Firstpage :
171
Lastpage :
176
Abstract :
One central point of testing is the choice of the fault model and the faults which have to be considered to ensure the correct behaviour of a circuit. The number of faults has a strong influence on the costs which must be paid for in the generation of a test set. For logical fault models this number can be reduced using equivalence relations between faults. Since the complexity of digital circuits is increasing, hierarchical design is becoming more and more important. In this paper, we show that in the case of a hierarchical circuit description often more equivalence relations between faults can be recognized efficiently than in the case of a nonhierarchical description. With respect to the stuck-at fault model, our experiments show that the computation of these equivalence relations can be performed in negligible time and that the number of faults can be reduced considerably
Keywords :
circuit analysis computing; fault location; logic CAD; logic testing; equivalence relations; fault collapsing; fault model selection; hierarchical circuit description; hierarchical design; logic circuit design; logical fault models; stuck-at fault model; test set generation; Boolean functions; Circuit faults; Circuit simulation; Circuit testing; Computer science; Costs; Design automation; Digital circuits; Libraries; Sequential circuits;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
European Design and Test Conference, 1994. EDAC, The European Conference on Design Automation. ETC European Test Conference. EUROASIC, The European Event in ASIC Design, Proceedings.
Conference_Location :
Paris
Print_ISBN :
0-8186-5410-4
Type :
conf
DOI :
10.1109/EDTC.1994.326880
Filename :
326880
Link To Document :
بازگشت