Finite Precision bit-width allocation using SAT-Modulo Theory
Finite Precision bit-width allocation using SAT-Modulo Theory
复制标题
使用 SAT 模理论的有限精度位宽分配
DOI：
10.5555/1874620.1874889
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
N. Nicolici
中科院分区：
文献类型：
--
作者：
A. Kinsman;N. Nicolici
本文探讨了SAT-模理论在有限精度实现数值计算的位宽确定中的应用，特别是在除法频繁发生的科学计算的背景下。与其他分析方法相比，使用SAT-模理论可以得到更准确的边界估计，从而产生更小的位宽。
This paper explores the use of SAT-Modulo Theory in determination of bit-widths for finite precision implementation of numerical calculations, specifically in the context of scientific computing where division frequently occurs. Employing SAT-Modulo Theory leads to more accurate bounds estimation than those provided by other analytical methods, in turn yielding smaller bit-widths.