Reduced Precision Checking to Detect Errors in Floating Point Arithmetic
From MaRDI portal
Publication:6511642
arXiv1510.01145MaRDI QIDQ6511642FDOQ6511642
Yaqi Zhang, Ralph Nathan, Daniel J. Sorin
Abstract: In this paper, we use reduced precision checking (RPC) to detect errors in floating point arithmetic. Prior work explored RPC for addition and multiplication. In this work, we extend RPC to a complete floating point unit (FPU), including division and square root, and we present precise analyses of the errors undetectable with RPC that show bounds that are smaller than prior work. We implement RPC for a complete FPU in RTL and experimentally evaluate its error coverage and cost.
This page was built for publication: Reduced Precision Checking to Detect Errors in Floating Point Arithmetic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6511642)
