Determining Fixed-Point Formats using the Worst-Case Peak Gain measure (exposé court)
Intervenant(s) : Anastasia Volkova (Pequan)
We give an algorithm to determine the Fixed-Point formats of the variables in an implementation of a Linear Time Invariant (LTI) Digital Filter in State-Space representation. The Fixed-Point formats are given for both the state and output variables, comprising both position of the most and the least significant bits. The computational errors in the intermediate steps of the filter evaluation as well as their accumulation over time is fully taken into account. Our approach is rigorous in the way that the output Fixed-Point formats are shown to avoid overflow for any possible input.
marc (at) nullmezzarobba.net