Title :
Finite Precision bit-width allocation using SAT-Modulo Theory
Author :
Kinsman, Adam B. ; Nicolici, Nicola
Author_Institution :
Dept. of Electr. & Comput. Eng., McMaster Univ., Hamilton, ON
Abstract :
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.
Keywords :
digital circuits; electronic engineering computing; SAT-modulo theory; bit-width allocation; finite precision implementation; Application software; Computational modeling; Concurrent computing; Digital signal processing; Embedded system; Field programmable gate arrays; Hardware; Parallel processing; Robustness; Scientific computing;
Conference_Titel :
Design, Automation & Test in Europe Conference & Exhibition, 2009. DATE '09.
Conference_Location :
Nice
Print_ISBN :
978-1-4244-3781-8
DOI :
10.1109/DATE.2009.5090829
