18. The method of claim 16 further comprises extracting one or more subsets of constraints from the set of constraints that represent the infeasible violation and using their negation to create refinement lemmas.
18. The method of claim 16 further comprises extracting one or more subsets of constraints from the set of constraints that represent the infeasible violation and using their negation to create refinement lemmas. 19. The method of claim 18 further comprises extracting one, some, or all minimally unsatisfiable subsets of constraints from the set of the violation constraints, where a minimally unsatisfiable subset is a set of constraints that when conjoined with the design constraints is unsatisfiable, but becomes satisfiable if one or more of its constraints is removed from the conjoined set.