@inproceedings{92186,
  author = {Carven Chan and Daniel Schwartz-Narbonne and Divjyot Sethi and Sharad Malik},
  title = {Specification and synthesis of hardware checkpointing and rollback mechanisms},
  year = {2012},
  journal = {Proceedings of the 49th Annual Design Automation Conference},
  pages = {1226{\textendash}1232},
  publisher = {ACM},
  language = {eng},
}