Bluespec
ConceptBluespec is a hardware description language used in processor-design research and open-source CHERI/RISC-V implementations. The provided evidence describes it as a higher-level HDL built atop Haskell, with strong type-safety and guarded atomic actions, and places it in an ecosystem including Piccolo, Flute, Toooba, and BlueStuff.
First seen 5/30/2026
Last seen 6/8/2026
Evidence 7 chunks
Wiki v2
WIKI
Bluespec
Bluespec is a hardware description language (HDL). UCAM-CL-TR-984 describes the Bluespec HDL as designed by Bluespec Inc. and used in the thesis's processor-design work. The same source contrasts Bluespec with widely used HDLs such as VHDL and (System)Verilog, characterising Bluespec as a higher-level HDL.
Language model and design style
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →RELATIONSHIPS
7 connectionsBluespec HDL is used as the hardware description language for implementing the CHERI processors.
Toooba is implemented in Bluespec HDL as a fork of RiscyOO.
The BSV-RVFI-DII library is implemented in Bluespec.
BlueStuff is a set of Bluespec libraries for interconnect utilities.
Piccolo is implemented in Bluespec HDL.
RVBS is written in Bluespec.
Flute is implemented in Bluespec HDL.
CITATIONS
8 sources8 citations — click to expand
[1] Bluespec is a hardware description language designed by Bluespec Inc. and used in UCAM-CL-TR-984's processor-design work. UCAM-CL-TR-984.pdf
[2] UCAM-CL-TR-984 describes Bluespec as a higher-level HDL compared with VHDL and (System)Verilog. UCAM-CL-TR-984.pdf
[3] Bluespec is built atop Haskell, separates evaluation-time computation from hardware logic in the module monad, and provides strong type-safety plus guarded atomic actions. UCAM-CL-TR-984.pdf
[4] Piccolo and Flute were available in the Bluespec source language, and UCAM-CL-TR-984 identifies them as Bluespec microcontrollers. UCAM-CL-TR-984.pdf
[5] Toooba is described as a fork of Bluespec's out-of-order processor, with a baseline that is itself a fork of MIT's RiscyOO processor. UCAM-CL-TR-984.pdf
[6] BlueStuff is described as Bluespec libraries providing interconnect utilities, including for AXI. UCAM-CL-TR-984.pdf
[7] A 2019 arXiv research note reports an open-source compiler for the Bluespec hardware description language. Research Note: An Open Source Bluespec Compiler
[8] A 2009 arXiv paper on Separation Logic uses a 2x2 Switch implemented in Bluespec as one of its concurrent-system examples. Expressing the Behavior of Three Very Different Concurrent Systems by Using Natural Extensions of Separation Logic