1. A method for design validation comprising: (a) generating a state-based test model of the design; (b) retiming said test model to produce a retimed test model; (c) abstracting said retimed test model to produce an abstracted test model; and (d) applying validation technique on the abstracted test model.