用 Bluespec 编写的库

BERI 和 CHERI 处理器和硬件平台。

RISC-V 核心；超标量、乱序、多核能力；基于麻省理工学院的 RISCY-OOO。

RISC-V CPU，简单的 5 级有序流水线，适用于需要 MMU 和一定性能的低端应用（由 CTSRD-CHERI 提供）。