Contrast of a HDL model and COTS version of a microprocessor for soft-error testing | Publicación