Detecting Hardware Faults in Approximate Adders via Minimum Redundancy | IEEE Conference Publication | IEEE Xplore