View source for Engineering:Early completion

{{Short description|Propriety of a circuit}}
'''Early completion''' is a property of some classes of [[Asynchronous circuit|asynchronous circuit]]. It means that the output of a [[Physics:Electrical network|circuit]] may be available as soon as sufficient inputs have arrived to allow it to be determined. For example, if all of the inputs to a [[Multiplexer|mux]] have arrived, and all are the same, but the select line has not yet arrived, the circuit can still produce an output. Since all the inputs are identical, the select line is irrelevant.

==Example: an asynchronous ripple-carry adder==

A [[Engineering:Adder (electronics)|ripple carry adder]] is a simple adder circuit, but slow because the carry signal has to propagate through each stage of the adder:

[[File:Rcainaction.png|A ripple carry adder schematic]]

This diagram shows a 5-bit ripple carry adder in action. There is a five-stage long carry path, so every time two numbers are added with this adder, it needs to wait for the carry to propagate through all five stages.

By switching to dual-rail signalling for the carry bit, it can have each stage signal its carry out as soon as it knows. If both inputs to a stage are 1, then the carry out will be 1 no matter what the carry in is. If both inputs are 0, then the carry out will be zero. This early completion cuts down on the maximum length of the carry chain in most cases:

[[File:Dirca.png|A delay insensitive ripple carry adder schematic]]

Two of the carry-out bits can be known as soon as input arrives, for the input shown in the picture. This means that the maximum carry chain length is three, not five. If it uses dual-rail signalling for inputs and outputs, it can indicate completion as soon as all the carry chains have completed.

On average, an ''n''-bit asynchronous ripple carry adder will finish in O(log n) time. By extending this approach to carry look-ahead adders, it is possible to add in O(log log n) time.

==External links==
*"[http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.23.656 Self-timed carry-lookahead adders]" by Fu-Chiung Cheng, Stephen H. Unger, Michael Theobald.

[[Category:Digital electronics]]



{{Sourceattribution|Early completion}}