Single Event Transients, META, Satisfiability Modulo Theory, Radiation Faults, Soft Error Rate