A method and an automated tool to perform SET fault-injection on HDL-based designs | IEEE Conference Publication | IEEE Xplore