Approximate computing exploits the fact that many applications are inherently error resilient.
In order to reduce power consumption, approximate circuits such as multipliers have been …

We present a novel method allowing one to approximate complex arithmetic circuits with
formal guarantees on the approximation error. The method integrates in a unique way formal …

Approximate circuits are digital circuits that are intentionally designed in such a way that the
specification is violated in terms of functionality in order to obtain some improvements in …

The problem of developing an approximate implementation of a given combinational circuit
can be formulated as a multi-objective design problem and solved by means of a search …

Approximate computing is an efficient approach to reduce the design complexity for error-
resilient applications. Multipliers are key arithmetic units in many applications, such as deep …

This study presents a design of two-dimensional (2D) discrete cosine transform (DCT)
architecture to be used with high-efficiency video coding (HEVC) intra-prediction method in …

The functional equivalence has always been the integral part of virtually every logic
synthesis tool. The formal equivalence checking represents a key process that helps logic …

We propose AMG, an open-source automated approximate multiplier generator for FPGAs
driven by Bayesian optimization (BO) with parallel evaluation. The proposed method …

Vision is the main way for people to perceive and recognize the world. In this paper, four
categories of the redundant information of video encoding, spatial redundancy, time …

Approximate computing is an emerging trend in hardware and software design that
leverages upon the inherent tolerance for inaccuracy in applications to optimize their power …