Duplicated double checking production rule set for fault-tolerant electronics
First Claim
1. A method of mitigating soft errors in an asynchronous digital circuit having a stage comprising duplicate asynchronous circuit elements, each of said duplicate asynchronous digital circuit elements having at least one input terminal and at least one output terminal, each of said duplicate asynchronous digital circuit elements providing the same logic operation, comprising the steps of:
- (a) asserting a digital signal at corresponding ones of each of said at least one input terminals of said duplicate asynchronous digital circuit elements;
(b) inhibiting a variation of said asserted digital signal asserted at corresponding ones of each of said at least one input terminals of said duplicate asynchronous digital circuit elements;
(c) comparing an output signal appearing at said at least one output terminal of one of said duplicate asynchronous digital circuit elements with a corresponding output signal appearing at said at least one output terminal of the other of said duplicate asynchronous digital circuit elements; and
based on the result of the comparison of the output signals;
(d) if said output signals are not deemed equivalent;
(1) inhibiting a resultant signal from being provided as output from the stage;
(2) maintaining the step of inhibiting a variation of said asserted digital signal asserted at corresponding ones of each of said at least one input terminals of said duplicate asynchronous digital circuit elements;
(3) continuing to compare an output signal appearing at said at least one output terminal of one of said duplicate asynchronous digital circuit elements with a corresponding output signal appearing at said at least one output terminal of the other of said duplicate asynchronous digital circuit elements; and
(4) continuing steps (d)(1), (d)(2) and (d)(3) until said output signals are deemed equivalent; and
(e) if said output signals are deemed equivalent;
(1) providing at least one resultant signal as output from the stage; and
(2) permitting a variation of the asserted digital signal asserted at corresponding ones of each of said at least one input terminals of said duplicateasynchronous digital circuit elements;
whereby the stage comprising duplicate asynchronous digital circuit elements is active in the absence of soft errors and is prevented from being active during the presence of soft errors, thereby eliminating soft errors from propagating in the asynchronous digital circuit.
2 Assignments
0 Petitions
Accused Products
Abstract
Systems and methods for mitigating the effects of soft errors in asynchronous digital circuits. Circuits are constructed using stages comprising doubled logic elements which are connected to c-elements that compare the output states of the double logic elements. The inputs of logic elements in a stage are inhibited from changing until the outputs of the c-elements of that stage are enabled. The c-elements inhibit the propagation of a soft error by halting the operation of the circuit until the temporary effects of the soft error pass.
-
Citations
14 Claims
-
1. A method of mitigating soft errors in an asynchronous digital circuit having a stage comprising duplicate asynchronous circuit elements, each of said duplicate asynchronous digital circuit elements having at least one input terminal and at least one output terminal, each of said duplicate asynchronous digital circuit elements providing the same logic operation, comprising the steps of:
-
(a) asserting a digital signal at corresponding ones of each of said at least one input terminals of said duplicate asynchronous digital circuit elements; (b) inhibiting a variation of said asserted digital signal asserted at corresponding ones of each of said at least one input terminals of said duplicate asynchronous digital circuit elements; (c) comparing an output signal appearing at said at least one output terminal of one of said duplicate asynchronous digital circuit elements with a corresponding output signal appearing at said at least one output terminal of the other of said duplicate asynchronous digital circuit elements; and based on the result of the comparison of the output signals; (d) if said output signals are not deemed equivalent; (1) inhibiting a resultant signal from being provided as output from the stage; (2) maintaining the step of inhibiting a variation of said asserted digital signal asserted at corresponding ones of each of said at least one input terminals of said duplicate asynchronous digital circuit elements; (3) continuing to compare an output signal appearing at said at least one output terminal of one of said duplicate asynchronous digital circuit elements with a corresponding output signal appearing at said at least one output terminal of the other of said duplicate asynchronous digital circuit elements; and (4) continuing steps (d)(1), (d)(2) and (d)(3) until said output signals are deemed equivalent; and (e) if said output signals are deemed equivalent; (1) providing at least one resultant signal as output from the stage; and (2) permitting a variation of the asserted digital signal asserted at corresponding ones of each of said at least one input terminals of said duplicate asynchronous digital circuit elements; whereby the stage comprising duplicate asynchronous digital circuit elements is active in the absence of soft errors and is prevented from being active during the presence of soft errors, thereby eliminating soft errors from propagating in the asynchronous digital circuit. - View Dependent Claims (2, 3, 4, 5, 6)
-
-
7. An asynchronous digital circuit configured to mitigate soft error propagation, comprising:
-
a stage comprising duplicate asynchronous circuit elements, each of said duplicate asynchronous digital circuit elements having at least one input terminal and at least one output terminal, each of said duplicate asynchronous digital circuit elements providing the same logic operation; a first comparison element having two input terminals and a first output, a selected one of said two input terminals connected to each of said at least one output terminal of each of said duplicate asynchronous digital circuit elements, and a second comparison element having two input terminals and a second output, a selected one of said two input terminals connected to each of said at least one output terminal of each of said duplicate asynchronous digital circuit elements; and a control element in electrical communication with said first output of said first comparison element and said second output of said second comparison element, said control element configured to provide control signals based on the equivalence or lack of equivalence of signals appearing at said first output of said first comparison element and said second output of said second comparison element; in the event that the signals appearing at said first and second outputs are not equivalent; said control element provides a control signal to inhibit a resultant signal from appearing as output at an output terminal of the stage; and said control element provides a control signal to inhibit a variation of said asserted digital signal asserted at corresponding ones of each of said at least one input terminals of said duplicate asynchronous digital circuit elements; and in the event that the signals appearing at said first and second outputs are equivalent; said control element provides a control signal to allow at least one resultant signal as output at said output terminal the stage; and said control element provides a control signal to permit a variation of the asserted digital signal asserted at corresponding ones of each of said at least one input terminals of said duplicate asynchronous digital circuit elements; so that the stage comprising duplicate asynchronous digital circuit elements is active to provide a signal representing said logic operation in the absence of soft errors and is prevented from being active during the presence of soft errors, thereby eliminating soft errors from propagating in the asynchronous digital circuit. - View Dependent Claims (8, 9, 10, 11, 12, 13, 14)
-
Specification