Patent ID: 7640528

Claim:
A system for identifying factorizations of a function, the system comprising: an input value circuit including logic adapted to generate a set of function input values; a factorization circuit including logic adapted to specify a factorization of a function, wherein the function represents a portion of a user design; a plurality of cofactor unit circuits adapted to operate in parallel and responsive to the input value and the factorization circuit, wherein each cofactor unit circuit includes logic adapted to generate a cofactor of the factorization of a function for the set of function input values and logic adapted to determine at least one attribute of the cofactor of the function; and a cofactor analysis unit including logic adapted to compare the attributes of cofactors determined by the plurality of cofactor unit circuits with at least one criteria, and when the at least one criteria is met, to provide information identifying the factorization of the function, else to not provide the information identifying the factorization of the function.