Text this: Specification and Synthesis of Hardware Checkpointing and Rollback Mechanisms.