|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
2009 17th IEEE Symposium on Field Programmable Custom Computing Machines
Evaluation of Static Analysis Techniques for Fixed-Point Precision Optimization
Napa, California
April 05-April 07
ISBN: 978-0-7695-3716-0
| ASCII Text | x | ||
| Jason Cong, Karthik Gururaj, Bin Liu, Chunyue Liu, Zhiru Zhang, Sheng Zhou, Yi Zou, "Evaluation of Static Analysis Techniques for Fixed-Point Precision Optimization," Field-Programmable Custom Computing Machines, Annual IEEE Symposium on, pp. 231-234, 2009 17th IEEE Symposium on Field Programmable Custom Computing Machines, 2009. | |||
| BibTex | x | ||
| @article{ 10.1109/FCCM.2009.35, author = {Jason Cong and Karthik Gururaj and Bin Liu and Chunyue Liu and Zhiru Zhang and Sheng Zhou and Yi Zou}, title = {Evaluation of Static Analysis Techniques for Fixed-Point Precision Optimization}, journal ={Field-Programmable Custom Computing Machines, Annual IEEE Symposium on}, volume = {0}, year = {2009}, isbn = {978-0-7695-3716-0}, pages = {231-234}, doi = {http://doi.ieeecomputersociety.org/10.1109/FCCM.2009.35}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Field-Programmable Custom Computing Machines, Annual IEEE Symposium on TI - Evaluation of Static Analysis Techniques for Fixed-Point Precision Optimization SN - 978-0-7695-3716-0 SP231 EP234 A1 - Jason Cong, A1 - Karthik Gururaj, A1 - Bin Liu, A1 - Chunyue Liu, A1 - Zhiru Zhang, A1 - Sheng Zhou, A1 - Yi Zou, PY - 2009 KW - bitwidth KW - static analysis KW - precision analysis VL - 0 JA - Field-Programmable Custom Computing Machines, Annual IEEE Symposium on ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/FCCM.2009.35
Precision analysis and optimization is very important when transforming a floating-point algorithm into fixed-point hardware implementations. The core analysis techniques are either based on dynamic analysis or static analysis. We believe in static error analysis, as it is the only technique that can guarantee the desired worst-case accuracy. In this paper we study various underlying arithmetic candidates that can be used in static error analysis and compare their computed sensitivities. The approaches studied include Affine Arithmetic(AA), General Interval Arithmetic (GIA) and Automatic Differentiation (Symbolic Arithmetic). Our study shows that symbolic method is preferred for expressions with higher order cancelation. For programs without strong cancelation, any method works fairly well and GIA slightly outperforms others. We also study the impact of program transformations on these arithmetics.
Index Terms:
bitwidth, static analysis, precision analysis
Citation:
Jason Cong, Karthik Gururaj, Bin Liu, Chunyue Liu, Zhiru Zhang, Sheng Zhou, Yi Zou, "Evaluation of Static Analysis Techniques for Fixed-Point Precision Optimization," fccm, pp.231-234, 2009 17th IEEE Symposium on Field Programmable Custom Computing Machines, 2009
Usage of this product signifies your acceptance of the Terms of Use.