Βιβλιοθήκες γραμμένες σε Bluespec

Η πλατφόρμα επεξεργαστή και υλικού BERI και CHERI.

RISC-V Core; superscalar, εκτός σειράς, με δυνατότητα πολλαπλών πυρήνων. βασισμένο στο RISCY-OOO από το MIT.

CPU RISC-V, απλός αγωγός σειράς 5 σταδίων, για εφαρμογές χαμηλού επιπέδου που χρειάζονται MMU και κάποια απόδοση (από CTSRD-CHERI).