The design process for xed-point implementations either in software or in hardware requires a bit-true specication of the algorithm in order to analyze quantization eects on an algorithmical level, abstracting from implementational details. On the other hand, system design starts from a oating-point description, so that a transformation of a oating-point description into a xed-point description becomes necessary. Within this paper we present a tool that allows an automated, interactive transformation from oating-point ANSI-C into a bit-true specication based on a new data type xed that is introduced as an extension to ANSI-C. The concept is rooted in a sophisticated data dependency analysis that allows to handle control structures as well as pointers. It is part of the xed-point design environment FRIDGE 1 which includes an advanced simulator that covers the extended ANSI-C syntax as well as target specic compilers which allow to generate ecient xed-point implementations either for HW or for SW, starting from the bit-true algorithm specication.

No abstract