Hercules: Efficient Verification of High-Level Synthesis Designs with FPGA Acceleration.

Shuoxiang Xu, Zijian Jiang, Yuxin Zhang, David Boland, Yungang Bao, Kan Shi

Browse the full FPGA paper archive.