Patent ID: 7836413

Claim:
A computer program product in a computer-readable medium for efficiently producing a description of a logic function in m-ary decision representations, said computer program product comprising: a tangible computer-readable storage medium; instructions on the tangible computer-readable storage medium, when executed by a computer, for setting a first size limit for a first set of one or more m-ary decision representations describing a logic function; instructions on the tangible computer-readable storage medium, when executed by a computer, for setting a second size limit for a second set of one or more m-ary decision representations describing a logic function; instructions on the tangible computer-readable storage medium, when executed by a computer, for building said first set of m-ary decision representations of said logic function with one of the set of a depth-first technique or a breadth-first technique until said first size limit is reached; instructions on the tangible computer-readable storage medium, when executed by a computer, for building a second set of m-ary decision representations of said logic function with the other of the set of a depth-first technique or a breadth-first technique until said second size limit is reached; instructions on the tangible computer-readable storage medium, when executed by a computer, for, in response to determining that a union of first set and said second set of m-ary decision representations do not describe said logic function, for increasing said first size limit, for increasing said second size limit, and for repeating said instructions for building said first set and said instructions for building said second set; and instructions on the tangible computer-readable storage medium, when executed by a computer, for, in response to determining that said union of said first set of m-ary decision representations and said second set of m-ary decision representations describes said logic function, reporting the union of said first set of m-ary decision representations and said second set of m-ary decision representations to an output file.