Verifying the error bound of numerical computation implemented in computer systems
Abstract
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.
- Inventors:
- Issue Date:
- Research Org.:
- International Business Machines Corp., Armonk, NY (United States)
- Sponsoring Org.:
- USDOE
- OSTI Identifier:
- 1083046
- Patent Number(s):
- 8397187
- Application Number:
- 12/766,163
- Assignee:
- International Business Machines Corporation (Armonk, NY)
- Patent Classifications (CPCs):
-
G - PHYSICS G06 - COMPUTING G06F - ELECTRIC DIGITAL DATA PROCESSING
- DOE Contract Number:
- B554331
- Resource Type:
- Patent
- Country of Publication:
- United States
- Language:
- English
- Subject:
- 97 MATHEMATICS AND COMPUTING
Citation Formats
Sawada, Jun. Verifying the error bound of numerical computation implemented in computer systems. United States: N. p., 2013.
Web.
Sawada, Jun. Verifying the error bound of numerical computation implemented in computer systems. United States.
Sawada, Jun. Tue .
"Verifying the error bound of numerical computation implemented in computer systems". United States. https://www.osti.gov/servlets/purl/1083046.
@article{osti_1083046,
title = {Verifying the error bound of numerical computation implemented in computer systems},
author = {Sawada, Jun},
abstractNote = {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.},
doi = {},
journal = {},
number = ,
volume = ,
place = {United States},
year = {Tue Mar 12 00:00:00 EDT 2013},
month = {Tue Mar 12 00:00:00 EDT 2013}
}
Works referenced in this record:
Oblivious Polynomial Evaluation
journal, January 2006
- Naor, Moni; Pinkas, Benny
- SIAM Journal on Computing, Vol. 35, Issue 5
Depth-2 threshold logic circuits for logic and arithmetic functions
patent, October 1994
- Alon, Noga; Bruck, Jehoshua
- US Patent Document 5,357,528
System for polynomial division self-testing of digital networks
patent, February 1985
- Bhavsar, Dilip K.
- US Patent Document 4,498,172
Fast calculation of (A/B)K by a parallel floating-point processor
patent, July 2003
- Tang, Ping T.; Kubaska, Theodore
- US Patent Document 6,598,063
Method for determining failure rate and selecting best burn-in time
patent, November 2004
- Fang, Walx; Han, Charlie
- US Patent Document 6,820,029
Verifying circuit operation
patent, January 1980
- Woodward, Jr., Donald; Marshall, John
- US Patent Document 4,184,630
On-chip programming verification system for PLDs
patent, November 1998
- Jacobson, Neil G.; Curd, Derek R.
- US Patent Document 5,841,867
Mechanical Verification of a Square Root Algorithm Using Taylor’s Theorem
book, January 2002
- Sawada, Jun; Gamboa, Ruben
- Formal Methods in Computer-Aided Design
High-speed evaluation of polynomials
patent, February 2000
- DesJardins, Philip; Mantri, Ravi
- US Patent Document 6,026,420
Fast Probabilistic Algorithms for Verification of Polynomial Identities
journal, October 1980
- Schwartz, J. T.
- Journal of the ACM, Vol. 27, Issue 4