High-level synthesis of recoverable VLSI microarchitectures | IEEE Journals & Magazine | IEEE Xplore