Ameneh Golnari, Yakir Vizel, Sharad Malik. Error-Tolerant Processors: Formal Specification and Verification. In Diana Marculescu, Frank Liu, editors, Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2015, Austin, TX, USA, November 2-6, 2015. pages 286-293, ACM, 2015. [doi]
Abstract is missing.