Evaluating the impact of DFM library optimizations on alpha-induced SEU sensitivity in a microprocessor core | IEEE Conference Publication | IEEE Xplore