Deakstadieđáhus: Synthesis and optimization of DSP algorithms