Title: Synthesis and Optimization of Dsp Algorithms