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