Error recovery in asynchronous combinational logic circuits
First Claim
1. A system for providing error recovery to an asynchronous logic circuit, comprising in combination:
- a plurality of asynchronous register voters for receiving outputs from the asynchronous logic circuit, wherein the plurality of asynchronous register voters provide an output indicating a non-data state value if an inconsistent result is detected; and
a plurality of voter gates for receiving an common input from each of the plurality of asynchronous register voters, wherein the plurality of voter gates compares the common inputs from each of the plurality of asynchronous register voters, wherein the plurality of voter gate provides an output having a same logic level as a majority of the common inputs from the plurality of asynchronous register voters, wherein the output from the plurality of voter gates is representative of the outputs from the asynchronous logic circuit.
1 Assignment
0 Petitions
Accused Products
Abstract
A system and method for providing error recovery to an asynchronous logic circuit is presented. The asynchronous logic circuit with error recovery may use temporal redundancy to compare the results of an asynchronous computation and initiate error recovery if necessary. Outputs of the asynchronous logic circuit are compared using a plurality of asynchronous register voters. If an asynchronous register voter detects an inconsistent result, the asynchronous register voter clears itself. A majority of common data outputs from the plurality of asynchronous register voters is provided as an output that is representative of the output of the asynchronous logic circuit.
52 Citations
24 Claims
-
1. A system for providing error recovery to an asynchronous logic circuit, comprising in combination:
-
a plurality of asynchronous register voters for receiving outputs from the asynchronous logic circuit, wherein the plurality of asynchronous register voters provide an output indicating a non-data state value if an inconsistent result is detected; and a plurality of voter gates for receiving an common input from each of the plurality of asynchronous register voters, wherein the plurality of voter gates compares the common inputs from each of the plurality of asynchronous register voters, wherein the plurality of voter gate provides an output having a same logic level as a majority of the common inputs from the plurality of asynchronous register voters, wherein the output from the plurality of voter gates is representative of the outputs from the asynchronous logic circuit. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8)
-
-
9. A system for providing error recovery to an asynchronous logic circuit, comprising in combination:
-
a first asynchronous register for providing inputs to the asynchronous logic circuit; a plurality of asynchronous register voters for receiving outputs from the asynchronous logic circuit, wherein the plurality of asynchronous register voters provide an output indicating a non-data state value if an inconsistent result is detected; a plurality of voter gates for receiving a common input from each of the plurality of asynchronous register voters, wherein the plurality of voter gates compares the common inputs from each of the plurality of asynchronous register voters, wherein the plurality of voter gates provide an output having a same logic level as a majority of the common inputs from the plurality of asynchronous register voters; and a second asynchronous register for receiving the outputs from the plurality of voter gates, wherein the second asynchronous register provides an output representative of the output of the asynchronous logic circuit, wherein inconsistent results are detected and corrected prior to the second asynchronous register providing the output. - View Dependent Claims (10, 11, 12, 13, 14, 15, 16, 17, 18)
-
-
19. A method for providing error recovery to an asynchronous logic circuit, comprising in combination:
-
detecting an inconsistent result; clearing an asynchronous register voter upon detection of the inconsistent result; comparing common data outputs of a plurality of asynchronous register voters; and providing an output of the asynchronous logic circuit based on a majority of the common data outputs from the plurality of asynchronous register voters. - View Dependent Claims (20, 21, 22, 23, 24)
-
Specification