浮点算术错误检测的降低精度检查
摘要：使用减少精度检查（RPC）来检测浮点算术中的错误。先前的工作探索了RPC在加法和乘法中的应用。在本文中，我们将RPC扩展到完整的浮点单元（FPU），包括除法和平方根，并且提供了精确的分析来检测RPC无法检测到的错误，并显示出比先前工作更小的界限。我们在RTL中实现了一个完整的FPU，并通过实验评估其错误覆盖率和成本。
作者：Yaqi Zhang, Ralph Nathan, Daniel J. Sorin
论文ID：1510.01145
分类：Numerical Analysis
分类简称：cs.NA
提交时间：2015-10-06