State saving for interactive optimistic simulation | IEEE Conference Publication | IEEE Xplore