UAFEA: Unified Analytical Framework for IA/AA-Based Error Analysis of Fixed-Point Polynomial Specifications

作者：Grailoo Mahdieh; Alizadeh Bijan^*; Forouzandeh Behjat

来源：IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS II-EXPRESS BRIEFS, 2016, 63(10): 994-998.

DOI：10.1109/TCSII.2016.2539078

• Fixed-point representation
• maximum mismatches (MMs)
• polynomial specification
• precision analysis
• self-validated numerical (SVN) methods

A challenging verification and optimization problem in computer arithmetic and embedded systems is error analysis (EA) of fixed-point polynomial data-flow graphs (DFGs). This brief presents an EA framework to compute the error measure maximum mismatch of feedforward fixed-point polynomial DFGs. Our idea to reduce the overestimation keeping efficiency is introducing a unified analytical framework for the two most popular self-validated numerical methods, i.e., interval arithmetic (IA) and affine-arithmetic (AA), so that correlated arguments appear in suitable positions in the DFG. The results show that our methods can enhance error accuracy, in average, more than 24% in comparison with the state-of-the-art techniques while keeping the efficiency of IA and AA.

• 出版日期2016-10