00

Mutation-based Compliance Testing for RISC-V

Paper ☆ WATCH ⎘ SHARE

First seen 6/10/2026

Last seen 9/28/2026

Evidence 15 chunks

01

NEIGHBORHOOD

4 nodes · 3 edges

graph · Mutation-based Compliance Testing for RISC-V · depth=1

02

RELATIONSHIPS

39 connections

ELF mentions → 85% 2e evidence

The paper mentions ELF test files in the context of test execution infrastructure.

Compliance Testing uses → 100% 2e evidence

The paper addresses RISC-V compliance testing.

GRIFT evaluates → 100% 2e evidence

The paper evaluates the complete CT infrastructure on GRIFT and finds a bug.

Mutation Classes uses → 100% 2e evidence

The paper defines mutation classes tailored for RISC-V as part of its approach.

Compliance Test-suite evaluates → 100% 2e evidence

The paper evaluates the quality of the official Compliance Test-suite using mutation analysis.

Towards specification and testing of RISC-V ISA compliance compares with → 95% 2e evidence

The paper compares its approach against the specification-based CT from the related paper.

RV32I uses → 100% 2e evidence

The paper focuses on the RISC-V base RV32I ISA.

mutation testing uses → 100% 2e evidence

The paper proposes a mutation-based approach to boost RISC-V compliance testing.

Symbolic Execution uses → 70% 2e evidence

Cited as employing symbolic execution to find specific inputs in the context of RISC-V verification.

Symbolic Execution uses → 100% 2e evidence

The paper leverages symbolic execution to generate test-cases that kill mutants.

CSR mentions → 90% 2e evidence

The paper discusses CSRs as a future extension direction and in context of virtual memory.

riscv-formal mentions → 95% 1e evidence

The paper mentions riscv-formal as a formal verification approach for RISC-V.

OneSpin 360 DV RISC-V Verification App mentions → 95% 1e evidence

The paper mentions OneSpin 360 DV as a formal verification approach for RISC-V.

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

The paper mentions the Scala-based Torture Test generator.

Certitude mentions → 90% 1e evidence

The paper mentions Certitude from Synopsys as a commercial tool using functional qualification principles.

MicroTESK mentions → 85% 1e evidence

The paper references MicroTESK as a specification-based test program generator.

Functional Qualification mentions → 85% 1e evidence

The paper references functional qualification as a concept used in mutation-based RTL validation.

Bayesian Network Test Generation mentions → 85% 1e evidence

The paper mentions coverage-directed test generation using Bayesian networks as a related technique.

Difference-based Testing mentions → 85% 1e evidence

The paper discusses difference-based testing as a future direction.

RTL mentions → 85% 1e evidence

The paper discusses evaluating the generated test-suite on RISC-V RTL cores as future work.

Virtual Prototype mentions → 85% 1e evidence

The paper references a virtual prototype (VP) as one of the evaluated RISC-V simulators.

Functional Coverage mentions → 90% 1e evidence

The paper mentions that the official CT monitors quality by leveraging functional coverage metrics.

Model Checking mentions → 90% 1e evidence

The paper mentions model checking approaches for RISC-V verification.

Coverage-guided Fuzzing mentions → 90% 1e evidence

The paper mentions coverage-guided fuzzing as used by a related compliance testing approach.

constrained-random test generation mentions → 90% 1e evidence

The paper mentions constrained-random test generation as used by RISCV-DV.

UVM mentions → 90% 1e evidence

The paper mentions UVM as used by RISCV-DV for test generation.

Mutation-based compliance testing uses → 93% 1e evidence

From the title, mutation-based compliance testing is the method used.

Vladimir Herdt authored by → 100% 1e evidence

Vladimir Herdt is listed as an author of the paper.

RISC-V targets ISA → 95% 1e evidence

The title explicitly states the work is for RISC-V.

Sören Tempel authored by → 100% 1e evidence

Sören Tempel is listed as an author of the paper.

Daniel Große authored by → 100% 1e evidence

Daniel Große is listed as an author of the paper.

Rolf Drechsler authored by → 100% 1e evidence

Rolf Drechsler is listed as an author of the paper.

Angr uses → 100% 1e evidence

The paper uses angr as the symbolic execution backend.

riscv-ovpsim evaluates → 100% 1e evidence

The paper evaluates the complete CT infrastructure on riscvOVPsim.

spike evaluates → 100% 1e evidence

The paper evaluates the complete CT infrastructure on SPIKE.

Sail RISC-V Model evaluates → 100% 1e evidence

The paper evaluates the complete CT infrastructure on the SAIL RISC-V model.

Closing the RISC-V compliance gap: Looking from the negative testing side mentions → 95% 1e evidence

The paper mentions the negative testing approach from the related paper.

Verifying Instruction Set Simulators using Coverage-guided Fuzzing mentions → 90% 1e evidence

The paper references the coverage-guided fuzzing paper for ISS verification.

riscv-dv mentions → 95% 1e evidence

The paper mentions RISCV-DV by Google as a related test generation tool.