Obfuscating DSP Circuits via High-Level Transformations