Specification and synthesis of hardware checkpointing and rollback mechanisms

Author

Carven Chan, Daniel Schwartz-Narbonne, Divjyot Sethi, Sharad Malik

Publication Year

2012

Type

Conference Paper

Conference Name

Proceedings of the 49th Annual Design Automation Conference

Publisher

ACM