Error analysis and precision estimation for floating-point dot-products using affine arithmetic

Error analysis and precision estimation for floating-point dot-products using affine arithmetic

Abstract

One challenging task for VLSI and reconfigurable system design is the identification of the smallest number format possible to implement a given numerical algorithm guaranteeing some final accuracy while minimising area used, execution time and power. We apply affine arithmetic, an extension to interval arithmetic, to estimate the rounding error of different floating-point dot-product variants. The validity of the estimated error bounds is demonstrated using extensive simulations. We derive the analytical models for rounding errors over a wide range of parameters and show that affine arithmetic with a probabilistic bounding operator is able to provide a tighter bound compared to conventional forward error analysis. Due to the tight bounds, minimum mantissa bit width for hardware implementation can be determined and comparison of different dot-product variants is possible. Our presented models allow for an efficient design space exploration and are key to specialised code generators.

Grafik Top
Authors
  • Huynh, Thang Viet
  • Mücke, Manfred
Grafik Top
Shortfacts
Category
Paper in Conference Proceedings or in Workshop Proceedings (Paper)
Event Title
The 2011 International Conference on Advanced Technology for Communications (ATC2011)
Divisions
Computational Technologies and Applications
Subjects
Angewandte Informatik
Parallele Datenverarbeitung
Rechnerarchitektur
Event Location
Danang, Vietnam
Event Type
Conference
Event Dates
2-4 August 2011
Publisher
IEEE
Date
August 2011
Export
Grafik Top