📈 GH Trending Explorer 🎲 Surprise me

← all repos

riscv / riscv-arch-test

git clone https://github.com/riscv/riscv-arch-test.git 4.1.0 · 1mo ago 🔥 on GitHub Trending today

The RISC-V Architectural Certification Tests (ACTs) are a set of assembly language tests designed to certify that a design faithfully implements the RISC-V specification.

+0
stars, 24h · #23,701
+3
stars, 7 days · #22,539
+~10
stars, 30 days · #26,822
802
★ total · +0% this week
378
forks · 128 open issues

Star history (as recorded here)

2026-10-20 · 801 ★ 2026-10-23 · 802 ★
LanguageAssembly
LicenseApache-2.0
Created2018-05-18 (8y ago)
Last pushtoday
Watchers44
OwnerOrganization

Seen on GitHub Trending

  • 2026-10-23 — #13 weekly in assembly · +3 ★
  • 2026-10-22 — #11 daily in assembly
  • 2026-10-22 — #13 weekly in assembly · +2 ★
  • 2026-10-21 — #13 daily in assembly · +1 ★
  • 2026-10-20 — #13 daily in assembly · +1 ★

Links

README excerpt
# RISC-V Architectural Certification Tests
The RISC-V Architectural Certification Tests (ACTs) are a set of assembly language tests intended to help test that a design faithfully implements the RISC-V specification. These are not verification tests and additional verification should be run on all processors.
The Architectural Certification Tests are used with the ACT4 Framework, a Makefile and Python based tool that replaces the deprecated riscof tool. The ACT4 Framework generates and compiles self-checking tests in Executable Linkable Format (ELF) for a device under test (DUT) and optionally collects coverage showing that the tests hit the coverpoints that check the normative rules. The user is then responsible for running all of the ELF files on the DUT with the user's own testbench. Each test reports success or failure, and if possible prints error messages to a console.
The ACT4 Framework requires a UDB configuration file specifying the extensions and parameters supported by the DUT; an rvmodel_macros.h file defining DUT-specific operations such as printing to a console, terminating a test with a success/failure code, and generating interrupts; and a linker script describing the DUT memory map.
RISC-V is highly configurable, such as whether misaligned accesses are allowed or how many PMP registers are implemented. Therefore, the expected results of the tests differ based on the configuration of the DUT. The ACT4 Framework selects the appropriate tests to compile based on the capabilities of the DUT. It then uses the RISC-V Sail reference model, configured to match the DUT, to compute the expected results of each test. These results are then compiled into the final self-checking ELFs.
The Architectural Certification Tests are described in full detail in the Certification Test Plan (CTP). The ACT4 Framework principles of operation are detailed in [LINK COMING SOON]. For details on adding more tests and coverpoints, see the ACT Developer's Guide. Learn more about RVA23 Certification Testing.
## Table of Contents
- Getting Started
 - Prerequisites
 - Get Source Code
 - Configuration
 - Generating Self-Checking ELFs
 - Running Certification Tests
 - Troubleshooting
- Contributing
- Licensing
## Getting Started
This section provides detailed step-by-step instructions to set up the ACT environment and generate ELFs for a Device Under Test (DUT).
### Prerequisites
The ACTs require several tools to generate and run correctly. Ensure all of the following tools are installed before proceeding.
#### 1. System Dependencies
The ACT4 framework uses `make` to run top-level commands. `git` is needed to clone the `riscv-arch-test` repository. Both of these packages are available in your system package manager.
To install system dependencies:
 [code] 
#### 2. `mise` (Tool Manager)
The test generator and framework are written in Python. The recommended way of installing and running Python is using the `uv` project manager, which will handle Python versions, virt