8 search results - page 1 / 2 » A Combined Interval and Floating Point Multiplier |
GLVLSI
1998
IEEE
13 years 9 months ago
1998
IEEE
Interval arithmetic provides an e cient method for monitoring and controlling errors in numerical calculations. However, existing software packages for interval arithmetic are oft...
ARITH
2005
IEEE
13 years 10 months ago
2005
IEEE
In this paper we propose an architecture for the computation of the double—precision floating—point multiply—add fused (MAF) operation A + (B × C) that permits to compute ...
ICCD
2001
IEEE
14 years 1 months ago
2001
IEEE
ARITH
2003
IEEE
13 years 10 months ago
2003
IEEE
This paper introduces the Interval Logarithmic Number System (ILNS), in which the Logarithmic Number System (LNS) is used as the underlying number system for interval arithmetic. ...
ACL2
2006
ACM
13 years 8 months ago
2006
ACM
We have extended the ACL2 theorem prover to automatically prove properties of VHDL circuits with IBM's Internal SixthSense verification system. We have used this extension to...