Hercules: Efficient Verification of High-Level Synthesis Designs with FPGA AccelerationShuoxiang Xu, Kan Shi, David Boland et al.|Unknown|2025Cited by 0