lowRISC / ibex

Ibex is a small 32-bit RISC-V CPU core with high-level of verification (previously known as zero-riscy)

lowRISC / opentitan

OpenTitan: Open source silicon root of trust