Developing Benchmarks for Radiation Testing of Microcontroller Arithmetic Units Using ATPG | IEEE Journals & Magazine | IEEE Xplore