An Automated SEU Fault-Injection Method and Tool for HDL-Based Designs | IEEE Journals & Magazine | IEEE Xplore