1. An apparatus, comprising: a first binary decision diagram (BDD) data structure operable to reflect a function associated with a target circuit, wherein the first BDD data structure may be 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 a second BDD data structure operable to reflect the function associated with the target circuit and that may be constructed using a second script that includes a second set of parameters which reflect a modification in the first set of parameters, the modification reflecting an attempt to reduce a size associated with a node level of the second BDD data structure such that it is smaller than the first BDD data structure and being based on a minor threshold value that was identified in association with building the first BDD data structure.