System and method for building a binary decision diagram associated with a target circuit

A method for constructing a binary decision diagram (BDD), comprising:

• constructing a first BDD data structure operable to reflect a function associated with a target circuit, wherein the first BDD data structure is constructed using a first script that includes a first set of parameters such that the first BDD data structure exceeds a major threshold value;
• and
• constructing a second BDD data structure using a second script that includes a second set of parameters which reflect a modification to the first set of parameters, the modification reflecting an attempt to minimize a size associated with a node level of the second BDD data structure and being based on a minor threshold value that was identified in association with building the first BDD data structure.

A system for constructing a binary decision diagram (BDD), comprising:

• means for constructing a first BDD data structure operable to reflect a function associated with a target circuit, wherein the first BDD data structure is constructed using a first script that includes a first set of parameters such that the first BDD data structure exceeds a major threshold value;
• and
• means for constructing a second BDD data structure using a second script that includes a second set of parameters which reflect a modification to the first set of parameters, the modification reflecting an attempt to minimize a size associated with a node level of the second BDD data structure and being based on a minor threshold value that was identified in association with building the first BDD data structure.

Software for constructing a binary decision diagram (BDD), the software being embodied in a computer readable medium and comprising code such that when executed is operable to:

• construct a first BDD data structure operable to reflect a function associated with a target circuit, wherein the first BDD data structure is constructed using a first script that includes a first set of parameters such that the first BDD data structure exceeds a major threshold value;
• and
• construct a second BDD data structure using a second script that includes a second set of parameters which reflect a modification to the first set of parameters, the modification reflecting an attempt to minimize a size associated with a node level of the second BDD data structure and being based on a minor threshold value that was identified in association with building the first BDD data structure.