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