AYLWARD JOHN B

Method, system, and computer program product for integrated circuit recovery testing using simulation checkpoints