00

Constrained Random Verification for RISC-V: Overview, Evaluation and Discussion

Paper ☆ WATCH ⎘ SHARE

First seen 6/7/2026

Last seen 9/28/2026

Evidence 11 chunks

01

NEIGHBORHOOD

3 nodes · 3 edges

graph · Constrained Random Verification for RISC-V: Overview, Evaluation and Discussion · depth=1

02

RELATIONSHIPS

24 connections

riscv-dv evaluates → 100% 3e evidence

The paper provides an overview, evaluation and discussion of CRV for RISC-V based on the RISC-V DV framework.

RISC-V Torture Test Generator mentions → 90% 2e evidence

The paper mentions the RISC-V Torture Test Generator as a related but more limited tool.

riscv-formal mentions → 90% 2e evidence

The paper mentions riscv-formal as a model checking-based verification tool.

OneSpin 360 DV RISC-V Verification App mentions → 90% 2e evidence

The paper mentions OneSpin 360 DV RISC-V Verification App as a model checking tool.

Functional Coverage evaluates → 90% 2e evidence

The paper evaluates functional coverage using SystemVerilog covergroup definitions.

Immediate Field Coverage evaluates → 90% 2e evidence

The paper analyzes immediate field coverage statistics.

Register Access Coverage evaluates → 90% 2e evidence

The paper analyzes register access statistics and coverage.

Instruction Distribution Analysis evaluates → 90% 2e evidence

The paper analyzes instruction distributions for different test strategies.

Mutation-Based Testing uses → 100% 2e evidence

The paper leverages mutation-based testing to assess the bug hunting capabilities of RISC-V DV.

Cross-Level Verification mentions → 90% 2e evidence

The paper mentions cross-level verification as a related and future direction.

RISC-V targets ISA → 100% 2e evidence

From the title, the study focuses on constrained random verification applied to RISC-V.

QuestaSim uses → 100% 1e evidence

The evaluation uses QuestaSim as the RTL simulator.

CoreDSL mentions → 85% 1e evidence

The paper mentions CoreDSL as a potential DSL for ISA description to extract test generation constraints.

constrained random verification uses → 93% 1e evidence

The title explicitly states the technique discussed and evaluated is constrained random verification.

constrained random verification evaluates → 95% 1e evidence

Provides an overview and evaluation of constrained random verification techniques.

Sallar Ahmadi-Pour authored by → 100% 1e evidence

The paper is authored by Sallar Ahmadi-Pour.

Vladimir Herdt authored by → 100% 1e evidence

The paper is authored by Vladimir Herdt.

Rolf Drechsler authored by → 100% 1e evidence

The paper is authored by Rolf Drechsler.

University of Bremen published by → 95% 1e evidence

The paper is affiliated with the University of Bremen.

DFKI GmbH published by → 95% 1e evidence

The paper is affiliated with DFKI GmbH.

Constrained-Random Verification (CRV) uses → 100% 1e evidence

The paper is centered on constrained random verification for RISC-V.

Coverage-Guided Test Generation mentions → 90% 1e evidence

The paper mentions coverage-guided test generation as a related technique.

Bayesian network-based test generation mentions → 90% 1e evidence

The paper mentions Bayesian network-based test generation as a related approach.

Fuzzing mentions → 90% 1e evidence

The paper mentions fuzzing as a related technique for RISC-V verification.