Hardware-assisted Incremental Checkpointing in Speculative Parallel Discrete Event Simulation