Overview
RV32IMAFDC is listed by RISCV-DV as one of its supported instruction sets, alongside RV64IMAFDC. RISCV-DV is described as an open-source, SystemVerilog/UVM-based instruction generator for RISC-V processor verification.
The provided evidence identifies RV32IMAFDC only as a supported instruction-set target within RISCV-DV; it does not define the internal meaning of the suffix letters in the name.
Verification context in RISCV-DV
Within RISCV-DV, RV32IMAFDC support is part of a broader RISC-V verification environment. The generator supports machine, supervisor, and user privileged modes; page-table randomization and exceptions; privileged CSR setup randomization; privileged CSR test suites; trap and interrupt handling; MMU stress tests; sub-program generation; random program calls; illegal-instruction and HINT-instruction generation; random forward and backward branches; mixing directed instructions with random instruction streams; debug-mode support with randomized debug ROM; instruction-generation coverage; testbench handshake communication; hand-coded assembly tests; and co-simulation with multiple instruction-set simulators.
Tooling requirements
To run RISCV-DV for supported instruction sets such as RV32IMAFDC, the evidence states that users need an RTL simulator with SystemVerilog and UVM 1.2 support. RISCV-DV has been verified with Synopsys VCS, Cadence Incisive/Xcelium, Mentor Questa, and Aldec Riviera-PRO simulators.
Source and usage notes
The RISCV-DV source can be obtained from GitHub. The evidence describes two usage patterns: developers can run scripts directly with python3, while normal users can install the Python package in editable user mode so that repository changes are immediately available through the run and cov commands.
Collaboration status
The evidence states that RISC-V DV has been contributed to CHIPS Alliance and that regular meetings are held to discuss issues, feature priorities, and development progress. It also notes that RISCV-DV is not an officially supported Google product.