I don't have any numbers for you, but here's a starting source: https://hps.org/publicinformation/ate/q11162.html https://hps.org/publicinformation/ate/q11162.h

I don't have any numbers for you, but here's a starting source: https://hps.org/publicinformation/ate/q11162.html https://hps.org/publicinformation/ate/q11162.html Most of my knowledge of the subject is from a friend who did his PhD dissertation on it; specifically, triply-redundant adder circuits for single-bit operations, allowing for some rad-hard chip designs using regular foundry processes.