Fault-tolerant synthesis using non-uniform redundancy. - Keven L. Woo; Matthew R. Guthaus (ICCD, 2009)