Shuoxiang Xu, Zijian Jiang, Yuxin Zhang, David Boland, Yungang Bao, Kan Shi. Hercules: Efficient Verification of High-Level Synthesis Designs with FPGA Acceleration. In Andrew Putnam, Jing Li 0073, editors, Proceedings of the 2025 ACM/SIGDA International Symposium on Field Programmable Gate Arrays, FPGA 2025, Monterey, CA, USA, 27 February 2025 - 1 March 2025. pages 56-66, ACM, 2025. [doi]
Abstract is missing.