Skip to Content
Find More Like This
Return to Search

Verifying the error bound of numerical computation implemented in computer systems

United States Patent

March 12, 2013
View the Complete Patent at the US Patent & Trademark Office
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.
Sawada; Jun (Austin, TX)
International Business Machines Corporation (Armonk, NY)
12/ 766,163
April 23, 2010
FEDERALLY SPONSORED RESEARCH OR DEVELOPMENT This invention was made with United States Government support under Agreement No. B554331, awarded by the Department of Energy. The government has certain rights in the invention.