Kogge–Stone adder

From Wikipedia, the free encyclopedia
Part of a series on
Arithmetic logic circuits
Quick navigation
Theory
Components
Categories
  • Category:Binary arithmetic
  • Category:Computer arithmetic
See also
  • v
  • t
Example of a 4-bit Kogge–Stone adder with zero carry-in.

In computing, the Kogge–Stone adder (KSA or KS) is a parallel prefix form carry look-ahead adder. Other (PPA) include the Brent–Kung adder (BKA),[1] the (HCA),[2][3] and the fastest known variation, the (STA).[4][5]

The Kogge–Stone adder takes more area to implement than the Brent–Kung adder, but has a lower fan-out at each stage, which increases performance for typical CMOS process nodes. However, wiring congestion is often a problem for Kogge–Stone adders. The Lynch–Swartzlander design is smaller, has lower fan-out, and does not suffer from wiring congestion; however to be used the process node must support Manchester carry chain implementations. The general problem of optimizing parallel prefix adders is identical to the variable block size, multi level, carry-skip adder optimization problem, a solution of which is found in Thomas Lynch's thesis of 1996.[5]

An example of a 4-bit Kogge–Stone adder is shown in the diagram. Each vertical stage produces a "propagate" and a "generate" bit, as shown. The culminating generate bits (the carries) are produced in the last stage (vertically), and these bits are XOR'd with the initial propagate after the input (the red boxes) to produce the sum bits. E.g., the first (least-significant) sum bit is calculated by XORing the propagate in the farthest-right red box (a "1") with the carry-in (a "0"), producing a "1". The second bit is calculated by XORing the propagate in second box from the right (a "0") with C0 (a "0"), producing a "0".

The Kogge–Stone adder concept was developed by Peter M. Kogge and Harold S. Stone, who published it in a seminal 1973 paper titled A Parallel Algorithm for the Efficient Solution of a General Class of Recurrence Equations.[6]

Enhancements[]

Enhancements to the original implementation include increasing the radix and sparsity of the adder. The radix of the adder refers to how many results from the previous level of computation are used to generate the next one. The original implementation uses radix-2, although it's possible to create radix-4 and higher. Doing so increases the power and delay of each stage, but reduces the number of required stages. In the so-called sparse Kogge–Stone adder (SKA) the sparsity of the adder refers to how many carry bits are generated by the carry-tree. Generating every carry bit is called sparsity-1, whereas generating every other is sparsity-2 and every fourth is sparsity-4. The resulting carries are then used as the carry-in inputs for much shorter ripple carry adders or some other adder design, which generates the final sum bits. Increasing sparsity reduces the total needed computation and can reduce the amount of routing congestion.

Kogge–Stone Adder of sparsity-4. Example of a Kogge–Stone adder with sparsity-4. Elements eliminated by sparsity shown marked with transparency.

Above is an example of a Kogge–Stone adder with sparsity-4. Elements eliminated by sparsity shown marked with transparency. As shown, power and area of the carry generation is improved significantly, and routing congestion is substantially reduced. Each generated carry feeds a multiplexer for a carry select adder or the carry-in of a ripple carry adder.

Expansion[]

This example is a carry look ahead - In a 4 bit adder like the one shown in the introductory image of this article, there are 5 outputs. Below is the expansion: 

S0 = (A0 XOR B0) XOR Cin

S1 = (A1 XOR B1)
     XOR ((A0 AND B0)
          OR ((A0 XOR B0) AND Cin))

S2 = (A2 XOR B2)
     XOR ((A1 AND B1)
          OR ((A1 XOR B1) AND (A0 AND B0))
          OR ((A1 XOR B1) AND (A0 XOR B0) AND Cin))

S3 = (A3 XOR B3)
     XOR ((A2 AND B2)
          OR ((A2 XOR B2) AND (A1 AND B1))
          OR ((A2 XOR B2) AND (A1 XOR B1) AND (A0 AND B0))
          OR ((A2 XOR B2) AND (A1 XOR B1) AND (A0 XOR B0) AND Cin))

Cout = (A3 AND B3)
       OR ((A3 XOR B3) AND (A2 AND B2))
       OR ((A3 XOR B3) AND (A2 XOR B2) AND (A1 AND B1))
       OR ((A3 XOR B3) AND (A2 XOR B2) AND (A1 XOR B1) AND (A0 AND B0))
       OR ((A3 XOR B3) AND (A2 XOR B2) AND (A1 XOR B1) AND (A0 XOR B0) AND Cin)

References[]

  1. ^ Brent, Richard Peirce; Kung, Hsiang Te (March 1982). "A Regular Layout for Parallel Adders". IEEE Transactions on Computers. C-31 (3): 260–264. doi:10.1109/TC.1982.1675982. ISSN 0018-9340. S2CID 17348212.
  2. ^ Han, Tackdon; Carlson, David A.; Levitan, Steven P. (October 1982). "VLSI design of high-speed, low-area addition circuitry". Proceedings 1981 IEEE International Conference on Computer Design: VLSI in Computers & Processors. IEEE: 418–422. ISBN 0-81860802-1.
  3. ^ Han, Tackdon; Carlson, David A. (October 1987). "Fast area-efficient VLSI adders". Proceedings 8th Symposium on Computer Arithmetic. IEEE: 49–56.
  4. ^ Lynch, Thomas Walker; Swartzlander, Jr., Earl E. (August 1992). "A spanning tree carry lookahead adder". IEEE Transactions on Computers. 41 (8): 931–939. doi:10.1109/12.156535.
  5. ^ a b Lynch, Thomas Walker (May 1996). "Binary Adders" (Thesis). University of Texas. Archived (PDF) from the original on 2018-04-14. Retrieved 2018-04-14.
  6. ^ Kogge, Peter Michael; Stone, Harold S. (August 1973). "A Parallel Algorithm for the Efficient Solution of a General Class of Recurrence Equations". IEEE Transactions on Computers. C-22 (8): 786–793. doi:10.1109/TC.1973.5009159. S2CID 206619926.

Further reading[]

Retrieved from ""