A technique for micro-rollback self-recovery synthesis | IEEE Journals & Magazine | IEEE Xplore