Constraint analysis for DSP code generation door B. Mesman