High-level synthesis of recoverable microarchitectures | IEEE Conference Publication | IEEE Xplore