A novel approach to code analysis of digital signal processing systems
Olaf Lüthje, Martin Coors, Holger Keding, H. Meyr · 2001
We present a technique for program analysis targeting digital signal processing systems. It is utilized by the FRIDGE design environment to transform floating-point systems into fixed-point systems. While the transforming algorithms have been subject to a number of other publications, we now put the focus on the novel technique of program analysis employed by FRIDGE. The code is analyzed by interpreting it without processing any concrete input data. This enables most accurate analysis even capable of detecting dynamic code properties without relying on input vectors as e. g. profilers do.