Patent ID: 8671395

Claim:
A method comprising: analyzing, via a computing device, a first deadend during a simulation and a first constraint of the simulation, wherein analyzing includes automatically analyzing one or more constraints and an electronic design in order to avoid a deadend in the simulation; determining, during the simulation, via the computing device, if the first constraint causes the first deadend; if the first constraint causes the first deadend, defining, during the simulation, via the computing device, a first lookahead constraint corresponding to the first constraint; rerunning, via the computing device, a first previous cycle in the simulation while adding the first lookahead constraint to the simulation; avoiding the first deadend by applying the first lookahead constraint to the simulation; if rerunning the first previous cycle during the simulation leads to a second deadend, analyzing the second deadend in the simulation and a second constraint of the simulation; determining if the second constraint causes the second deadend; if the second constraint causes the second deadend, defining a second lookahead constraint corresponding to the second constraint; rerunning a second previous cycle in the simulation while adding the second lookahead constraint to the simulation; and avoiding the second deadend by applying the second lookahead constraint to the simulation.