Automatic floating-point to fixed-point conversion for DSP code generation.
Daniel MénardDaniel ChilletFrançois CharotOlivier SentieysPublished in: CASES (2002)
Keyphrases
- fixed point
- floating point
- code generation
- application development
- dynamical systems
- instruction set
- software development
- modeling language
- fixed point theorem
- sufficient conditions
- belief propagation
- software reuse
- floating point arithmetic
- end users
- rapid prototyping
- formal specification
- reinforcement learning
- databases