Finite precision bit-width allocation using SAT-modulo theory
Adam B. Kinsman, Nicola Nicolici · Design, Automation, and Test in Europe · 2009
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.