Towards Hardware IIR Filters Computing Just Right: Direct Form I Case Study

Anastasia Volkova (1, 2) , Matei Istoan (3) , Florent de Dinechin (3) , Thibault Hilaire (1, 4)

1 PEQUAN - Performance et Qualité des Algorithmes Numériques
2 Inria Grenoble - Rhône-Alpes
3 SOCRATE - Software and Cognitive radio for telecommunications
4 Inria Saclay - Ile de France

Linear Time Invariant (LTI) filters are often specified and simulated using high-precision software, before being implemented in low-precision hardware. A problem is that the hardware does not behave exactly as the simulation due to quantization and rounding issues. This article advocates the construction of LTI architectures that behave as if the computation was performed with infinite accuracy, then rounded only once to the low-precision output format. From this minimalist specification, it is possible to deduce the optimal values of many architectural parameters, including all the internal data formats. This requires a detailed error analysis that captures the rounding errors, but also their infinite accumulation in infinite impulse response filters. This error analysis then guides the design of hardware satisfying the accuracy specification at the minimal hardware cost. This is illustrated on the case of low-precision LTI filters implemented in FPGA logic. This approach is fully automated in a generic, open-source architecture generator tool built upon the FloPoCo framework, and evaluated on a range of Finite and Infinite Impulse Response filters.

Domains: Hardware Architecture [cs.AR]; Embedded Systems; Computer Arithmetic; Signal and Image Processing; Mathematical Software [cs.MS]

Anastasia Volkova, Matei Istoan, Florent de Dinechin, Thibault Hilaire. Towards Hardware IIR Filters Computing Just Right: Direct Form I Case Study. 2017. ⟨hal-01561052v1⟩