首页>
外国专利>
Verifying the error bound of numerical computation implemented in computer systems
Verifying the error bound of numerical computation implemented in computer systems
展开▼
机译:验证计算机系统中实现的数值计算的误差范围
展开▼
页面导航
摘要
著录项
相似文献
摘要
A verification tool receives a finite precision definition for an approximation of an infinite precision numerical function implemented in a processor in the form of a polynomial of bounded functions. The verification tool receives a domain for verifying outputs of segments associated with the infinite precision numerical function. The verification tool splits the domain into at least two segments, wherein each segment is non-overlapping with any other segment and converts, for each segment, a polynomial of bounded functions for the segment to a simplified formula comprising a polynomial, an inequality, and a constant for a selected segment. The verification tool calculates upper bounds of the polynomial for the at least two segments, beginning with the selected segment and reports the segments that violate a bounding condition.
展开▼