Verification of IEEE Compliant Subtractive Division Algorithms (1996)
Cached
Download Links
- [atb-www.larc.nasa.gov]
- [www.ece.odu.edu]
- [techreports.larc.nasa.gov]
- [techreports.larc.nasa.gov]
- DBLP
Other Repositories/Bibliography
by
Paul S. Miner
,
James F. Leathrum, Jr.
| Venue: | FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD '96) |
| Citations: | 11 - 1 self |
BibTeX
@INPROCEEDINGS{Miner96verificationof,
author = {Paul S. Miner and James F. Leathrum and Jr.},
title = {Verification of IEEE Compliant Subtractive Division Algorithms},
booktitle = {FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD '96)},
year = {1996},
pages = {64--78},
publisher = {Springer-Verlag}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
A parameterized definition of subtractive floating point division algorithms is presented and verified using PVS. The general algorithm is proven to satisfy a formal definition of an IEEE standard for floating point arithmetic. The utility of the general specification is illustrated using a number of different instances of the general algorithm.
