Sciweavers

DATE
2009
IEEE

Finite Precision bit-width allocation using SAT-Modulo Theory

13 years 10 months ago
Finite Precision bit-width allocation using SAT-Modulo Theory
This paper explores the use of SAT-Modulo Theory in determination of bit-widths for finite precision implementation of numerical calculations, specifically in the context of scientific computing where division frequently occurs. Employing SAT-Modulo Theory leads to more accurate bounds estimation than those provided by other analytical methods, in turn yielding smaller bit-widths.
Adam B. Kinsman, Nicola Nicolici
Added 20 May 2010
Updated 20 May 2010
Type Conference
Year 2009
Where DATE
Authors Adam B. Kinsman, Nicola Nicolici
Comments (0)