RISC-V ISA tests

Concept

RISC-V ISA tests are a set of unit-test-style verification binaries used in RISC-V processor verification. In the cited MICRO-54 evaluation, they are described as tests from a UC Berkeley GitHub repository that sweep through the base instructions defined in the RISC-V ISA, checking basic functionality.

First seen 5/27/2026

Last seen 6/9/2026

Evidence 5 chunks

Wiki v1

WIKI

Overview

RISC-V ISA tests are verification binaries used for RISC-V processor verification. The cited MICRO-54 paper describes them as coming from a UC Berkeley GitHub repository containing unit tests that sweep through the base instructions defined in the RISC-V ISA. The same discussion characterizes these tests as checking basic functionality.

Role in processor verification

READ FULL ARTICLE →

NEIGHBORHOOD

2 nodes · 1 edges

graph · RISC-V ISA tests · depth=1

RELATIONSHIPS

2 connections

Effective Processor Verification with Logic Fuzzer Enhanced Co-simulation ← uses 100% 3e

The paper uses RISC-V ISA tests as verification binaries.

Minimally Invasive Generation of RISC-V Instruction Set Simulators from Formal ISA Models ← evaluates 100% 2e

The paper uses the official RISC-V ISA tests to evaluate conformance

LINKED ENTITIES

1 links

Effective Processor Verification with Logic Fuzzer Enhanced Co-simulation USES Extracted graph relationship

CITATIONS

5 sources

5 citations — click to expand

[1] RISC-V ISA tests are described as a UC Berkeley GitHub repository containing unit tests that sweep through the base instructions defined in the RISC-V ISA. [PDF] Effective Processor Verification with Logic Fuzzer Enhanced Co ...

[2] The cited paper characterizes RISC-V ISA tests as checking basic functionality. [PDF] Effective Processor Verification with Logic Fuzzer Enhanced Co ...

[3] The MICRO-54 evaluation used verification binaries from RISC-V ISA tests and random instruction streams generated with Google's riscv-dv tool. [PDF] Effective Processor Verification with Logic Fuzzer Enhanced Co ...

[4] The evaluation ran 228 ISA tests for CVA6, 215 for BlackParrot, and 228 for BOOM, with corresponding random-test counts of 120, 150, and 120. [PDF] Effective Processor Verification with Logic Fuzzer Enhanced Co ...

[5] The evaluation methodology first ran binaries on a base setup with Dromajo enabled, then reran the same binaries with Logic Fuzzers enabled to expose additional bugs. [PDF] Effective Processor Verification with Logic Fuzzer Enhanced Co ...