Verification of IEEE Compliant Subtractive Division Algorithms
Verification of IEEE Compliant Subtractive Division Algorithms
复制标题
符合 IEEE 规范的减法除法算法的验证
DOI：
10.1007/bfb0031800
复制
发表时间：
1996
期刊：
影响因子：
--
通讯作者：
J. Leathrum
中科院分区：
文献类型：
--
作者：
P. Miner;J. Leathrum
给出了减法浮点除法算法的参数化定义，并利用PVS进行了验证。通用算法被证明满足浮点运算的IEEE标准的形式定义。使用一般算法的一些不同的实例来说明一般规范的效用。
A parameterized definition of subtractive floating point division algorithms is presented and verified using PVS. The general algorithm is proven to satisfy a formal definition of an IEEE standard for floating point arithmetic. The utility of the general specification is illustrated using a number of different instances of the general algorithm.