210 search results - page 12 / 42 » Widening Integer Arithmetic |
CADE
2004
Springer
14 years 7 months ago
2004
Springer
This paper is concerned with the integration of recursive data structures with Presburger arithmetic. The integrated theory includes a length function on data structures, thus prov...
DATE
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract: This paper addresses the problem of equivalence veriļ¬cation of RTL descriptions that implement arithmetic computations (add, mult, shift) over bitvectors that have diļ¬...
DAC
2005
ACM
14 years 8 months ago
2005
ACM
MiniBit, our automated approach for optimizing bit-widths of fixed-point designs is based on static analysis via affine arithmetic. We describe methods to minimize both the intege...
SPAA
1990
ACM
13 years 11 months ago
1990
ACM
We present various experiments in Hardware/Software designtradeoffs met in speeding up long integer multiplications. This work spans over a year, with more than 12 different hardw...
DSD
2003
IEEE
14 years 21 days ago
2003
IEEE
The Logarithmic Number System (LNS) is an alternative to IEEE-754 standard ļ¬oating-point arithmetic. LNS multiply, divide and square root are easier than IEEE-754 and naturally ...