Precision Synthesis and Altera > How to Infer a DSP Function