A method, system, and computer program product for integrated circuit
recovery testing using simulation checkpoints is provided. The method
includes executing an error injection test on an integrated circuit that
includes a plurality of domains and latches. The error injection test
includes injecting an error into one of the domains, clock stopping the
domain with the error, performing fencing between the domain with the
error and the other domains, and quiescing the other domains. A
checkpoint is created of a state of the integrated circuit after the
clock stopping, fencing and quiescing have been completed. A mainlines
test of the integrated circuit is executed. The mainline test includes
applying the checkpoint to the integrated circuit, and performing a
recovery reset of the stopped domain. It is determined if the mainline
test executed correctly and the results of the determining are output.