Design Automation Techniques for Approximation Circuits: Verification, Synthesi… Arun Chandrasekharan Daniel Große Rolf Drechsler 0.0 stars