Zaslat SMS: Synthesis and optimization of DSP algorithms