Abstract:With the increasing application of machine learning (ML) algorithms in embedded systems, there is a rising necessity to design low-cost computer arithmetic for these resource-constrained systems. As a result, emerging models of computation, such as approximate and stochastic computing, that leverage the inherent error-resilience of such algorithms are being actively explored for implementing ML inference on resource-constrained systems. Approximate computing (AxC) aims to provide disproportionate gains in the power, performance, and area (PPA) of an application by allowing some level of reduction in its behavioral accuracy (BEHAV). Using approximate operators (AxOs) for computer arithmetic forms one of the more prevalent methods of implementing AxC. AxOs provide the additional scope for finer granularity of optimization, compared to only precision scaling of computer arithmetic. To this end, designing platform-specific and cost-efficient approximate operators forms an important research goal. Recently, multiple works have reported using AI/ML-based approaches for synthesizing novel FPGA-based AxOs. However, most of such works limit usage of AI/ML to designing ML-based surrogate functions used during iterative optimization processes. To this end, we propose a novel data analysis-driven mathematical programming-based approach to synthesizing approximate operators for FPGAs. Specifically, we formulate mixed integer quadratically constrained programs based on the results of correlation analysis of the characterization data and use the solutions to enable a more directed search approach for evolutionary optimization algorithms. Compared to traditional evolutionary algorithms-based optimization, we report up to 21% improvement in the hypervolume, for joint optimization of PPA and BEHAV, in the design of signed 8-bit multipliers.

Approximate equivalence and optimization for high-level datapath

Low Cost Design for Elementary Function Approximation Based on Piecewise Quadratic Interpolation

A Comparison of Arithmetic Operations for Dynamic Process Optimization Approach

An Efficient Method for Multi-Level Approximate Logic Synthesis under Error Rate Constraint.

Efficient High-Level Synthesis of Approximate Computing Circuits Via Multi-fidelity Modeling

A Novel Heuristic Search Method for Two-Level Approximate Logic Synthesis

Approximate Disjoint Bi-Decomposition and Its Application to Approximate Logic Synthesis

Approximate Logic Synthesis for FPGA by Wire Removal and Local Function Change.

QUADOL: A Quality-Driven Approximate Logic Synthesis Method Exploiting Dual-Output LUTs for Modern FPGAs

Efficient Resubstitution-Based Approximate Logic Synthesis

RARA: Dataflow Based Error Compensation Methods with Runtime Accuracy-Reconfigurable Adder

Characterizing Approximate Adders and Multipliers Optimized under Different Design Constraints

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

DPALS: A Dynamic Programming-Based Algorithm for Two-Level Approximate Logic Synthesis

ALFANS: Multi-level Approximate Logic Synthesis Framework by Approximate Node Simplification

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

Discrete Dynamical System Approaches for Boolean Polynomial Optimization

AxOMaP: Designing FPGA-based Approximate Arithmetic Operators using Mathematical Programming

DALTA: A Decomposition-based Approximate Lookup Table Architecture

Obtaining Exact Value by Approximate Computations

Optimal Qubit Mapping with Simultaneous Gate Absorption