Carry-lookahead adder

Already in the mid-1800s, Charles Babbage recognized the performance penalty imposed by the ripple-carry used in his difference engine, and subsequently designed mechanisms for anticipating carriage for his never-built analytical engine. Konrad Zuse is thought to have implemented the first carry-lookahead adder in his 1930s binary mechanical computer, the Zuse Z1. Gerald B. Rosenberger of IBM filed for a patent on a modern binary carry-lookahead adder in 1957.

Two widely used implementations of the concept are the Kogge–Stone adder (KSA) and Brent–Kung adder (BKA).

Theory of operation

Ripple addition

A binary ripple-carry adder works in the same way as most pencil-and-paper methods of addition. Starting at the least significant digit position, the two corresponding digits are added and a result is obtained. A "carry out" may occur if the result requires a higher digit; for example, "9 + 5 = 4, carry 1". Binary arithmetic works in the same fashion, with fewer digits. In this case, there are only four possible operations, 0+0, 0+1, 1+0 and 1+1; the 1+1 case generates a carry. Accordingly, all digit positions other than the rightmost one need to wait on the possibility of having to add an extra 1 from a carry on the digits one position to the right.

This means that no digit position can have an absolutely final value until it has been established whether or not a carry is coming in from the right. Moreover, if the sum without a carry is the highest value in the base (9 in base-10 pencil-and-paper methods or 1 in binary arithmetic), it is not possible to tell whether or not a given digit position is going to pass on a carry to the position on its left. At worst, when a whole sequence of sums comes to …99999999… (in decimal) or …11111111… (in binary), nothing can be deduced at all until the value of the carry coming in from the right is known; that carry must be propagated to the left, one step at a time, as each digit position evaluates "9 + 1 = 0, carry 1" or "1 + 1 = 0, carry 1". It is the "rippling" of the carry from right to left that gives the ripple-carry adder its name and slowness. When adding 32-bit integers, for instance, allowance has to be made for the possibility that a carry could have to ripple through every one of the 32 one-bit adders.

Lookahead

Carry-lookahead depends on two things:

Calculating for each digit position whether that position is going to propagate a carry if one comes in from the right.
Combining these calculated values to be able to deduce quickly whether, for each group of digits, that group is going to propagate a carry that comes in from the right.

Supposing that groups of four digits are chosen. The sequence of events would go like this:

All 1-bit adders calculate their results. Simultaneously, the lookahead units perform their calculations.
Assuming that a carry arises in a particular group, that carry will emerge at the left-hand end of the group within at most five gate delays and start propagating through the group to its left.
If that carry is going to propagate all the way through the next group, the lookahead unit will already have deduced this. Accordingly, before the carry emerges from the next group, the lookahead unit is immediately (within one gate delay) able to tell the next group to the left that it is going to receive a carry – and, at the same time, to tell the next lookahead unit to the left that a carry is on its way.

The net effect is that the carries start by propagating slowly through each 4-bit group, just as in a ripple-carry system, but then move four times as fast, leaping from one lookahead-carry unit to the next. Finally, within each group that receives a carry, the carry propagates slowly within the digits in that group.

The more bits in a group, the more complex the lookahead carry logic becomes, and the more time is spent on the "slow roads" in each group rather than on the "fast road" between the groups (provided by the lookahead carry logic). On the other hand, the fewer bits there are in a group, the more groups have to be traversed to get from one end of a number to the other, and the less acceleration is obtained as a result.

Deciding the group size to be governed by lookahead carry logic requires a detailed analysis of gate and propagation delays for the particular technology being used.

It is possible to have more than one level of lookahead-carry logic, and this is in fact usually done. Each lookahead-carry unit already produces a signal saying "if a carry comes in from the right, I will propagate it to the left", and those signals can be combined so that each group of, say, four lookahead-carry units becomes part of a "supergroup" governing a total of 16 bits of the numbers being added. The "supergroup" lookahead-carry logic will be able to say whether a carry entering the supergroup will be propagated all the way through it, and using this information, it is able to propagate carries from right to left 16 times as fast as a naive ripple carry. With this kind of two-level implementation, a carry may first propagate through the "slow road" of individual adders, then, on reaching the left-hand end of its group, propagate through the "fast road" of 4-bit lookahead-carry logic, then, on reaching the left-hand end of its supergroup, propagate through the "superfast road" of 16-bit lookahead-carry logic.

Again, the group sizes to be chosen depend on the exact details of how fast signals propagate within logic gates and from one logic gate to another.

For very large numbers (hundreds or even thousands of bits), lookahead-carry logic does not become any more complex, because more layers of supergroups and supersupergroups can be added as necessary. The increase in the number of gates is also moderate: if all the group sizes are four, one would end up with one third as many lookahead carry units as there are adders. However, the "slow roads" on the way to the faster levels begin to impose a drag on the whole system (for instance, a 256-bit adder could have up to (4 layers) * (5+1 gate delays per 4-bit group) = 24 gate delays in its carry processing), and the mere physical transmission of signals from one end of a long number to the other begins to be a problem. At these sizes, carry-save adders are preferable, since they spend no time on carry propagation at all.

4 more chapters are free with a Lably account.

Carry lookahead method

Carry-lookahead logic uses the concepts of generating and propagating carries. Although in the context of a carry-lookahead adder, it is most natural to think of generating and propagating in the context of binary addition, the concepts can be used more generally than this. In the descriptions below, the word digit can be replaced by bit when referring to binary addition of 2.

The addition of two 1-digit inputs A and B is said to generate if the addition will always carry, regardless of whether there is an input-carry (equivalently, regardless of whether any less significant digits in the sum carry). For example, in the decimal addition 52 + 67, the addition of the tens digits 5 and 6 generates because the result carries to the hundreds digit regardless of whether the ones digit carries; in the example, the ones digit does not carry (2 + 7 = 9). Even if the numbers were, say, 54 and 69, the addition of the tens digits 5 and 6 would still generate because the result once again carries to the hundreds digit independently of 4 and 9 creating a carry.

In the case of binary addition, $A + B$ generates if and only if both A and B are 1. If we write $G (A, B)$ to represent the binary predicate that is true if and only if $A + B$ generates, we have

G (A, B) = A \cdot B

where $A \cdot B$ is an and.

The addition of two 1-digit inputs A and B is said to propagate if the addition will carry whenever there is an input carry (equivalently, when the next less significant digit in the sum carries). For example, in the decimal addition 37 + 62, the addition of the tens digits 3 and 6 propagate because the result would carry to the hundreds digit if the ones were to carry (which in this example, it does not). Note that propagate and generate are defined with respect to a single digit of addition and do not depend on any other digits in the sum.

In the case of binary addition, $A + B$ propagates if and only if one of A or B is 1. If $P (A, B)$ is written to represent the binary predicate that is true if and only if $A + B$ propagates, one has

P (A, B) = A + B

where $A + B$ on the right-hand side of the equation is an or.

Sometimes a slightly different definition of propagate is used. By this definition A + B is said to propagate if the addition will carry whenever there is an input carry, but will not carry if there is no input carry. Due to the way generate and propagate bits are used by the carry-lookahead logic, it doesn't matter which definition is used. In the case of binary addition, this definition is expressed by

P^{'} (A, B) = A \oplus B

where $A \oplus B$ is an xor.

Table showing when carries are propagated or generated.

For binary arithmetic, or is faster than xor and takes fewer transistors to implement. However, for a multiple-level carry-lookahead adder, it is simpler to use $P^{'} (A, B)$ .

Given these concepts of generate and propagate, a digit of addition carries precisely when either the addition generates or the next less significant bit carries and the addition propagates. Written in Boolean algebra, with $C_{i}$ the carry bit of digit i, and $P_{i}$ and $G_{i}$ the propagate and generate bits of digit i respectively,

C_{i + 1} = G_{i} + (P_{i} \cdot C_{i}) .

Implementation details

For each bit in a binary sequence to be added, the carry-lookahead logic will determine whether that bit pair will generate a carry or propagate a carry. This allows the circuit to "pre-process" the two numbers being added to determine the carry ahead of time. Then, when the actual addition is performed, there is no delay from waiting for the ripple-carry effect (or time it takes for the carry from the first full adder to be passed down to the last full adder).

To determine whether a bit pair will generate a carry, the following logic works:

G_{i} = A_{i} \cdot B_{i}

To determine whether a bit pair will propagate a carry, either of the following logic statements work:

P_{i} = A_{i} \oplus B_{i}

P_{i} = A_{i} + B_{i}

The reason why this works is based on evaluation of $C_{1} = G_{0} + P_{0} \cdot C_{0}$ . The only difference in the truth tables between ( $A \oplus B$ ) and ( $A + B$ ) is when both $A$ and $B$ are 1. However, if both $A$ and $B$ are 1, then the $G_{0}$ term is 1 (since its equation is $A \cdot B$ ), and the $P_{0} \cdot C_{0}$ term becomes irrelevant. The XOR is used normally within a basic full adder circuit; the OR is an alternative option (for a carry-lookahead only), which is far simpler in transistor-count terms.

For the example provided, the logic for the generate ( $G$ ) and propagate ( $P$ ) values are given below. The numeric value determines the signal from the circuit above, starting from 0 on the far right to 3 on the far left:

C_{1} = G_{0} + P_{0} \cdot C_{0}

C_{2} = G_{1} + P_{1} \cdot C_{1}

C_{3} = G_{2} + P_{2} \cdot C_{2}

C_{4} = G_{3} + P_{3} \cdot C_{3}

Substituting $C_{1}$ into $C_{2}$ , then $C_{2}$ into $C_{3}$ , then $C_{3}$ into $C_{4}$ yields the following expanded equations:

C_{1} = G_{0} + P_{0} \cdot C_{0}

C_{2} = G_{1} + G_{0} \cdot P_{1} + C_{0} \cdot P_{0} \cdot P_{1}

C_{3} = G_{2} + G_{1} \cdot P_{2} + G_{0} \cdot P_{1} \cdot P_{2} + C_{0} \cdot P_{0} \cdot P_{1} \cdot P_{2}

C_{4} = G_{3} + G_{2} \cdot P_{3} + G_{1} \cdot P_{2} \cdot P_{3} + G_{0} \cdot P_{1} \cdot P_{2} \cdot P_{3} + C_{0} \cdot P_{0} \cdot P_{1} \cdot P_{2} \cdot P_{3}

The carry-lookahead 4-bit adder can also be used in a higher-level circuit by having each CLA logic circuit produce a propagate and generate signal to a higher-level CLA logic circuit. The group propagate ( $P G$ ) and group generate ( $G G$ ) for a 4-bit CLA are:

P G = P_{0} \cdot P_{1} \cdot P_{2} \cdot P_{3}

G G = G_{3} + G_{2} \cdot P_{3} + G_{1} \cdot P_{3} \cdot P_{2} + G_{0} \cdot P_{3} \cdot P_{2} \cdot P_{1}

They can then be used to create a carry-out for that particular 4-bit group:

C G = G G + P G \cdot C_{i n}

It can be seen that this is equivalent to $C_{4}$ in previous equations.

Putting four 4-bit CLAs together yields four group propagates and four group generates. A lookahead-carry unit (LCU) takes these 8 values and uses identical logic to calculate $C_{i}$ in the CLAs. The LCU then generates the carry input for each of the 4 CLAs and a fifth equal to $C_{16}$ .

The calculation of the gate delay of a 16-bit adder (using 4 CLAs and 1 LCU) is not as straight forward as the ripple carry adder.

Starting at time of zero:

calculation of $P_{i}$ and $G_{i}$ is done at time 1,
calculation of the $P G$ is done at time 2,
calculation of the $G G$ is done at time 3,
calculation of the inputs for the CLAs from the LCU are done at:
- time 0 for the first CLA,
- time 5 for the second, third and fourth CLA,
calculation of the Si are done at:
- time 4 for the first CLA,
- time 8 for the second, third & fourth CLA,
calculation of the final carry bit ( $C_{16}$ ) is done at time 5.

The maximal time is 8 gate delays (for $S_{[4 - 15]}$ ).

A standard 16-bit ripple-carry adder would take 16 × 2 − 1 = 31 gate delays.

Expansion

This example is a 4-bit carry look ahead adder, there are 5 outputs. Below is the expansion:

<span id="mwATQ"></span><span class="vg" id="mwATU">S0</span><span class="w" id="mwATY"> </span><span class="o" id="mwATc">=</span><span class="w" id="mwATg"> </span><span class="p" id="mwATk">(</span><span class="vg" id="mwATo">A0</span><span class="w" id="mwATs"> </span><span class="ow" id="mwATw">XOR</span><span class="w" id="mwAT0"> </span><span class="vg" id="mwAT4">B0</span><span class="p" id="mwAT8">)</span><span class="w" id="mwAUA"> </span><span class="ow" id="mwAUE">XOR</span><span class="w" id="mwAUI"> </span><span class="vg" id="mwAUM">Cin</span><span class="w" id="mwAUQ"> </span><span class="c1" id="mwAUU">'2dt (dt - delay time)</span> <span class="vg" id="mwAUY">S1</span><span class="w" id="mwAUc"> </span><span class="o" id="mwAUg">=</span><span class="w" id="mwAUk"> </span><span class="p" id="mwAUo">(</span><span class="vg" id="mwAUs">A1</span><span class="w" id="mwAUw"> </span><span class="ow" id="mwAU0">XOR</span><span class="w" id="mwAU4"> </span><span class="vg" id="mwAU8">B1</span><span class="p" id="mwAVA">)</span> <span class="w" id="mwAVE"> </span><span class="ow" id="mwAVI">XOR</span><span class="w" id="mwAVM"> </span><span class="p" id="mwAVQ">((</span><span class="vg" id="mwAVU">A0</span><span class="w" id="mwAVY"> </span><span class="ow" id="mwAVc">AND</span><span class="w" id="mwAVg"> </span><span class="vg" id="mwAVk">B0</span><span class="p" id="mwAVo">)</span> <span class="w" id="mwAVs"> </span><span class="ow" id="mwAVw">OR</span><span class="w" id="mwAV0"> </span><span class="p" id="mwAV4">((</span><span class="vg" id="mwAV8">A0</span><span class="w" id="mwAWA"> </span><span class="ow" id="mwAWE">XOR</span><span class="w" id="mwAWI"> </span><span class="vg" id="mwAWM">B0</span><span class="p" id="mwAWQ">)</span><span class="w" id="mwAWU"> </span><span class="ow" id="mwAWY">AND</span><span class="w" id="mwAWc"> </span><span class="vg" id="mwAWg">Cin</span><span class="p" id="mwAWk">))</span><span class="w" id="mwAWo"> </span><span class="c1" id="mwAWs">'4dt </span> <span class="vg" id="mwAWw">S2</span><span class="w" id="mwAW0"> </span><span class="o" id="mwAW4">=</span><span class="w" id="mwAW8"> </span><span class="p" id="mwAXA">(</span><span class="vg" id="mwAXE">A2</span><span class="w" id="mwAXI"> </span><span class="ow" id="mwAXM">XOR</span><span class="w" id="mwAXQ"> </span><span class="vg" id="mwAXU">B2</span><span class="p" id="mwAXY">)</span> <span class="w" id="mwAXc"> </span><span class="ow" id="mwAXg">XOR</span><span class="w" id="mwAXk"> </span><span class="p" id="mwAXo">((</span><span class="vg" id="mwAXs">A1</span><span class="w" id="mwAXw"> </span><span class="ow" id="mwAX0">AND</span><span class="w" id="mwAX4"> </span><span class="vg" id="mwAX8">B1</span><span class="p" id="mwAYA">)</span> <span class="w" id="mwAYE"> </span><span class="ow" id="mwAYI">OR</span><span class="w" id="mwAYM"> </span><span class="p" id="mwAYQ">((</span><span class="vg" id="mwAYU">A1</span><span class="w" id="mwAYY"> </span><span class="ow" id="mwAYc">XOR</span><span class="w" id="mwAYg"> </span><span class="vg" id="mwAYk">B1</span><span class="p" id="mwAYo">)</span><span class="w" id="mwAYs"> </span><span class="ow" id="mwAYw">AND</span><span class="w" id="mwAY0"> </span><span class="p" id="mwAY4">(</span><span class="vg" id="mwAY8">A0</span><span class="w" id="mwAZA"> </span><span class="ow" id="mwAZE">AND</span><span class="w" id="mwAZI"> </span><span class="vg" id="mwAZM">B0</span><span class="p" id="mwAZQ">))</span> <span class="w" id="mwAZU"> </span><span class="ow" id="mwAZY">OR</span><span class="w" id="mwAZc"> </span><span class="p" id="mwAZg">((</span><span class="vg" id="mwAZk">A1</span><span class="w" id="mwAZo"> </span><span class="ow" id="mwAZs">XOR</span><span class="w" id="mwAZw"> </span><span class="vg" id="mwAZ0">B1</span><span class="p" id="mwAZ4">)</span><span class="w" id="mwAZ8"> </span><span class="ow" id="mwAaA">AND</span><span class="w" id="mwAaE"> </span><span class="p" id="mwAaI">(</span><span class="vg" id="mwAaM">A0</span><span class="w" id="mwAaQ"> </span><span class="ow" id="mwAaU">XOR</span><span class="w" id="mwAaY"> </span><span class="vg" id="mwAac">B0</span><span class="p" id="mwAag">)</span><span class="w" id="mwAak"> </span><span class="ow" id="mwAao">AND</span><span class="w" id="mwAas"> </span><span class="vg" id="mwAaw">Cin</span><span class="p" id="mwAa0">))</span><span class="w" id="mwAa4"> </span><span class="c1" id="mwAa8">'4dt</span> <span class="vg" id="mwAbA">S3</span><span class="w" id="mwAbE"> </span><span class="o" id="mwAbI">=</span><span class="w" id="mwAbM"> </span><span class="p" id="mwAbQ">(</span><span class="vg" id="mwAbU">A3</span><span class="w" id="mwAbY"> </span><span class="ow" id="mwAbc">XOR</span><span class="w" id="mwAbg"> </span><span class="vg" id="mwAbk">B3</span><span class="p" id="mwAbo">)</span> <span class="w" id="mwAbs"> </span><span class="ow" id="mwAbw">XOR</span><span class="w" id="mwAb0"> </span><span class="p" id="mwAb4">((</span><span class="vg" id="mwAb8">A2</span><span class="w" id="mwAcA"> </span><span class="ow" id="mwAcE">AND</span><span class="w" id="mwAcI"> </span><span class="vg" id="mwAcM">B2</span><span class="p" id="mwAcQ">)</span> <span class="w" id="mwAcU"> </span><span class="ow" id="mwAcY">OR</span><span class="w" id="mwAcc"> </span><span class="p" id="mwAcg">((</span><span class="vg" id="mwAck">A2</span><span class="w" id="mwAco"> </span><span class="ow" id="mwAcs">XOR</span><span class="w" id="mwAcw"> </span><span class="vg" id="mwAc0">B2</span><span class="p" id="mwAc4">)</span><span class="w" id="mwAc8"> </span><span class="ow" id="mwAdA">AND</span><span class="w" id="mwAdE"> </span><span class="p" id="mwAdI">(</span><span class="vg" id="mwAdM">A1</span><span class="w" id="mwAdQ"> </span><span class="ow" id="mwAdU">AND</span><span class="w" id="mwAdY"> </span><span class="vg" id="mwAdc">B1</span><span class="p" id="mwAdg">))</span> <span class="w" id="mwAdk"> </span><span class="ow" id="mwAdo">OR</span><span class="w" id="mwAds"> </span><span class="p" id="mwAdw">((</span><span class="vg" id="mwAd0">A2</span><span class="w" id="mwAd4"> </span><span class="ow" id="mwAd8">XOR</span><span class="w" id="mwAeA"> </span><span class="vg" id="mwAeE">B2</span><span class="p" id="mwAeI">)</span><span class="w" id="mwAeM"> </span><span class="ow" id="mwAeQ">AND</span><span class="w" id="mwAeU"> </span><span class="p" id="mwAeY">(</span><span class="vg" id="mwAec">A1</span><span class="w" id="mwAeg"> </span><span class="ow" id="mwAek">XOR</span><span class="w" id="mwAeo"> </span><span class="vg" id="mwAes">B1</span><span class="p" id="mwAew">)</span><span class="w" id="mwAe0"> </span><span class="ow" id="mwAe4">AND</span><span class="w" id="mwAe8"> </span><span class="p" id="mwAfA">(</span><span class="vg" id="mwAfE">A0</span><span class="w" id="mwAfI"> </span><span class="ow" id="mwAfM">AND</span><span class="w" id="mwAfQ"> </span><span class="vg" id="mwAfU">B0</span><span class="p" id="mwAfY">))</span> <span class="w" id="mwAfc"> </span><span class="ow" id="mwAfg">OR</span><span class="w" id="mwAfk"> </span><span class="p" id="mwAfo">((</span><span class="vg" id="mwAfs">A2</span><span class="w" id="mwAfw"> </span><span class="ow" id="mwAf0">XOR</span><span class="w" id="mwAf4"> </span><span class="vg" id="mwAf8">B2</span><span class="p" id="mwAgA">)</span><span class="w" id="mwAgE"> </span><span class="ow" id="mwAgI">AND</span><span class="w" id="mwAgM"> </span><span class="p" id="mwAgQ">(</span><span class="vg" id="mwAgU">A1</span><span class="w" id="mwAgY"> </span><span class="ow" id="mwAgc">XOR</span><span class="w" id="mwAgg"> </span><span class="vg" id="mwAgk">B1</span><span class="p" id="mwAgo">)</span><span class="w" id="mwAgs"> </span><span class="ow" id="mwAgw">AND</span><span class="w" id="mwAg0"> </span><span class="p" id="mwAg4">(</span><span class="vg" id="mwAg8">A0</span><span class="w" id="mwAhA"> </span><span class="ow" id="mwAhE">XOR</span><span class="w" id="mwAhI"> </span><span class="vg" id="mwAhM">B0</span><span class="p" id="mwAhQ">)</span><span class="w" id="mwAhU"> </span><span class="ow" id="mwAhY">AND</span><span class="w" id="mwAhc"> </span><span class="vg" id="mwAhg">Cin</span><span class="p" id="mwAhk">))</span><span class="w" id="mwAho"> </span><span class="c1" id="mwAhs">'4dt</span> <span class="vg" id="mwAhw">Cout</span><span class="w" id="mwAh0"> </span><span class="o" id="mwAh4">=</span><span class="w" id="mwAh8"> </span><span class="p" id="mwAiA">(</span><span class="vg" id="mwAiE">A3</span><span class="w" id="mwAiI"> </span><span class="ow" id="mwAiM">AND</span><span class="w" id="mwAiQ"> </span><span class="vg" id="mwAiU">B3</span><span class="p" id="mwAiY">)</span> <span class="w" id="mwAic"> </span><span class="ow" id="mwAig">OR</span><span class="w" id="mwAik"> </span><span class="p" id="mwAio">((</span><span class="vg" id="mwAis">A3</span><span class="w" id="mwAiw"> </span><span class="ow" id="mwAi0">XOR</span><span class="w" id="mwAi4"> </span><span class="vg" id="mwAi8">B3</span><span class="p" id="mwAjA">)</span><span class="w" id="mwAjE"> </span><span class="ow" id="mwAjI">AND</span><span class="w" id="mwAjM"> </span><span class="p" id="mwAjQ">(</span><span class="vg" id="mwAjU">A2</span><span class="w" id="mwAjY"> </span><span class="ow" id="mwAjc">AND</span><span class="w" id="mwAjg"> </span><span class="vg" id="mwAjk">B2</span><span class="p" id="mwAjo">))</span> <span class="w" id="mwAjs"> </span><span class="ow" id="mwAjw">OR</span><span class="w" id="mwAj0"> </span><span class="p" id="mwAj4">((</span><span class="vg" id="mwAj8">A3</span><span class="w" id="mwAkA"> </span><span class="ow" id="mwAkE">XOR</span><span class="w" id="mwAkI"> </span><span class="vg" id="mwAkM">B3</span><span class="p" id="mwAkQ">)</span><span class="w" id="mwAkU"> </span><span class="ow" id="mwAkY">AND</span><span class="w" id="mwAkc"> </span><span class="p" id="mwAkg">(</span><span class="vg" id="mwAkk">A2</span><span class="w" id="mwAko"> </span><span class="ow" id="mwAks">XOR</span><span class="w" id="mwAkw"> </span><span class="vg" id="mwAk0">B2</span><span class="p" id="mwAk4">)</span><span class="w" id="mwAk8"> </span><span class="ow" id="mwAlA">AND</span><span class="w" id="mwAlE"> </span><span class="p" id="mwAlI">(</span><span class="vg" id="mwAlM">A1</span><span class="w" id="mwAlQ"> </span><span class="ow" id="mwAlU">AND</span><span class="w" id="mwAlY"> </span><span class="vg" id="mwAlc">B1</span><span class="p" id="mwAlg">))</span> <span class="w" id="mwAlk"> </span><span class="ow" id="mwAlo">OR</span><span class="w" id="mwAls"> </span><span class="p" id="mwAlw">((</span><span class="vg" id="mwAl0">A3</span><span class="w" id="mwAl4"> </span><span class="ow" id="mwAl8">XOR</span><span class="w" id="mwAmA"> </span><span class="vg" id="mwAmE">B3</span><span class="p" id="mwAmI">)</span><span class="w" id="mwAmM"> </span><span class="ow" id="mwAmQ">AND</span><span class="w" id="mwAmU"> </span><span class="p" id="mwAmY">(</span><span class="vg" id="mwAmc">A2</span><span class="w" id="mwAmg"> </span><span class="ow" id="mwAmk">XOR</span><span class="w" id="mwAmo"> </span><span class="vg" id="mwAms">B2</span><span class="p" id="mwAmw">)</span><span class="w" id="mwAm0"> </span><span class="ow" id="mwAm4">AND</span><span class="w" id="mwAm8"> </span><span class="p" id="mwAnA">(</span><span class="vg" id="mwAnE">A1</span><span class="w" id="mwAnI"> </span><span class="ow" id="mwAnM">XOR</span><span class="w" id="mwAnQ"> </span><span class="vg" id="mwAnU">B1</span><span class="p" id="mwAnY">)</span><span class="w" id="mwAnc"> </span><span class="ow" id="mwAng">AND</span><span class="w" id="mwAnk"> </span><span class="p" id="mwAno">(</span><span class="vg" id="mwAns">A0</span><span class="w" id="mwAnw"> </span><span class="ow" id="mwAn0">AND</span><span class="w" id="mwAn4"> </span><span class="vg" id="mwAn8">B0</span><span class="p" id="mwAoA">))</span> <span class="w" id="mwAoE"> </span><span class="ow" id="mwAoI">OR</span><span class="w" id="mwAoM"> </span><span class="p" id="mwAoQ">((</span><span class="vg" id="mwAoU">A3</span><span class="w" id="mwAoY"> </span><span class="ow" id="mwAoc">XOR</span><span class="w" id="mwAog"> </span><span class="vg" id="mwAok">B3</span><span class="p" id="mwAoo">)</span><span class="w" id="mwAos"> </span><span class="ow" id="mwAow">AND</span><span class="w" id="mwAo0"> </span><span class="p" id="mwAo4">(</span><span class="vg" id="mwAo8">A2</span><span class="w" id="mwApA"> </span><span class="ow" id="mwApE">XOR</span><span class="w" id="mwApI"> </span><span class="vg" id="mwApM">B2</span><span class="p" id="mwApQ">)</span><span class="w" id="mwApU"> </span><span class="ow" id="mwApY">AND</span><span class="w" id="mwApc"> </span><span class="p" id="mwApg">(</span><span class="vg" id="mwApk">A1</span><span class="w" id="mwApo"> </span><span class="ow" id="mwAps">XOR</span><span class="w" id="mwApw"> </span><span class="vg" id="mwAp0">B1</span><span class="p" id="mwAp4">)</span><span class="w" id="mwAp8"> </span><span class="ow" id="mwAqA">AND</span><span class="w" id="mwAqE"> </span><span class="p" id="mwAqI">(</span><span class="vg" id="mwAqM">A0</span><span class="w" id="mwAqQ"> </span><span class="ow" id="mwAqU">XOR</span><span class="w" id="mwAqY"> </span><span class="vg" id="mwAqc">B0</span><span class="p" id="mwAqg">)</span><span class="w" id="mwAqk"> </span><span class="ow" id="mwAqo">AND</span><span class="w" id="mwAqs"> </span><span class="vg" id="mwAqw">Cin</span><span class="p" id="mwAq0">)</span><span class="w" id="mwAq4"> </span><span class="c1" id="mwAq8">'3dt</span>

More simple 4-bit carry-lookahead adder:

<span id="mwArM"></span><span class="c1" id="mwArQ">'Step 0</span> <span class="vg" id="mwArU">Gin</span><span class="w" id="mwArY"> </span><span class="o" id="mwArc">=</span><span class="w" id="mwArg"> </span><span class="vg" id="mwArk">Cin</span><span class="w" id="mwAro"> </span><span class="c1" id="mwArs">'0dt</span> <span class="vg" id="mwArw">P00</span><span class="w" id="mwAr0"> </span><span class="o" id="mwAr4">=</span><span class="w" id="mwAr8"> </span><span class="vg" id="mwAsA">A0</span><span class="w" id="mwAsE"> </span><span class="ow" id="mwAsI">XOR</span><span class="w" id="mwAsM"> </span><span class="vg" id="mwAsQ">B0</span><span class="w" id="mwAsU"> </span><span class="c1" id="mwAsY">'1dt</span> <span class="vg" id="mwAsc">G00</span><span class="w" id="mwAsg"> </span><span class="o" id="mwAsk">=</span><span class="w" id="mwAso"> </span><span class="vg" id="mwAss">A0</span><span class="w" id="mwAsw"> </span><span class="ow" id="mwAs0">AND</span><span class="w" id="mwAs4"> </span><span class="vg" id="mwAs8">B0</span><span class="w" id="mwAtA"> </span><span class="c1" id="mwAtE">'1dt</span> <span class="vg" id="mwAtI">P10</span><span class="w" id="mwAtM"> </span><span class="o" id="mwAtQ">=</span><span class="w" id="mwAtU"> </span><span class="vg" id="mwAtY">A1</span><span class="w" id="mwAtc"> </span><span class="ow" id="mwAtg">XOR</span><span class="w" id="mwAtk"> </span><span class="vg" id="mwAto">B1</span><span class="w" id="mwAts"> </span><span class="c1" id="mwAtw">'1dt</span> <span class="vg" id="mwAt0">G10</span><span class="w" id="mwAt4"> </span><span class="o" id="mwAt8">=</span><span class="w" id="mwAuA"> </span><span class="vg" id="mwAuE">A1</span><span class="w" id="mwAuI"> </span><span class="ow" id="mwAuM">AND</span><span class="w" id="mwAuQ"> </span><span class="vg" id="mwAuU">B1</span><span class="w" id="mwAuY"> </span><span class="c1" id="mwAuc">'1dt</span> <span class="vg" id="mwAug">P20</span><span class="w" id="mwAuk"> </span><span class="o" id="mwAuo">=</span><span class="w" id="mwAus"> </span><span class="vg" id="mwAuw">A2</span><span class="w" id="mwAu0"> </span><span class="ow" id="mwAu4">XOR</span><span class="w" id="mwAu8"> </span><span class="vg" id="mwAvA">B2</span><span class="w" id="mwAvE"> </span><span class="c1" id="mwAvI">'1dt</span> <span class="vg" id="mwAvM">G20</span><span class="w" id="mwAvQ"> </span><span class="o" id="mwAvU">=</span><span class="w" id="mwAvY"> </span><span class="vg" id="mwAvc">A2</span><span class="w" id="mwAvg"> </span><span class="ow" id="mwAvk">AND</span><span class="w" id="mwAvo"> </span><span class="vg" id="mwAvs">B2</span><span class="w" id="mwAvw"> </span><span class="c1" id="mwAv0">'1dt</span> <span class="vg" id="mwAv4">P30</span><span class="w" id="mwAv8"> </span><span class="o" id="mwAwA">=</span><span class="w" id="mwAwE"> </span><span class="vg" id="mwAwI">A3</span><span class="w" id="mwAwM"> </span><span class="ow" id="mwAwQ">XOR</span><span class="w" id="mwAwU"> </span><span class="vg" id="mwAwY">B3</span><span class="w" id="mwAwc"> </span><span class="c1" id="mwAwg">'1dt</span> <span class="vg" id="mwAwk">G30</span><span class="w" id="mwAwo"> </span><span class="o" id="mwAws">=</span><span class="w" id="mwAww"> </span><span class="vg" id="mwAw0">A3</span><span class="w" id="mwAw4"> </span><span class="ow" id="mwAw8">AND</span><span class="w" id="mwAxA"> </span><span class="vg" id="mwAxE">B3</span><span class="w" id="mwAxI"> </span><span class="c1" id="mwAxM">'1dt</span> <span class="c1" id="mwAxQ">'Step 1</span> <span class="vg" id="mwAxU">G01</span><span class="w" id="mwAxY"> </span><span class="o" id="mwAxc">=</span><span class="w" id="mwAxg"> </span><span class="vg" id="mwAxk">G00</span><span class="w" id="mwAxo"> </span><span class="ow" id="mwAxs">OR</span> <span class="w" id="mwAxw"> </span><span class="vg" id="mwAx0">P00</span><span class="w" id="mwAx4"> </span><span class="ow" id="mwAx8">AND</span><span class="w" id="mwAyA"> </span><span class="vg" id="mwAyE">Gin</span><span class="w" id="mwAyI"> </span><span class="c1" id="mwAyM">'3dt, C0, valency-2</span> <span class="vg" id="mwAyQ">G11</span><span class="w" id="mwAyU"> </span><span class="o" id="mwAyY">=</span><span class="w" id="mwAyc"> </span><span class="vg" id="mwAyg">G10</span><span class="w" id="mwAyk"> </span><span class="ow" id="mwAyo">OR</span> <span class="w" id="mwAys"> </span><span class="vg" id="mwAyw">P10</span><span class="w" id="mwAy0"> </span><span class="ow" id="mwAy4">AND</span><span class="w" id="mwAy8"> </span><span class="vg" id="mwAzA">G00</span><span class="w" id="mwAzE"> </span><span class="ow" id="mwAzI">OR</span> <span class="w" id="mwAzM"> </span><span class="vg" id="mwAzQ">P10</span><span class="w" id="mwAzU"> </span><span class="ow" id="mwAzY">AND</span><span class="w" id="mwAzc"> </span><span class="vg" id="mwAzg">P00</span><span class="w" id="mwAzk"> </span><span class="ow" id="mwAzo">AND</span><span class="w" id="mwAzs"> </span><span class="vg" id="mwAzw">Gin</span><span class="w" id="mwAz0"> </span><span class="c1" id="mwAz4">'3dt, C1, valency-3</span> <span class="vg" id="mwAz8">G21</span><span class="w" id="mwA0A"> </span><span class="o" id="mwA0E">=</span><span class="w" id="mwA0I"> </span><span class="vg" id="mwA0M">G20</span><span class="w" id="mwA0Q"> </span><span class="ow" id="mwA0U">OR</span> <span class="w" id="mwA0Y"> </span><span class="vg" id="mwA0c">P20</span><span class="w" id="mwA0g"> </span><span class="ow" id="mwA0k">AND</span><span class="w" id="mwA0o"> </span><span class="vg" id="mwA0s">G10</span><span class="w" id="mwA0w"> </span><span class="ow" id="mwA00">OR</span> <span class="w" id="mwA04"> </span><span class="vg" id="mwA08">P20</span><span class="w" id="mwA1A"> </span><span class="ow" id="mwA1E">AND</span><span class="w" id="mwA1I"> </span><span class="vg" id="mwA1M">P10</span><span class="w" id="mwA1Q"> </span><span class="ow" id="mwA1U">AND</span><span class="w" id="mwA1Y"> </span><span class="vg" id="mwA1c">G00</span><span class="w" id="mwA1g"> </span><span class="ow" id="mwA1k">OR</span> <span class="w" id="mwA1o"> </span><span class="vg" id="mwA1s">P20</span><span class="w" id="mwA1w"> </span><span class="ow" id="mwA10">AND</span><span class="w" id="mwA14"> </span><span class="vg" id="mwA18">P10</span><span class="w" id="mwA2A"> </span><span class="ow" id="mwA2E">AND</span><span class="w" id="mwA2I"> </span><span class="vg" id="mwA2M">P00</span><span class="w" id="mwA2Q"> </span><span class="ow" id="mwA2U">AND</span><span class="w" id="mwA2Y"> </span><span class="vg" id="mwA2c">Gin</span><span class="w" id="mwA2g"> </span><span class="c1" id="mwA2k">'3dt, C2, valency-4</span> <span class="vg" id="mwA2o">G31</span><span class="w" id="mwA2s"> </span><span class="o" id="mwA2w">=</span><span class="w" id="mwA20"> </span><span class="vg" id="mwA24">G30</span><span class="w" id="mwA28"> </span><span class="ow" id="mwA3A">OR</span> <span class="w" id="mwA3E"> </span><span class="vg" id="mwA3I">P30</span><span class="w" id="mwA3M"> </span><span class="ow" id="mwA3Q">AND</span><span class="w" id="mwA3U"> </span><span class="vg" id="mwA3Y">G20</span><span class="w" id="mwA3c"> </span><span class="ow" id="mwA3g">OR</span> <span class="w" id="mwA3k"> </span><span class="vg" id="mwA3o">P30</span><span class="w" id="mwA3s"> </span><span class="ow" id="mwA3w">AND</span><span class="w" id="mwA30"> </span><span class="vg" id="mwA34">P20</span><span class="w" id="mwA38"> </span><span class="ow" id="mwA4A">AND</span><span class="w" id="mwA4E"> </span><span class="vg" id="mwA4I">G10</span><span class="w" id="mwA4M"> </span><span class="ow" id="mwA4Q">OR</span> <span class="w" id="mwA4U"> </span><span class="vg" id="mwA4Y">P30</span><span class="w" id="mwA4c"> </span><span class="ow" id="mwA4g">AND</span><span class="w" id="mwA4k"> </span><span class="vg" id="mwA4o">P20</span><span class="w" id="mwA4s"> </span><span class="ow" id="mwA4w">AND</span><span class="w" id="mwA40"> </span><span class="vg" id="mwA44">P10</span><span class="w" id="mwA48"> </span><span class="ow" id="mwA5A">AND</span><span class="w" id="mwA5E"> </span><span class="vg" id="mwA5I">G00</span><span class="w" id="mwA5M"> </span><span class="ow" id="mwA5Q">OR</span> <span class="w" id="mwA5U"> </span><span class="vg" id="mwA5Y">P30</span><span class="w" id="mwA5c"> </span><span class="ow" id="mwA5g">AND</span><span class="w" id="mwA5k"> </span><span class="vg" id="mwA5o">P20</span><span class="w" id="mwA5s"> </span><span class="ow" id="mwA5w">AND</span><span class="w" id="mwA50"> </span><span class="vg" id="mwA54">P10</span><span class="w" id="mwA58"> </span><span class="ow" id="mwA6A">AND</span><span class="w" id="mwA6E"> </span><span class="vg" id="mwA6I">P00</span><span class="w" id="mwA6M"> </span><span class="ow" id="mwA6Q">AND</span><span class="w" id="mwA6U"> </span><span class="vg" id="mwA6Y">Gin</span><span class="w" id="mwA6c"> </span><span class="c1" id="mwA6g">'3dt, C3, valency-5</span> <span class="c1" id="mwA6k">'Sum</span> <span class="vg" id="mwA6o">S0</span><span class="w" id="mwA6s"> </span><span class="o" id="mwA6w">=</span><span class="w" id="mwA60"> </span><span class="vg" id="mwA64">P00</span><span class="w" id="mwA68"> </span><span class="ow" id="mwA7A">XOR</span><span class="w" id="mwA7E"> </span><span class="vg" id="mwA7I">Gin</span><span class="w" id="mwA7M"> </span><span class="c1" id="mwA7Q">'2dt</span> <span class="vg" id="mwA7U">S1</span><span class="w" id="mwA7Y"> </span><span class="o" id="mwA7c">=</span><span class="w" id="mwA7g"> </span><span class="vg" id="mwA7k">P10</span><span class="w" id="mwA7o"> </span><span class="ow" id="mwA7s">XOR</span><span class="w" id="mwA7w"> </span><span class="vg" id="mwA70">G01</span><span class="w" id="mwA74"> </span><span class="c1" id="mwA78">'4dt</span> <span class="vg" id="mwA8A">S2</span><span class="w" id="mwA8E"> </span><span class="o" id="mwA8I">=</span><span class="w" id="mwA8M"> </span><span class="vg" id="mwA8Q">P20</span><span class="w" id="mwA8U"> </span><span class="ow" id="mwA8Y">XOR</span><span class="w" id="mwA8c"> </span><span class="vg" id="mwA8g">G11</span><span class="w" id="mwA8k"> </span><span class="c1" id="mwA8o">'4dt</span> <span class="vg" id="mwA8s">S3</span><span class="w" id="mwA8w"> </span><span class="o" id="mwA80">=</span><span class="w" id="mwA84"> </span><span class="vg" id="mwA88">P30</span><span class="w" id="mwA9A"> </span><span class="ow" id="mwA9E">XOR</span><span class="w" id="mwA9I"> </span><span class="vg" id="mwA9M">G21</span><span class="w" id="mwA9Q"> </span><span class="c1" id="mwA9U">'4dt</span> <span class="vg" id="mwA9Y">S4</span><span class="w" id="mwA9c"> </span><span class="o" id="mwA9g">=</span><span class="w" id="mwA9k"> </span><span class="vg" id="mwA9o">G31</span><span class="w" id="mwA9s"> </span><span class="c1" id="mwA9w">'3dt, Cout</span>

Manchester carry chain

The Manchester carry chain is a variation of the carry-lookahead adder that uses shared logic to lower the transistor count. As can be seen above in the implementation section, the logic for generating each carry contains all of the logic used to generate the previous carries. A Manchester carry chain generates the intermediate carries by tapping off nodes in the gate that calculates the most significant carry value. However, not all logic families have these internal nodes, CMOS being a major example. Dynamic logic can support shared logic, as can transmission gate logic. One of the major downsides of the Manchester carry chain is that the capacitive load of all of these outputs, together with the resistance of the transistors causes the propagation delay to increase much more quickly than a regular carry lookahead. A Manchester-carry-chain section generally doesn't exceed 4 bits.