DrAx: An automatic approach to designing more precise and energy-efficient approximate adders | IEEE Conference Publication | IEEE Xplore