Patent ID: 7836413
Filing Date: 2010-11-16
Classification: G06F,Y10S

Abstract:
1. 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, 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.