ACT 4.0 is a major overhaul of the RISC-V Architecture Certification Test suite. The old riscof/riscv-ctg/riscv-isac/riscv-config flow has been replaced with an entirely new Python-based test compilation framework, a new testgen package for generating tests, and SystemVerilog-based functional coverage. The tests are now self-checking and many more RISC-V extensions are now supported.
- Complete rewrite of the test framework, replacing
riscof/riscv-ctg/riscv-isacwith a new Python-based system - Custom Python build system, replacing generated Makefiles from
riscof - Configuration validation driven by RISC-V Unified Database (UDB)
- All tests are now self-checking and report pass/fail status without post-processing using expected results from the RISC-V Sail model
- Detailed failure logging with failing instructions, expected result, and mismatched actual result
- Coverage collection using industry-standard SystemVerilog functional coverage with coverpoints linked to normative rules from the ISA manual
- The Certification Test Plan (CTP) contains details on what features each test and coverpoint exercise
- The ACT4 tests have been validated on the Spike, QEMU, and Whisper simulators
For release notes of previous versions of the riscv-arch-test suite (3.10 and earlier) see the previous changelog.