31. The computer program product of claim 30 further comprised of code for generating a reference model based on the word-level data flow graph.
31. The computer program product of claim 30 further comprised of code for generating a reference model based on the word-level data flow graph. 33. The computer program product of claim 31 further comprised of code for reducing the bit-level data flow graph by finding adders, to produce a reduced bit-level data flow graph.