StateReveal: Enabling Checkpointing of FPGA Designs with Buried State | IEEE Conference Publication | IEEE Xplore