Constraint analysis for DSP code generation by B. Mesman