Text this: Synthesis and Optimization of DSP Algorithms