Ibex is a small 32-bit RISC-V CPU core with high-level of verification (previously known as zero-riscy)
71,372 visible repositories in the index
1–1 of 1 · Most stars
Ibex is a small 32-bit RISC-V CPU core with high-level of verification (previously known as zero-riscy)