Design Representation and Manipulation For High-level Synthesis of Dsp Algorithms