Biblioteki napisane w Bluespec

Platforma procesorowa i sprzętowa BERI i CHERI.

Rdzeń RISC-V; superskalarny, poza kolejnością, obsługujący wiele rdzeni; oparty na RISCY-OOO z MIT.

Procesor RISC-V, prosty 5-etapowy potok w kolejności, dla aplikacji z niższej półki wymagających MMU i pewnej wydajności (przez CTSRD-CHERI).