A technique for micro-rollback self-recovery synthesis

The problem and efficient solution of automated synthesis of a self-recovery chip using micro-rollback and checkpoint insertion techniques are proposed and discussed. An efficient design of micro-rollback and checkpoint insertion can be achieved by considering them during the scheduling and allocation steps. The rollback and recovery scheme is designed to satisfy the constraints on the number of registers available and the maximum allowable recovery time. The proposed checkpointing (rollback point) algorithm will allow the system to recover from most transient faults