An effective approach to detect logic soft errors in digital circuits based on GRAAL | IEEE Conference Publication | IEEE Xplore