Applying Reduced Precision Arithmetic to Detect Errors in Floating Point Multiplication

Abstract

Prior work developed an efficient technique, called reduced precision checking, for detecting errors in floating point addition. In this work, we extend reduced precision checking (RPC) to multiplication. Our results show that RPC can successfully detect errors in floating point multiplication at relatively low cost.