Title

A Formal Proof of PG Recurrence Equations of Parallel Adders

Published In

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Document Type

Citation

Publication Date

8-11-2020

Abstract

Parallel adders are extensively used in high performance computer design and hardware acceleration for large-scale data processing. In the adder design theory, a key property of the group propagated carry and the group generated carry is based on the two recurrence equations. The property is fundamental to many parallel prefix adders. However, there is no proof of the property in the literature. This paper presents a rigorous and complete proof for it. The proof can leverage a solid ground for a formal verification methodology for parallel adder-based chip design.

Rights

© Copyright 2020 IEEE

DOI

10.1109/TCAD.2020.3015414

Persistent Identifier

https://archives.pdx.edu/ds/psu/34261

Publisher

IEEE

Share

COinS