@inproceedings{92391,
  author = {Ameneh Golnari and Yakir Vizel and Sharad Malik},
  title = {Error-tolerant processors: Formal specification and verification},
  year = {2015},
  journal = {Proceedings of the IEEE/ACM International Conference on Computer-Aided Design},
  pages = {286{\textendash}293},
  publisher = {IEEE Press},
  language = {eng},
}