US7159201B2 - Method and Apparatus for Cut-Point Frontier Selection and for Counter-Example Generation in Formal Equivalence Verification