Software Workarounds for Hardware Errors: Instruction Patch Synthesis. - Tsung-Po Liu; Shuo-Ren Lin; Jie-Hong R. Jiang (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013)