Hoang Gia Vu, Takashi Nakada, Yasuhiko Nakashima: Efficient Multitasking on FPGA Using HDL-Based Checkpointing. ARC 2018: 590-602