Architectural tests, from generation to RTL results

Generate and run the exact ACT4 matrix for a pinned CV32E40P configuration.

Checks passed

Public demonstration

This is not a client result. The recorded command and check status appear below.

Recorded outcome

All 94 named RTL tests passed in the recorded run. The wrapper rejects a missing or changed matrix, mismatched source or simulator provenance, ambiguous results, and timeouts.

What was checked

Problem: A test result is hard to trust when generated programs, reference expectations, or simulator sources come from different revisions. Missing tests and stale binaries can also produce a misleading summary.
Scope: The pinned OpenHW CV32E40P v2 RV32IMC configuration and its 94 named ACT4 tests, including the selected integer, compressed, CSR, and machine privilege cases in that matrix.
Approach: The flow starts from pinned source clones, generates tests and reference expectations, builds the RTL simulator, and converts each ELF into the HEX file consumed by the testbench. It checks the exact test-name manifest and requires a single passing marker and successful exit for every run.
Evidence: The public repository retains generation and build logs, the 94 simulation logs, ELF and HEX hashes, source revisions, the allowed integration changes, and a build record tying the simulator to its inputs.

Scope and limits

What these checks do not establish.

This is an architectural test integration result for the named configuration, not RISC-V certification, endorsement, or complete processor verification.
The matrix does not establish support for other cores, floating point, or other privilege configurations.
Passing these tests does not establish performance, security, formal correctness, or physical implementation quality.
Testbench integration and platform assumptions are part of the result. Tool runtimes are not client delivery estimates.

Reproduce and inspect

Recorded verification status

Repository revision 2ee7da7 records fresh source clones and ACT4 generation. A Verilator 5.020 RTL build on Linux ARM64 passed all 94 named tests on 15 September 2026. Seven harness regressions passed. The recorded source and image revisions are in the public repository.

Recorded commandriscv-act4-verification

git clone https://github.com/Rivoryxa-Technologies/riscv-act4-verification
cd riscv-act4-verification
# Requires the Linux ARM64 setup documented in the README.
./reproduce.sh

Filespins.jsonsource and generation image revisionsexpected-tests.txtexact test matrixsetup.pysource setup and simulator buildrun.pycomplete matrix execution and evidence checksrecorded/2026-09-15/generation, build, and RTL results

Next steps

Service: RISC-V verification Service: RISC-V architectural tests (ACT4) Other examples

Want this method on your design?

Share the problem in a few lines. We will discuss the scope before any confidential project material changes hands.

Discuss a verification problem