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)