Validity of Software Verification Results on Approximate Hardware | IEEE Journals & Magazine | IEEE Xplore