ENCORE: Efficient Architecture Verification Framework with FPGA Acceleration. - Kan Shi; Shuoxiang Xu; Yuhan Diao; David Boland; Yungang Bao (FPGA, 2023)

Hercules: Efficient Verification of High-Level Synthesis Designs with FPGA Acceleration. - Shuoxiang Xu; Zijian Jiang; Yuxin Zhang; David Boland; Yungang Bao; Kan Shi (FPGA, 2025)