lowRISC
lowRISC is a not-for-profit engineering company that creates and maintains commercial-grade open-source silicon designs through its collaborative Silicon Commons approach.
Maintained silicon designs
The organization maintains Ibex, described as a production-quality open-source 32-bit RISC-V CPU core written in SystemVerilog. Ibex is heavily parameterizable, suited for embedded control applications, has undergone extensive verification, and has seen multiple tape-outs.
Ibex supports the RISC-V Integer (I) or Embedded (E), Integer Multiplication and Division (M), Compressed (C), and B/Bit Manipulation extensions.
Ibex in OpenTitan
Ibex is used in OpenTitan, an open-source silicon Root of Trust project. The cited source describes OpenTitan as a secure chip intended to serve as a foundational security component, providing trustworthy functions that other parts of a device or system can use to establish strong security.
Verification approach used for Ibex
Ibex is verified using a UVM-based testbench with co-simulation against the Spike instruction-set-simulator reference model. The testbench runs binaries generated from source produced by the RISC-DV random instruction generator.
The Ibex testbench also provides randomized memory timings, memory errors, interrupts, and debug requests, and it includes a comprehensive test plan and coverage plan. Because Ibex has many parameters and a large configuration space, verification closure targets a set of supported configurations rather than every possible parameter set.
The cited source states that current verification-closure effort is focused on the OpenTitan configuration, which is the only configuration with nightly regression runs. It also reports that verification maturity is tracked using Verification Stages defined by the OpenTitan project, with 90% code and functional coverage achieved, more than 90% regression pass rate, and the test plan and coverage plan fully implemented but not yet closed. Nightly regression results for the OpenTitan Ibex configuration are published at https://ibex.reports.lowrisc.org/opentitan/latest/report.html.