@inproceedings{sar-rad-zil-14-aa-hybrid,
  author = {Sarbishei, O. and Radecka, K. and Zilic, Z.},
  title = {A Hybrid Arithmetic Transform for Precision Analysis of Floating-Point Polynomial Specifications}, 
  booktitle = {Proc. 12th IEEE International New Circuits and Systems Conference (NEWCAS 2014)}, 
  year = 2014,
  volume = {},
  number = {},
  pages = {37-40},
  doi = {10.1109/NEWCAS.2014.6933979},
  month = jun,
  commebt = {Proposed new mode Arithmetic Transform, compares to AA},
  abstract = {Precision analysis of floating-point polynomial data-flow-graphs in terms of the error measure Maximum Mismatch (MM) is a challenging verification problem in computer arithmetic and embedded systems. In this paper by pairing the spectral technique Arithmetic Transform (AT) with Interval Arithmetic (IA), we introduce a static analysis to compute an overestimation of MM for floating-point polynomial specifications. The proposed analysis is applicable to fixed-point designs as well. We compare our solution with Affine Arithmetic (AA), the Gappa tool, which uses IA, as well as simulation-based methods, on a set of polynomial benchmarks. Experiments show that our analysis results in much lower overestimations of MM compared to previous work.}
}