Be Kind, Rewind: Checkpoint & Restore Capability for Improving Reliability of Large-Scale Semiconductor Design | IEEE Conference Publication | IEEE Xplore