Design of an automated validation environment for a radiation hardened MIPS microprocessor