A checkpoint/restore framework for systemc-based virtual platforms | IEEE Conference Publication | IEEE Xplore