“…Some notable efforts in inexact circuit research focus on manually designing specific arithmetic units, such as adders [13] or multipliers [5], while others adopt a more generic approach, enabling the simplification of any combinatorial circuit [11,7,6,9,10,2,4]. In order for these techniques to be effective, accurate error estimation is needed to understand the effect that each proposed transformation can induce at the circuit output (for example, which node to be selected for iterative node-removal [7,14], or which net to be substituted and simplified [10]). Among the state of the art in error estimation methods to guide the above approximation techniques, several works [9,12,7, 2] present a framework where errors are derived through Monte Carlo sampling of possible inputs, and expressed as statistical measures.…”