Abstract:The computing industry is forced to find alternative design approaches and computing platforms to sustain increased power efficiency, while providing sufficient performance. Among the examined solutions, Approximate Computing, Hardware Acceleration, and Heterogeneous Computing have gained great momentum. In this Dissertation, we introduce design solutions and methodologies, built on top of the preceding computing paradigms, for the development of energy-efficient DSP and AI accelerators. In particular, we adopt the promising paradigm of Approximate Computing and apply new approximation techniques in the design of arithmetic circuits. The proposed arithmetic approximation techniques involve bit-level optimizations, inexact operand encodings, and skipping of computations, while they are applied in both fixed- and floating-point arithmetic. We also conduct an extensive exploration on combinations among the approximation techniques and propose a low-overhead scheme for seamlessly adjusting the approximation degree of our circuits at runtime. Based on our methodology, these arithmetic approximation techniques are then combined with hardware design techniques to implement approximate ASIC- and FPGA-based DSP and AI accelerators. Moreover, we propose methodologies for the efficient mapping of DSP/AI kernels on distinctive embedded devices, i.e., the space-grade FPGAs and the heterogeneous VPUs. On the one hand, we cope with the decreased flexibility of space-grade technology and the technical challenges that arise in new FPGA tools. On the other hand, we unlock the full potential of heterogeneity by exploiting all the diverse processors and memories. Based on our methodology, we efficiently map computer vision algorithms onto the radiation-hardened NanoXplore's FPGAs and accelerate DSP & CNN kernels on Intel's Myriad VPUs.

Automatic Generation of Complete Polynomial Interpolation Hardware Design Space

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

QPA: A Quantization-Aware Piecewise Polynomial Approximation Methodology for Hardware-Efficient Implementations

Optimal Piecewise Linear Function Approximation for GPU-based Applications

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

Generating Non-Linear Interpolants by Semidefinite Programming

Multirate Shading with Piecewise Interpolatory Approximation

Computing machine-efficient polynomial approximations

Fast Approximate Polynomial Multipoint Evaluation and Applications

A Fine-Interpolation-based Parametric Interpolation Method with a Novel Real-Time Look-Ahead Algorithm

Construction techniques for highly accurate quasi-interpolation operators

Affine Arithmetic-Based B-Spline Surface Intersection with GPU Acceleration

Complete Solutions for the Approximate Synthesis of Spherical Four-bar Function Generators

Experimental Design Using Interlacing Polynomials

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

Computing complete solution sets for approximate four-bar path synthesis

Quasi-interpolators with application to postprocessing in finite element methods

Low-Power and Low-Latency Hardware Implementation of Approximate Hyperbolic and Exponential Functions for Embedded System Applications

Optimal Piecewise Polynomial Approximation for Minimum Computing Cost by Using Constrained Least Squares

Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation

From Circuits to SoC Processors: Arithmetic Approximation Techniques & Embedded Computing Methodologies for DSP Acceleration