TY  - RPRT
TI  - FERIVer: An FPGA-assisted Emulated Framework for RTL Verification of RISC-V Processors
AU  - Kun Qin
AU  - Xiaorang Guo
AU  - Martin Schulz
AU  - Carsten Trinitis
PY  - 2025
UR  - https://arxiv.org/abs/2504.05284
ID  - 2504.05284
ER  -