19. The method of claim 15 , wherein the step of producing a first multiplexer further comprises the following step: constructing a first ITE expression from the first set of output elements.
19. The method of claim 15 , wherein the step of producing a first multiplexer further comprises the following step: constructing a first ITE expression from the first set of output elements. 20. The method of claim 19 , further comprising the following step: converting the first ITE expression into a first multi-terminal binary decision diagram.