Lingkan Gong, Oliver Diessel. Functionally verifying state saving and restoration in dynamically reconfigurable systems. In Katherine Compton, Brad L. Hutchings, editors, Proceedings of the ACM/SIGDA 20th International Symposium on Field Programmable Gate Arrays, FPGA 2012, Monterey, California, USA, February 22-24, 2012. pages 241-244, ACM, 2012. [doi]
Abstract is missing.