DocumentCode :
883112
Title :
On the equivalence of fanout-point faults
Author :
Lioy, Antonio
Author_Institution :
Dipartimento Automatica e Inf., Politecnico di Torino, Italy
Volume :
42
Issue :
3
fYear :
1993
fDate :
3/1/1993 12:00:00 AM
Firstpage :
268
Lastpage :
271
Abstract :
Test-equivalent faults are commonly used in test generation and fault simulation to reduce the number of explicitly addressed faults. At the gate level, practical equivalence rules are confined to faults on the input and output terminals of Boolean gates and those related to fanout-free wires. It is shown that under some conditions equivalence may also be stated between faults on a fanout stem and its branches. A modification of the standard fault folding algorithm is proposed, which leads to reducing the number of target faults and occasionally identifying logic redundancies. Application to real designs shows that the added computational complexity is negligible, while for some classes of CMOS circuits hard-to-simulate faults are eliminated and hence their fault simulation time is drastically reduced
Keywords :
CMOS integrated circuits; computational complexity; integrated logic circuits; logic design; logic testing; Boolean gates; CMOS circuits; computational complexity; equivalence rules; explicitly addressed faults; fanout-free wires; fanout-point faults; fault simulation; fault simulation time; gate level; logic redundancies; test generation; Boolean functions; CMOS logic circuits; Circuit faults; Circuit simulation; Circuit testing; Computational modeling; Fault diagnosis; Logic testing; Redundancy; Wires;
fLanguage :
English
Journal_Title :
Computers, IEEE Transactions on
Publisher :
ieee
ISSN :
0018-9340
Type :
jour
DOI :
10.1109/12.210169
Filename :
210169
Link To Document :
بازگشت