Text this: Simulation and Synthesis Techniques for Soft Error-Resilient Microprocessors