Be Kind, Rewind: Checkpoint & Restore Capability for Improving Reliability of Large-Scale Semiconductor Design. - Igor Ljubuncic; Ravi Giri; Andrew Goldis; Avikam Rozenfeld (INCoS, 2014)