210 search results - page 12 / 42 » Widening Integer Arithmetic |
118
click to vote
CADE
2004
Springer
16 years 4 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...
113
click to vote
DATE
2006
IEEE
15 years 10 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ļ¬...
109
click to vote
DAC
2005
ACM
16 years 5 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...
119
click to vote
SPAA
1990
ACM
15 years 8 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...
107
click to vote
DSD
2003
IEEE
15 years 9 months 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 ...