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