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]
@inproceedings{XuJZBBS25,
title = {Hercules: Efficient Verification of High-Level Synthesis Designs with FPGA Acceleration},
author = {Shuoxiang Xu and Zijian Jiang and Yuxin Zhang and David Boland and Yungang Bao and Kan Shi},
year = {2025},
doi = {10.1145/3706628.3708866},
url = {https://doi.org/10.1145/3706628.3708866},
researchr = {https://researchr.org/publication/XuJZBBS25},
cites = {0},
citedby = {0},
pages = {56-66},
booktitle = {Proceedings of the 2025 ACM/SIGDA International Symposium on Field Programmable Gate Arrays, FPGA 2025, Monterey, CA, USA, 27 February 2025 - 1 March 2025},
editor = {Andrew Putnam and Jing Li 0073},
publisher = {ACM},
isbn = {979-8-4007-1396-5},
}