Design Automation Techniques for Approximation Circuits Verification, Synthesis and Test - Chandrasekharan, Arun; Chandrasekharan, Arun; Große, Daniel; Drechsler, Rolf (Springer International Publishing : Imprint: Springer, 2019)