High-level synthesis of self-recovering microarchitectures | IEEE Conference Publication | IEEE Xplore