2. The method of claim 1 further comprises property checking the abstraction model in relation to one or more design properties using a satisfiability or validity solver, where the solver outputs an assignment of variables that represent a violation of the design properties.
2. The method of claim 1 further comprises property checking the abstraction model in relation to one or more design properties using a satisfiability or validity solver, where the solver outputs an assignment of variables that represent a violation of the design properties. 7. The method of claim 2 further comprises refining the abstraction model when the violation is deemed infeasible, and repeating the steps of property checking and feasibility checking with the refined abstraction model.