Adapting the DMTCP Plugin Model for Checkpointing of Hardware Emulation. - Rohan Garg 001; Kapil Arya; Jiajun Cao; Gene Cooperman; Jeff Evans; Ankit Garg; Neil A. Rosenberg; K. Suresh (CoRR, 2017)