Optimal recovery point insertion for high-level synthesis of recoverable microarchitectures | IEEE Conference Publication | IEEE Xplore