1. A method, performed by execution of instructions loaded into a computer system, of dynamically generating a hint set for enhanced reachability analysis in a sequential circuitry design represented by a binary decision diagram, the method comprising: determining a ranking of a first plurality of variables for a binary decision diagram; sorting the first plurality of variables in order of the ranking; selecting a second plurality of variables from among the first plurality of variables; and creating a hint based on the selected variables to be included in said hint set.