Hercules: Efficient Verification of High-Level Synthesis Designs with FPGA Acceleration - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Shuoxiang Xu' in GoogleThis author has not been identified. Look up 'Zijian Jiang' in GoogleThis author has not been identified. Look up 'Yuxin Zhang' in GoogleThis author has not been identified. Look up 'David Boland' in GoogleThis author has not been identified. Look up 'Yungang Bao' in GoogleThis author has not been identified. Look up 'Kan Shi' in Google

runs on WebDSL