A community-built RISC-V ecosystem — formally verified cores, a modular ISA, and a complete toolchain. Free to use, fork, and tape out.
RISC-V is an open instruction-set architecture — royalty-free, vendor-neutral, and governed in the open. OpenR5 turns that spec into silicon you can actually ship.
OpenR5 · RV32 / RV64
Every OpenR5 core is formally verified against a golden model — from a sub-12k-gate microcontroller to a Linux-class application core, floorplanned and ready to tape out.
Three open RISC-V cores, from a minimal multi-cycle design to a fully pipelined performance core — each formally verified, MIT-licensed, and free to use, fork and tape out.
The middle core — a 3-stage in-order pipeline with a full forwarding network that avoids load-use stalls, dynamic branch prediction, atomics and bit-manipulation, in a notably smaller area than a full application core.