Radiation hardening of logic circuitry using a cross enabled, interlocked logic system and method
First Claim
1. A system for hardening a logic circuit against at least one of a single-event upset and single-event transient condition, the system comprising in combination:
- a logic circuit outputting independently-obtained first and second redundant signals;
first and second feed-forward devices, wherein each of the first and second feed-forward devices is operable to receive both of the first and second redundant signals, and wherein when the first and second redundant signals are in expected states, then (i) the first feed-forward device responsively provides a first feed-forward signal and (ii) the second feed-forward device responsively provides a second feed-forward signal; and
first and second feedback devices, wherein each of the first and second feedback devices is operable to receive both of the first and second feed-forward signals, and wherein when the first and second feed-forward signals are in expected states, (i) the first feedback device responsively feeds a first feedback signal back to the first redundant signal and (ii) the second feedback device responsively feeds a second feedback signal back to the second redundant signal.
1 Assignment
0 Petitions
Accused Products
Abstract
A system and method for hardening a logic circuit against radiation-event effects is provided. The system may include a logic circuit, first and second feed-forward devices, and first and second feedback devices. The logic circuit may be operable to output independently-obtained first and second redundant signals responsive to a desired input signal. Each of the first and second feed-forward devices may receive both of the first and second redundant signals. When the first and second redundant signals are in expected states, then the first and second feed-forward devices may responsively provide respective first and second feed-forward signals. Each of the first and second feedback devices may receive both of the first and second feed-forward signals. When the first and second feed-forward signals are in expected states, then the first and second feedback devices responsively feed respective first and second feedback signals back to the respective first and second redundant signals.
-
Citations
60 Claims
-
1. A system for hardening a logic circuit against at least one of a single-event upset and single-event transient condition, the system comprising in combination:
-
a logic circuit outputting independently-obtained first and second redundant signals;
first and second feed-forward devices, wherein each of the first and second feed-forward devices is operable to receive both of the first and second redundant signals, and wherein when the first and second redundant signals are in expected states, then (i) the first feed-forward device responsively provides a first feed-forward signal and (ii) the second feed-forward device responsively provides a second feed-forward signal; and
first and second feedback devices, wherein each of the first and second feedback devices is operable to receive both of the first and second feed-forward signals, and wherein when the first and second feed-forward signals are in expected states, (i) the first feedback device responsively feeds a first feedback signal back to the first redundant signal and (ii) the second feedback device responsively feeds a second feedback signal back to the second redundant signal. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47)
-
-
48. A system for hardening a logic circuit against at least one of a single-event upset and single-event transient condition, the system comprising in combination:
-
first and second tristate inverters, wherein responsive to a desired input signal, the first and second tristate inverters are operable to provide respective first and second redundant signals, and wherein the first and second redundant signals are in an expected state;
first and second feed-forward-tristate inverters, wherein each the first and second feed-forward-tristate inverters is operable to receive both of the first and second redundant signals, and wherein when both of the first and second redundant signals are in the expected state, then (i) the first feed-forward-tristate inverter responsively provides a first feed-forward signal having a state complementary to the expected state and (ii) the second feed-forward device responsively provides a second feed-forward signal having a state complementary to the expected state; and
first and second feedback-tristate inverters, wherein each of the first and second feedback-tristate inverters is operable to receive both of the first and second feed-forward signals, and wherein when both the first and second feed-forward signals are in the complementary state, then (i) the first feedback-tristate inverter responsively feeds back to the first redundant signal a first feedback signal having the same state as the expected state of the first redundant signal and (ii) the second feedback device responsively feeds back to the second redundant signal a second feedback signal having the same state as the expected state of the second redundant signal. - View Dependent Claims (49, 50, 51, 52, 53, 54, 55)
-
-
56. A method for hardening a logic circuit against at least one of a single-event upset and single-event transient condition, the method comprising in combination:
-
providing to first and second feed-forward devices independently-obtained first and second redundant signals as a function of logic operation on a desired input signal, wherein the logic operation is operable to provide the first and second redundant signals in first expected states;
providing to first and second feedback devices a first feed-forward signal as a function of logic operation on both of the first and second redundant signals, wherein the logic operation is operable to provide the first feed-forward signal in a second expected state when the first and second redundant signals are in the first expected states;
providing to first and second feedback devices a second feed-forward signal as a function of logic operation on both of the first and second redundant signals, wherein the logic operation is operable to provide the second feed-forward signal in a second expected state when the first and second redundant signals are in the first expected states;
providing to the first redundant signal a first feedback signal as a function of logic operation on both of the first and second feed-forward signals, wherein the logic operation is operable to provide the first feedback signal in the first expected state when the first and second feed-forward signals are in the second expected states; and
providing to the second redundant signal a second feedback signal as a function of logic operation on both of the first and second feed-forward signals, wherein the logic operation is operable to provide the second feedback signal in the first expected state when the first and second feed-forward signals are in the first expected states.
-
-
57. A method for hardening a logic circuit against at least one of a single-event upset and single-event transient condition, the method comprising in combination:
-
providing to first and second feed-forward devices independently-obtained first and second redundant signals, wherein the first redundant signal is in an expected state and the second redundant signal is in an unexpected state;
providing to first and second feedback devices a first feed-forward signal as a function of logic operation on both of the first and second redundant signals, wherein the logic operation is operable to not change a current state of the first feed-forward signal;
providing to first and second feedback devices a second feed-forward signal as a function of logic operation on both of the first and second redundant signals, wherein the logic operation is operable to not change a current state of the second feed-forward signal;
providing to the first redundant signal a first feedback signal as a function of logic operation on both of the first and second feed-forward signals, wherein the logic operation is operable to not change a current state of the first feedback signal; and
providing to the second redundant signal a second feedback signal as a function of logic operation on both of the first and second feed-forward signals, wherein the logic operation is operable to not change a current state of the second feedback signal.
-
-
58. A method for hardening a logic circuit against at least one of a single-event upset and single-event transient condition, the method comprising in combination:
-
providing to first and second feed-forward devices independently-obtained first and second redundant signals, wherein the first redundant signal in an unexpected state and the second redundant signal in an expected state;
providing to first and second feedback devices a first feed-forward signal as a function of logic operation on both of the first and second redundant signals, wherein the logic operation is operable to not change a current state of the first feed-forward signal;
providing to first and second feedback devices a second feed-forward signal as a function of logic operation on both of the first and second redundant signals, wherein the logic operation is operable to not change a current state of the second feed-forward signal;
providing to the first redundant signal a first feedback signal as a function of logic operation on both of the first and second feed-forward signals, wherein the logic operation is operable to not change a current state of the first feedback signal; and
providing to the second redundant signal a second feedback signal as a function of logic operation on both of the first and second feed-forward signals, wherein the logic operation is operable to not change a current state of the second feedback signal.
-
-
59. A method for hardening a logic circuit against at least one of a single-event upset and single-event transient condition, the method comprising in combination:
-
providing to first and second feed-forward devices independently-obtained first and second redundant signals as a function of logic operation on a desired input signal, wherein the logic operation is operable to provide the first and second redundant signals in first expected states;
providing to first and second feedback devices a first feed-forward signal in an unexpected state;
providing to first and second feedback devices a second feed-forward signal as a function of logic operation on both of the first and second redundant signals, wherein the logic operation is operable to provide the second feed-forward signal in a second expected state;
providing to the first redundant signal a first feedback signal as a function of logic operation on both of the first and second feed-forward signals, wherein the logic operation is operable to not change a current state of the first feedback signal; and
providing to the second redundant signal a second feedback signal as a function of logic operation on both of the first and second feed-forward signals, wherein the logic operation is operable to not change a current state of the second feedback signal.
-
-
60. A method for hardening a logic circuit against at least one of a single-event upset and single-event transient condition, the method comprising in combination:
-
providing to first and second feed-forward devices independently-obtained first and second redundant signals as a function of logic operation on a desired input signal, wherein the logic operation is operable to provide the first and second redundant signals in first expected states;
providing to first and second feedback devices a first feed-forward signal as a function of logic operation on both of the first and second redundant signals, wherein the logic operation is operable to provide the first feed-forward signal in a second expected state;
providing to first and second feedback devices a second feed-forward signal in an unexpected state;
providing to the first redundant signal a first feedback signal as a function of logic operation on both of the first and second feed-forward signals, wherein the logic operation is operable to not change a current state of the first feedback signal; and
providing to the second redundant signal a second feedback signal as a function of logic operation on both of the first and second feed-forward signals, wherein the logic operation is operable to not change a current state of the second feedback signal.
-
Specification