Inspec keywords: automatic test pattern generation; fault diagnosis; redundancy; radiation hardening (electronics)
Other keywords: vulnerability-aware approximate triple modular redundancy; ATMR modules; automatic test pattern generation
Subjects: Reliability; Digital circuit design, modelling and testing; Semiconductor integrated circuit design, layout, modelling and testing; Radiation effects (semiconductor technology)