Hardening of Texas Instruments' VC33 DSP