Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computers and Processors
DOI: 10.1109/iccd.1994.331861
|View full text |Cite
|
Sign up to set email alerts
|

Delay-verifiability of combinational circuits based on primitive faults

Abstract: It is shown that verifying the timing of a circuit by testing may require tests which can detect the simultaneous presence of more than one path delay fault. We introduce a special class of path delay faults, called primitive faults, whose detection w shown to be necessary and suficient to ensure the temporal correctness of a circuit. Using this result, we develop a synthesis procedure for combinational circuits that can be tested for correctness of timing. Ezperimental data show that such implementations usua… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
23
0

Publication Types

Select...
4
2
1

Relationship

1
6

Authors

Journals

citations
Cited by 14 publications
(23 citation statements)
references
References 8 publications
0
23
0
Order By: Relevance
“…These groups of FS paths belong to the class of faults called primitive faults [78,79]. The primitive faults will be described in greater detail in Section 5.3.…”
Section: Functional Sensitizable Path Delay Faultsmentioning
confidence: 99%
“…These groups of FS paths belong to the class of faults called primitive faults [78,79]. The primitive faults will be described in greater detail in Section 5.3.…”
Section: Functional Sensitizable Path Delay Faultsmentioning
confidence: 99%
“…Such faults were defined in [9] for combinational circuits in terms of sensitizability of paths. We shall use a functional definition instead, so that it applies to both combinational and sequential circuits.…”
Section: Primitive Faults In Combinational Circuitsmentioning
confidence: 99%
“…Thus, an important problem in delay testing is to identify all faults that must be tested to guarantee that the tested circuit will function correctly at the tested speed and any lower speed. It has been shown that, for any combinational circuit, there exists a set of faults called primitive faults, that must be tested to guarantee correct timing [9,10]. The set of primitive faults may contain single and multiple path delay faults.…”
Section: Introductionmentioning
confidence: 99%
See 1 more Smart Citation
“…None of the single paths contained in P M is strong non-robustly sensitized. The multi-path propagation mechanism for transition faults is analogous to that for multi-path delay faults [11].…”
Section: Weak and Strong Non-robust Fault Propagationmentioning
confidence: 99%