J. R. Harrison, "Formal Verification of Floating Point Trigonometric Functions," In Formal Methods in Computer-Aided Design, Lecture Notes in Computer Science, Vol. 2152, Springer-Verlag, pp. 217-233, 2000. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
The Application of Formal Verification to SPW Designs - Akbarpour, Tahar (Correct)
No context found.
J. R. Harrison, "Formal Verification of Floating Point Trigonometric Functions," In Formal Methods in Computer-Aided Design, Lecture Notes in Computer Science, Vol. 2152, Springer-Verlag, pp. 217-233, 2000.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC