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.

• Type: Conference
• Year: 2009
• Where: DATE
• Authors: Adam B. Kinsman, Nicola Nicolici
• Keywords: Accurate Bounds Estimation, DATE 2009, Hardware, SAT-Modulo Theory, finite Precision Implementation