SMS dit: Synthesis and optimization of DSP algorithms