Area Overhead Analysis of SEF: A Design Methodology for Tolerating SEU | IEEE Journals & Magazine | IEEE Xplore