Abstract:Approximate computing has emerged as a new paradigm for high-performance and energy-efficient design of circuits and systems. For the many approximate arithmetic circuits proposed, it has become critical to understand a design or approximation technique for a specific application to improve performance and energy efficiency with a minimal loss in accuracy. This article aims to provide a comprehensive survey and a comparative evaluation of recently developed approximate arithmetic circuits under different design constraints. Specifically, approximate adders, multipliers, and dividers are synthesized and characterized under optimizations for performance and area. The error and circuit characteristics are then generalized for different classes of designs. The applications of these circuits in image processing and deep neural networks indicate that the circuits with lower error rates or error biases perform better in simple computations, such as the sum of products, whereas more complex accumulative computations that involve multiple matrix multiplications and convolutions are vulnerable to single-sided errors that lead to a large error bias in the computed result. Such complex computations are more sensitive to errors in addition than those in multiplication, so a larger approximation can be tolerated in multipliers than in adders. The use of approximate arithmetic circuits can improve the quality of image processing and deep learning in addition to the benefits in performance and power consumption for these applications.

Obtaining Exact Value by Approximate Computations

A G ] 2 9 N ov 2 00 6 Obtaining Exact Value by Approximate Computations ∗

An Improved Algorithm for Recovering Exact Value from Its Approximation

Approximate Floating-Point FFT Design with Wide Precision-Range and High Energy Efficiency.

Obtaining Exact Interpolation Multivariate Polynomial by Approximation

A Survey of Approximate Computing: From Arithmetic Units Design to High-Level Applications

Approximate Computation for Big Data Analytics

Approximate Arithmetic Circuits: A Survey, Characterization, and Recent Applications

Exact Computation of Error in Approximate Circuits using SAT and Message-Passing Algorithms

Approximate equivalence and optimization for high-level datapath

Approximate Computing Survey, Part I: Terminology and Software & Hardware Approximation Techniques

From approximate to exact integer programming

Elfficient Exact Arithmetic Over Constructive Reals

Error Bounds for Approximate Solutions of Abstract Inequality Systems and Infinite Systems of Inequalities on Banach Spaces

Inexactness and Correction of Floating-Point Reciprocal, Division and Square Root

FTApprox: A Fault-Tolerant Approximate Arithmetic Computing Data Format

Concrete: A Per-layer Configurable Framework for Evaluating DNN with Approximate Operators

Approximate construction of rational approximations and the effect of error autocorrection. Applications

Design Methodology for Approximate Accumulator Based on Statistical Error Model.

Tradeoff Between Approximation Accuracy and Complexity for Range Analysis Using Affine Arithmetic

Exploiting Significance of Computations for Energy-Constrained Approximate Computing