A gate-level simulation environment for alpha-particle-induced transient faults | IEEE Journals & Magazine | IEEE Xplore