scispace - formally typeset
Proceedings ArticleDOI

A unified algorithm for elementary functions

J. S. Walther
- pp 379-385
Reads0
Chats0
TLDR
This paper describes a single unified algorithm for the calculation of elementary functions including multiplication, division, sin, cos, tan, arctan, sinh, cosh, tanh, arCTanh, In, exp and square-root.
Abstract
This paper describes a single unified algorithm for the calculation of elementary functions including multiplication, division, sin, cos, tan, arctan, sinh, cosh, tanh, arctanh, In, exp and square-root The basis for the algorithm is coordinate rotation in a linear, circular, or hyperbolic coordinate system depending on which function is to be calculated The only operations required are shifting, adding, subtracting and the recall of prestored constants The limited domain of convergence of the algorithm is calculated, leading to a discussion of the modifications required to extend the domain for floating point calculations

read more

Citations
More filters
Journal ArticleDOI

Formal Verification of Transcendental Fixed- and Floating-point Algorithms using an Automatic Theorem Prover

TL;DR: A method for formal verification of transcendental hardware and software algorithms that scales to higher precision without suffering an exponential growth in runtimes is presented and Reproducing the verification of a sine implementation in software demonstrates that the MetiTarski approach is a viable competitor.
Journal Article

The implementation of NCO based on CORDIC algorithm

TL;DR: A new CORDIC algorithm implemented by the state machine and pipeline based on FPGA is proposed to replace the traditional look-up table ROM method in this paper.
Journal ArticleDOI

Hardware algorithms for computing exponentials and logarithms using redundant binary representation

TL;DR: Improved versions of modified STL methods which were improved by Specker and by Chen are improved as methods suited for the dedicated circuits for computing exponentials and logarithms utilizing the redundant binary representation for internal computation.
References
More filters
Journal ArticleDOI

The CORDIC Trigonometric Computing Technique

TL;DR: The trigonometric algorithms used in this computer and the instrumentation of these algorithms are discussed in this paper.
Journal ArticleDOI

Decimal-Binary Conversions in CORDIC

TL;DR: The CORDIC conversion technique is sufficiently general to be applied to decimal-binary conversion problems involving other mixed radix systems and other decimal codes.
Related Papers (5)