Abstract:We present a novel fast bipartitioned hybrid adder (FBHA) that utilizes carry-select and carry-lookahead logic. The proposed FBHA is an accurate adder with a significant part and a less significant part joined together by a carry signal. In an N-bit FBHA, the K-bit less significant part is realized using carry-lookahead adder logic, and the (N-K)-bit significant part is realized using carry-select adder logic. The 32-bit addition was considered as an example operation for this work. Many 32-bit adders ranging from the slow ripple carry adder to the fast parallel-prefix Kogge-Stone adder and the proposed adder were synthesized using a 28-nm CMOS standard cell library and their design metrics were compared. A well-optimized FBHA achieved significant optimizations in design metrics compared to its high-speed adder counterparts and some examples are mentioned as follows: (a) 19.8% reduction in delay compared to a carry-lookahead adder; (b) 19.8% reduction in delay, 24.4% reduction in area, and 19.4% reduction in power compared to a carry-select adder; (c) 45.6% reduction in delay, and 13.5% reduction in power compared to a conditional sum adder; and (d) 46.5% reduction in area, and 29.3% reduction in power compared to the Kogge-Stone adder.

Inductive Verification of Powerlist-Based Carry Lookahead Adders

Functional Verification of High Performance Adders in COQ

Scalable Verification of a Generic End-Around-Carry Adder for Floating-Point Units by Coq

Combinational Equivalence Checking Based on Circuit Topology Analysis

Pipelined Carry Look-Ahead Adder

Power-balanced Delay-Insensitive Carry-Lookahead Adders

Performance Analysis of High Speed and Low Power Binary Adders

Design of Adder Based on Abacus Algorithm

A Novel Implementation of 4-Bit Carry Look-Ahead Adder

Asynchronous Early Output Section-Carry Based Carry Lookahead Adder with Alias Carry Logic

Arithmetic Operand Ordering for Equivalence Checking

Determine the Carry Bit of Carry-Sum Generated by Unsigned MBE Multiplier Without Final Addition.

A Measurement-Based Form of the Out-of-Place Quantum Carry-Lookahead Adder

Optimized Carry Lookahead Adders with Direct Feeding

An Improvement on Carry Chain of Conditional Carry Selection

Design on Multi-Bit Adder Using Sense Amplifier-Based Pass Transistor Logic for Near-Threshold Voltage Operation.

Leveraging Datapath Propagation in IC3 for Hardware Model Checking

Datapath Verification via Word-Level E-Graph Rewriting

Fast Bipartitioned Hybrid Adder Utilizing Carry Select and Carry Lookahead Logic

Combining Half Adder Graph for Equivalence Checking of Arithmetic Circuits

Scaling Up Hardware Accelerator Verification Using A-QED with Functional Decomposition