US7721176B2 - Method, System, and Computer Program Product for Integrated Circuit Recovery Testing Using Simulation Checkpoints