lowRISC / ibex

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