Abstract:Multiplications have been commonly conducted in quantized CNNs, filters, and reconfigurable cores, and so on, which are widely deployed in mobile and embedded applications. Most multipliers are designed to perform multiplications with symmetric bit-widths, i.e., n - by n -bit multiplication. Such features would cause extra area overhead and performance loss when m - by n -bit multiplications ( m > n ) are deployed in the same hardware design, resulting in inefficient multiplication operations. It is highly desired and challenging to propose a reconfigurable multiplier design to accommodate operands with both symmetric and asymmetric bit-widths. In this work, we propose a reconfigurable approximate multiplier to support multiplications at various precisions, i.e., bit-widths. Unlike prior works of approximate adders assuming a uniform weight distribution with bit-wise independence, scenarios like a quantized CNN may have a centralized weight distribution and hence follow a Gaussian-like distribution with correlated adjacent bits. Thus, a new block-based approximate adder is also proposed as part of the multiplier to ensure energy-efficient operation with an awareness of the bit-wise correlation. Our experimental results show that the proposed approximate adder significantly reduces the error rate by 76% to 98% over a state-of-the-art approximate adder for Gaussian-like distribution scenarios. Evaluation results show that the proposed multiplier is 19% faster and 22% more power saving than a Xilinx multiplier IP at the same bit precision and achieves a 23.94-dB peak signal-to-noise ratio, which is comparable to the accurate one of 24.10 dB when deployed in a Gaussian filter for image processing tasks.

Specification and Verification of Ripple Carry Adders Based on Rewriting Induction Techniques

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

A 32-Bit Ripple-Ling Hybrid Carry Adder

A Reconfigurable Multiplier for Signed Multiplications with Asymmetric Bit-Widths.

Design of Adder Based on Abacus Algorithm

Combining Half Adder Graph for Equivalence Checking of Arithmetic Circuits

Sense Amplifier Half Buffer Based Ripple Carry Adder for IEEE 754 Standards

Pipelined Carry Look-Ahead Adder

Modular design of QCA carry flow adders and multiplier with reduced wire crossing and number of logic gates

Divider verification using symbolic computer algebra and delayed don't care optimization: theory and practical implementation

Optimizing T and CNOT Gates in Quantum Ripple-Carry Adders and Comparators

Arithmetic Operand Ordering for Equivalence Checking

Datapath Verification via Word-Level E-Graph Rewriting

A new quantum ripple-carry addition circuit

A novel design of coplanar 8-bit ripple carry adder using field-coupled quantum-dot cellular automata nanotechnology

Variable Block Carry Skip Logic using Reversible Gates

Performance Analysis of High Speed and Low Power Binary Adders

Synthesis and verification of cyclic combinational circuits