29. The method of claim 28 , wherein the step of building a first non-canonical DFG structure further comprises: constructing a ITE expression from the output elements.
29. The method of claim 28 , wherein the step of building a first non-canonical DFG structure further comprises: constructing a ITE expression from the output elements. 30. The method of claim 29 , wherein the step of building a first non-canonical DFG structure further comprises: constructing a multi-terminal BDD from the ITE expression.