Strongly Fault Secure Logic Networks
- 1 June 1978
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. C-27 (6) , 491-499
- https://doi.org/10.1109/tc.1978.1675139
Abstract
Strongly fault secure logic networks are defined and are shown to include totally self-checking networks as a special case. Strongly fault secure networks provide the same protection against assumed faults as totally self-checking networks, and it is shown that when stuck-at faults are assumed a strongly fault secure network can be easily modified to form a totally self-checking network. A class of strongly fault secure networks is defined in terms of network structure. This structural definition of these "path fault secure" networks facilitates their design and implies other interesting properties. Finally, networks that are strongly fault secure with respect to single stuck-at faults are discussed. A large class of these networks is shown to be easily characterized, and network behavior under nonmodeled faults is considered.Keywords
This publication has 8 references indexed in Scilit:
- Unified Design of Self-Checking and Fail-Safe Combinational Circuits and Sequential MachinesIEEE Transactions on Computers, 1979
- Fault Detection Capabilities of Alternating LogicIEEE Transactions on Computers, 1978
- Partially Self-Checking Circuits and Their Use in Performing Logical OperationsIEEE Transactions on Computers, 1974
- Bridging and Stuck-At FaultsIEEE Transactions on Computers, 1974
- Monotone Functions in Sequential CircuitsIEEE Transactions on Computers, 1973
- Fault Equivalence in Combinational Logic NetworksIEEE Transactions on Computers, 1971
- b-Adjacent Error CorrectionIBM Journal of Research and Development, 1970
- On Finding a Nearly Minimal Set of Fault Detection Tests for Combinational Logic NetsIEEE Transactions on Electronic Computers, 1966