@misc{indiciaef3bcd7422003,
  title = {FERIVer: An FPGA-assisted Emulated Framework for RTL Verification of RISC-V Processors},
  author = {Kun Qin and Xiaorang Guo and Martin Schulz and Carsten Trinitis},
  year = {2025},
  url = {https://arxiv.org/abs/2504.05284},
  note = {Source identifier: 2504.05284}
}