A java simulation tool for fixed-point system design

Abstract

The realisation of signal processing algorithms in fixed-point offers performance advantages over floating-point realisations. However, the task is widely acknowledged to be tedious, error prone, and time consuming. In this paper, we propose a systematic approach to automate fixed-point system design. The technique generates fixed-point parameters that satisfy a precision constraint imposed on the primary output of the algorithm to be realised. The development of a simulation framework based on this analysis allows fixed-point designs to be generated in a shorter time frame. The effectiveness of the approach and framework is demonstrated through the implementation of an Erbium-Doped Fibre Amplifier (EDFA) control algorithm in fixed-point.

Checking roundoff errors using counterexample-guided narrowing

“…There are many works on sophisticated floating-point-tofixed-point translations, aimed at hard-wired implementations. A dataflow graph is traced in a backward manner to propagate the output requirement by CI-based estimation, to optimize the fixed point number formats [9]. Then, the translation is verified by testing.…”