DocumentCode
2175897
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
fYear
2009
fDate
20-24 April 2009
Firstpage
1106
Lastpage
1111
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Design, Automation & Test in Europe Conference & Exhibition, 2009. DATE '09.
Conference_Location
Nice
ISSN
1530-1591
Print_ISBN
978-1-4244-3781-8
Type
conf
DOI
10.1109/DATE.2009.5090829
Filename
5090829
Link To Document