A Gate-Level Simulation Environment for Alpha-Particle-Induced Transient Faults