Back to Search
Start Over
A Formal Proof of PG Recurrence Equations of Parallel Adders.
- Source :
-
IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems . Jul2021, Vol. 40 Issue 7, p1489-1494. 6p. - Publication Year :
- 2021
-
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 article 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. [ABSTRACT FROM AUTHOR]
- Subjects :
- *COMPUTER engineering
*EVIDENCE
*COMPUTERS
*ELECTRONIC data processing
*EQUATIONS
Subjects
Details
- Language :
- English
- ISSN :
- 02780070
- Volume :
- 40
- Issue :
- 7
- Database :
- Academic Search Index
- Journal :
- IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems
- Publication Type :
- Academic Journal
- Accession number :
- 151250097
- Full Text :
- https://doi.org/10.1109/TCAD.2020.3015414