Скачать или смотреть [FPGA 2023] ENCORE: Efficient Architecture Verification Framework with FPGA Acceleration

Kan Shi Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China
Shuoxiang Xu ShanghaiTech University, Shanghai, China
Yuhan Diao Imperial College London, London, China
David P Boland The University of Sydney, Sydney, Australia
Yungang Bao Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China


Verification typically consumes the majority of the time in the hardware development cycle. Primarily this is because multiple iterations to debug hardware using software simulation is extremely time-consuming. While FPGAs can be utilised to accelerate the simulation, existing methods either provide limited visibility of design details, or are expensive to check against a reference model dynamically at the system level.

In this paper, we present ENCORE, an FPGA-accelerated framework for processor architecture verification. The design-under-test (DUT) hardware and the corresponding software emulator run simultaneously on the same FPGA with hardened processors. ENCORE embodies hardware modules that dynamically monitor and compare key registers from both the DUT and reference model, pausing the execution if any mismatches are detected. In this case, ENCORE automatically creates snapshots of the current design status, and offloads this to software simulators for further debugging. We demonstrate the performance of ENCORE by running RISC-V processor designs and benchmarks. We show that ENCORE can achieve over 44000x speedup over a traditional software simulation-based approach, while maintaining full visibility and debugging capabilities.


https://dl.acm.org/doi/10.1145/3543622.357...