ReDO: Cross-Layer Multi-Objective Design-Exploration Framework for Efficient Soft Error Resilient Systems | IEEE Journals & Magazine | IEEE Xplore