Lyra: A Hardware-Accelerated RISC-V Verification Framework with Generative Model-Based Processor Fuzzing

Documenti analoghi

• TurboFuzz: FPGA Accelerated Hardware Fuzzing for Processor Agile Verification
  di: Zhong, Yang, et al.
  Pubblicazione: (2025)
• FERIVer: An FPGA-assisted Emulated Framework for RTL Verification of RISC-V Processors
  di: Qin, Kun, et al.
  Pubblicazione: (2025)
• Functional ISS-Driven Verification of Superscalar RISC-V Processors
  di: Galimberti, Andrea, et al.
  Pubblicazione: (2024)
• SimFuzz: Similarity-guided Block-level Mutation for RISC-V Processor Fuzzing
  di: Lyu, Hao, et al.
  Pubblicazione: (2026)
• Web-Based Simulator of Superscalar RISC-V Processors
  di: Jaros, Jiri, et al.
  Pubblicazione: (2024)