System Level Fixed-Point Design Based on an Interpolative Approach

The design process for xed-point implementations either in software or in hardware requires a bit-true specication 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 specication 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 specic compilers which allow to generate ecient xed-point implementations e...

• Type: Conference
• Year: 1997
• Where: DAC
• Authors: Markus Willems, Volker Bürsgens, Holger Keding, Thorsten Grötker, Heinrich Meyr
• Keywords: Bit-true Speci Cation, Computer Architecture, DAC 1997, Speci Cation, Xed-point Implementations