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 calculationsread 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
Naofumi Takagi,Shuzo Yajima +1 more
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.
Journal ArticleDOI
Simulation of FIR Filter Based on Cordic Algorithm
Shalini Rai,Rajeev Srivastava +1 more
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.