Specification and Synthesis of Hardware Checkpointing and Rollback Mechanisms. - Carven Chan; Schwartz-Narbonne, Daniel; Sethi, Divjyot; Malik, Sharad (DAC: Annual ACM/IEEE Design Automation Conference, 2012)