An Automated Approximation Methodology for Arithmetic Circuits | IEEE Conference Publication | IEEE Xplore