IEEE Transactions on Computers · 1987 · 31 citations · 11 references
EngineeringComputer EngineeringComputer ScienceFault ToleranceFault-tolerant ComputingFault-tolerant SystemsHardware Fault ToleranceLogic SynthesisReliable System DesignSequential Logic DescriptionFault Secure CircuitsFault-based AttacksFault-tolerant Gates
It is proved that any sequential circuit with its next-state function d and output function w is strongly fault secure for unidirectional faults in d and w if i) the outputs of w are encoded in an unordered code, and ii) d and w are implemented with inverter-free circuits.
11
Design of dynamically checked computers.
William C. Carter, Peter R. Schneider · IFIP Congress · 1968 · 301 citations
Sequential Machines and Automata Theory
D. C. Cooper · The Computer Journal · 1968 · 282 citations · Full text
Strongly Fault Secure Logic Networks
Smith, Metze · IEEE Transactions on Computers · 1978 · 247 citations · Full text