Radiation-hardened microprocessors