Error-Tolerant Processors: Formal Specification and Verification.

Ameneh Golnari, Yakir Vizel, Sharad Malik

Browse the full ICCAD paper archive.