Journal article
A diagnostic test generation procedure based on test elimination by vector omission for synchronous sequential circuits
IEEE transactions on computer-aided design of integrated circuits and systems, Vol.19(5), pp.589-600
05/2000
DOI: 10.1109/43.845083
Abstract
We propose a procedure for generating test sequences for diagnosis of synchronous sequential circuits based on stuck at faults. In this procedure, we avoid the conventional fault-oriented test generation process by observing that a sequence to distinguish two faults can be obtained from a sequence T that detects both of the faults (such as a test sequence for fault detection) by changing T so as to "undetect" one of the faults, or change the time units or outputs where the fault is detected. To achieve this goal, the proposed procedure eliminates parts of T so as to render some of the faults undetected, or change their detection times or outputs. In the case where faults become undetected by the modified sequence, the detected faults are distinguished from the faults left undetected by the modified sequence based on pass/fall information. A pass/fall dictionary based on modified test sequences is proposed for this case. Alternatively, a standard dictionary can be used, and the proposed procedure can be used to change the time units or outputs where faults are detected in order to distinguish them. We present experimental results to demonstrate the levels of resolution that can be obtained by the proposed procedure with the proposed pass/fail dictionary, and the number of sequences required for this purpose.
Details
- Title: Subtitle
- A diagnostic test generation procedure based on test elimination by vector omission for synchronous sequential circuits
- Creators
- I Pomeranz - University of IowaS.M Reddy - University of Iowa
- Resource Type
- Journal article
- Publication Details
- IEEE transactions on computer-aided design of integrated circuits and systems, Vol.19(5), pp.589-600
- Publisher
- IEEE
- DOI
- 10.1109/43.845083
- ISSN
- 0278-0070
- eISSN
- 1937-4151
- Language
- English
- Date published
- 05/2000
- Academic Unit
- Electrical and Computer Engineering
- Record Identifier
- 9984197516502771
Metrics
11 Record Views