Bluespec, Inc. is an American semiconductor tool design company co-founded by Massachusetts Institute of Technology (MIT) professor Arvind in June 2003 and based in Framingham, Massachusetts. Arvind had formerly founded Sandburst in 2000, which specialized in producing chips for 10 Gigabit Ethernet (10GE) routers, for this task.[1][2] Bluespec has two product lines which are primarily for application-specific integrated circuit (ASIC) and field-programmable gate array (FPGA) hardware designers and architects. Bluespec supplies high-level synthesis (electronic system-level (ESL) logic synthesis) with register-transfer level (RTL). The first Bluespec workshop was held on August 13, 2007, at MIT.[3]
Paradigm | Functional |
---|---|
Family | Verilog, Haskell |
Developer | Bluespec Inc. |
Stable release | Version 2022.01
/ January 2022[4] |
Scope | HDL |
Filename extensions | .bsv |
Website | bluespec |
Major implementations | |
Bluespec Compiler (BSC); Toy Bluespec Compiler | |
Dialects | |
SystemVerilog (BSV), Haskell (BH: Bluespec Classic) |
Arvind had developed the Bluespec language named Bluespec SystemVerilog (BSV), a high-level functional programming hardware description programming language which was essentially Haskell extended to handle chip design and electronic design automation in general.[5] The main designer and implementor of Bluespec was Lennart Augustsson. Bluespec is partially evaluated (to convert the Haskell parts) and compiled to the term rewriting system (TRS). It comes with a SystemVerilog frontend.[6] BSV is compiled to the Verilog RTL design files.
BSV releases are shipped with the following hardware development kit:[7]: 7
[it] is basically Haskell with some extra syntactic constructs for the term rewriting system (TRS) that describes what the hardware does. The type system has been extended with types of numeric kind.