20. The method of claim 19 , further comprising the following step: converting the first ITE expression into a first multi-terminal binary decision diagram.
20. The method of claim 19 , further comprising the following step: converting the first ITE expression into a first multi-terminal binary decision diagram. 21. The method of claim 20 , further comprising the following step: simplifying the first multi-terminal binary decision diagram.