Analysis of multiple faults in synchronous sequential circuits by Boolean difference techniques
The Boolean difference is a mathematical concept which has found significant application in the study of single and multiple ''stuck at'' faults in combinational logic circuits. The concept of vector Boolean difference is extended to the analysis of multiple stuck-at faults in synchronous sequential circuits. A vector Boolean difference technique is utilized to determine the set of input/state pairs that will produce a difference in either output or next-state between the fault-free and faulty circuits. Assuming that the fault-free and faulty circuits start in the same initial state, they must be driven by applying a sequence of input vectors to a state in which either a difference in output or next-state is evidenced. If a difference in output cannot be achieved immediately, a second sequence of input vectors must be applied in order to propagate the state difference to the output. Methods for combining the Boolean difference analysis with techniques for deriving the required input vector sequence are discussed.
- Research Organization:
- Sandia Labs., Albuquerque, N.Mex. (USA)
- DOE Contract Number:
- EY-76-C-04-0789
- OSTI ID:
- 6793029
- Report Number(s):
- SAND-77-0709
- Country of Publication:
- United States
- Language:
- English
Similar Records
Combinational circuit design verification using SETS
A note on strongly fault-secure sequential circuits
Related Subjects
420800* -- Engineering-- Electronic Circuits & Devices-- (-1989)
99 GENERAL AND MISCELLANEOUS
990200 -- Mathematics & Computers
CALCULATION METHODS
ELECTRONIC CIRCUITS
FAULT TREE ANALYSIS
INTEGRATED CIRCUITS
LOGIC CIRCUITS
MICROELECTRONIC CIRCUITS
SEQUENTIAL CIRCUITS
SYSTEM FAILURE ANALYSIS
SYSTEMS ANALYSIS
TENSORS
VECTORS