Toward efficient static analysis of finite-precision effects in DSP applications via affine arithmetic modeling

Claire Fang Fang, Rob A. Rutenbar, Markus Püschel, Tsuhan Chen

Research output: Contribution to journalConference articlepeer-review

Abstract

We introduce a static error analysis technique, based on smart interval methods from affine arithmetic, to help designers translate DSP codes from full-precision floating-point to smaller finite-precision formats. The technique gives results for numerical error estimation comparable to detailed simulation, but achieves speedups of three orders of magnitude by avoiding actual bit-level simulation. We show results for experiments mapping common DSP transform algorithms to implementations using small custom floating point formats.

Original languageEnglish (US)
Pages (from-to)496-501
Number of pages6
JournalProceedings - Design Automation Conference
DOIs
StatePublished - 2003
EventProceedings of the 40th Design Automation Conference - Anaheim, CA, United States
Duration: Jun 2 2003Jun 6 2003

Keywords

  • Affine arithmetic
  • Custom floating-point
  • Embedded hardware
  • Probabilistic error bound
  • Static error analysis

ASJC Scopus subject areas

  • Hardware and Architecture
  • Control and Systems Engineering

Fingerprint Dive into the research topics of 'Toward efficient static analysis of finite-precision effects in DSP applications via affine arithmetic modeling'. Together they form a unique fingerprint.

Cite this