James F. Leathrum, Jr., Paul S. Miner  Home/Search
Context
Related
| odu.edu/~leathrum/Formal_M...arith13.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: odu.edu/~leathru...formal_methods (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A design structure is presented to assist in the design of IEEE compliant floating point hardware. The basis of the process is an abstraction of the bitwise operations found in hardware to reals and integers. This simplifies the definition of functionality prior to going to hardware. The final design structure will include a set of general algorithms defined for floating point operations (add, sub, multiply, division, square root) which are verified with respect to the IEEE standard. The... (Update)
Similar documents (at the sentence level):
17.5%: Verification of IEEE Compliant Subtractive Division Algorithms - Miner, Leathrum, Jr. (1996) (Correct)
Active bibliography (related documents): More All
0.4: Modular Verification of SRT Division - Rueß, Shankar, Srivas (1996) (Correct)
0.3: Hierarchical Verification of Two-Dimensional High-Speed.. - Rueß (1996) (Correct)
0.2: Mechanizing Verification of Arithmetic Circuits: SRT Division - Kapur, Subramaniam (1997) (Correct)
Similar documents based on text: More All
0.3: An Architectural Concept for Intrusion Tolerance in Air.. - Jeffrey Maddalon Paul (2003) (Correct)
0.2: Technology Transfer Applications For Distributed.. - Leathrum, Jr., Stoughton (1996) (Correct)
0.2: Formal Verification of Communication Protocols - James Leathrum Jr (Correct)
BibTeX entry: (Update)
@misc{ leathrum-design,
author = "James F. Leathrum and Jr. and Paul S. Miner",
title = "Design Structures for Formally Verified Floating Point Units",
url = "citeseer.ist.psu.edu/leathrum97design.html" }
Citations (may not include all citations):270 Formal verification for faulttolerant architectures: Prolego.. - Owre, Rushby et al. - 1995
122 Computer Arithmetic Algorithms (context) - Koren - 1993
60 Division and Square Root: Digit-Recurrence Algorithms and Im.. (context) - Ercegovac, Lang - 1994
46 A unified algorithm for elementary functions (context) - Walther - 1971
32 Formal methods applied to a floatingpoint number system - Barrett - 1989
29 ACL2 theorems about commercial microprocessors - Brock, Kaufmann et al. - 1996
26 Word level symbolic model checking - a new approach for veri.. (context) - Clarke, Khaira et al. - 1996
22 The formal verification of a pipelined double-precision IEEE.. (context) - Aagaard, Seger - 1995
21 Modular verification of SRT division (context) - Rue, Shankar et al. - 1996
21 Verifying the SRT division algorithm using theorem proving t.. (context) - Clarke, German et al. - 1996
20 Anatomy of the Pentium bug - Pratt - 1995
20 Defining the IEEE-854 floating-point standard in PVS - Miner - 1995
18 Verification of IEEE compliant subtractive division algorith.. - Miner, Leathrum - 1996
15 A proof of the nonrestoring division algorithm and its imple.. (context) - Verkest, Claesen et al. - 1994
11 Compatible hardware for division and square root (context) - Taylor - 1981
9 Verification of a subtractive radix-2 square root algorithm .. (context) - Leeser, O'Leary - 1995
6 Floating point verification in HOL (context) - Harrison - 1995
3 A formal approach to rounding (context) - Barrett - 1987
1 A tutorial on digital design derivation using DRS (context) - Bose, Tuna et al. - 1996
1 Verification of arithmetic functios with binary moment diagr.. (context) - Bryant, Chen - 1995
Documents on the same site (http://www.ece.odu.edu/~leathrum/Formal_Methods/formal_methods.html):
Formal Verification of Communication Protocols - James Leathrum Jr (Correct)
Verification of IEEE Compliant Subtractive Division Algorithms - Miner, Leathrum, Jr. (1996) (Correct)
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