Lightweight Dual Modular Redundancy through Approximate Computing. - Gabriel L. Nazar; Pedro H. Kopper; Marcos T. Leipnitz; Ben H. H. Juurlink (SBESC, 2021)