New Algorithms for Improved Transcendental Functions on IA-64

Authors:
Shane Story;Ping Tak;Peter Tang
Affiliations:
-;-;-
Venue:
ARITH '99 Proceedings of the 14th IEEE Symposium on Computer Arithmetic
Year:
1999

Citing 0
Cited 9

Implementation of the Exponential Function in a Floating-Point Unit

Journal of VLSI Signal Processing Systems
Formal Verification of Floating Point Trigonometric Functions

FMCAD '00 Proceedings of the Third International Conference on Formal Methods in Computer-Aided Design
A Machine-Checked Theory of Floating Point Arithmetic

TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
Computing machine-efficient polynomial approximations

ACM Transactions on Mathematical Software (TOMS)
Algorithm 867: QUADLOG—a package of routines for generating Gauss-related quadrature for two classes of logarithmic weight functions

ACM Transactions on Mathematical Software (TOMS)
Low-Power FPGA-Implementation of atan(Y/X) Using Look-Up Table Methods for Communication Applications

Journal of Signal Processing Systems
Unified Tables for Exponential and Logarithm Families

ACM Transactions on Mathematical Software (TOMS)
FPGA-implementation of atan(Y/X) based on logarithmic transformation and LUT-based techniques

Journal of Systems Architecture: the EUROMICRO Journal
Floating-Point verification using theorem proving

SFM'06 Proceedings of the 6th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

The IA-64 architecture provides new opportunities and challenges for implementing an improved set of transcendental functions. Using several novel polynomial-based table-driven techniques, we are able to provide new algorithms for the transcendental functions. Major improvements include an accuracy level of about 0.6 ulps (units in the last place) and forward trigonometric functions that have a period of 2pi. The accuracy enhancements are achieved at improved speed, yet without an increase in the table size. In this paper, we highlight the key IA-64 architectural features that influenced our designs and explain the main ideas used in our new algorithms.