Stav dette: Synthesis and optimization of DSP algorithms