Abstract:The rising usage of AI and ML-based processing across application domains has exacerbated the need for low-cost ML implementation, specifically for resource-constrained embedded systems. To this end, approximate computing, an approach that explores the power, performance, area (PPA), and behavioral accuracy (BEHAV) trade-offs, has emerged as a possible solution for implementing embedded machine learning. Due to the predominance of MAC operations in ML, designing platform-specific approximate arithmetic operators forms one of the major research problems in approximate computing. Recently there has been a rising usage of AI/ML-based design space exploration techniques for implementing approximate operators. However, most of these approaches are limited to using ML-based surrogate functions for predicting the PPA and BEHAV impact of a set of related design decisions. While this approach leverages the regression capabilities of ML methods, it does not exploit the more advanced approaches in ML. To this end, we propose AxOCS, a methodology for designing approximate arithmetic operators through ML-based supersampling. Specifically, we present a method to leverage the correlation of PPA and BEHAV metrics across operators of varying bit-widths for generating larger bit-width operators. The proposed approach involves traversing the relatively smaller design space of smaller bit-width operators and employing its associated Design-PPA-BEHAV relationship to generate initial solutions for metaheuristics-based optimization for larger operators. The experimental evaluation of AxOCS for FPGA-optimized approximate operators shows that the proposed approach significantly improves the quality-resulting hypervolume for multi-objective optimization-of 8x8 signed approximate multipliers.

SEALS: Sensitivity-driven Efficient Approximate Logic Synthesis

VECBEE: A Versatile Efficiency-Accuracy Configurable Batch Error Estimation Method for Greedy Approximate Logic Synthesis

OPTDTALS: Approximate Logic Synthesis via Optimal Decision Trees Approach

Approximate Logic Synthesis in the Loop for Designing Low-Power Neural Network Accelerator.

Timing-driven Approximate Logic Synthesis Based on Double-chase Grey Wolf Optimizer

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

Reliability-Enhanced Circuit Design Flow Based on Approximate Logic Synthesis

Variation-aware gate sizing and clustering for post-silicon optimized circuits.

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

Deep-PowerX: A Deep Learning-Based Framework for Low-Power Approximate Logic Synthesis

autoAx: An Automatic Design Space Exploration and Circuit Building Methodology utilizing Libraries of Approximate Components

LEAP: Scaling Numerical Optimization Based Synthesis Using an Incremental Approach

Incremental SAT-based Exact Synthesis

Logic Synthesis Optimization with Predictive Self-Supervision via Causal Transformers

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

INVICTUS: Optimizing Boolean Logic Circuit Synthesis via Synergistic Learning and Search

On the (In)security of Approximate Computing Synthesis

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

The Need for Speed: Efficient Exact Simulation of Silicon Dangling Bond Logic

AxOCS: Scaling FPGA-based Approximate Operators using Configuration Supersampling

Conditional Flood Fill Method in Logic Synthesis