Minimization of Vote Operations for Soft Error Detection in DMR Design with Error Correction by Operation Re-Execution. - Kazuhito Ito; Yuto Ishihara; Shinichi Nishizawa (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2018)