Contrast of a HDL model and COTS version of a microprocessor for soft-error testing | IEEE Conference Publication | IEEE Xplore