Bluespec
{{Short description|A company behind Bluespec HDL}}
Bluespec, Inc. is an American semiconductor device electronic design automation company based in Framingham, Massachusetts, and co-founded in June 2003 by computer scientists Arvind Mithal, professor of the Massachusetts Institute of Technology (MIT), and Joe Stoy of Oxford University. Arvind had formerly founded Sandburst in 2000, which specialized in producing chips for 10 Gigabit Ethernet (10GE) routers, for this task.{{cite web |url=https://news.mit.edu/2014/arvind-elected-foreign-fellow-india-national-academy-sciences-1223 |title=Arvind elected as India National Academy of Sciences Foreign Fellow |date=2014-12-23 |website=MIT News}}{{cite web |last1=Maffei |first1=Lucia |date=2023-02-09 |title=Form D Friday: Lexington blood tech startup raises $13.2M |url=https://www.bizjournals.com/boston/news/2023/02/10/form-d-friday-hemanext-blood-tech.html |publisher=American City Business Journals}}
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.{{Cite web |title=The First Bluespec Workshop |url=http://csg.csail.mit.edu/bluespec/ |access-date=2019-05-04 |website=csg.csail.mit.edu}}
Bluespec SystemVerilog
= Bluespec =
{{Infobox programming language
| name = Bluespec
| logo =
| logo caption =
| screenshot =
| screenshot caption =
| paradigm = Functional
| designer =
| developer = Bluespec Inc.
| released =
| latest release version = Version 2022.01
| latest release date = January 2022{{Citation |title=Bluespec Compiler: README.md |date=2022-11-04 |url=https://github.com/B-Lang-org/bsc/blob/71e11d89f6aec05042fc5c3e467fc9ad252ac571/README.md |publisher=B-Lang |access-date=2022-11-15}}
| latest preview version =
| latest preview date =
| typing =
| scope = HDL
| programming language =
| platform =
| operating system =
| license =
| file ext = .bsv
| file format =
| website = {{URL|bluespec.com}}
| implementations = Bluespec Compiler (BSC); Toy Bluespec Compiler
| dialects = SystemVerilog (BSV), Haskell (BH: Bluespec Classic)
| influenced by =
| influenced =
}}
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."[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." pg 43 of Hudak, Jones, et al. 2007{{Cite journal |last=Nikhil |first=R. |date=2004 |title=Lbtorial bluespec systemverilog: efficient, correct RTL from high-level specifications |journal= |publisher=IEEE |pages=69–70 |doi=10.1109/MEMCOD.2004.1459818 |isbn=978-0-7803-8509-2}} 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.Hudak, Jones, et al. 2007 BSV is compiled to the Verilog RTL design files.
= Tools =
BSV releases are shipped with the following hardware development kit:{{citation |title=Bluespec SystemVerilog User Guide |date=November 24, 2008 |publisher=Bluespec inc.}}{{rp|p=7}}
; BSV compiler
: The compiler takes BSV source code as input and generates a hardware description for either Verilog or Bluesim as output. It was opensourced by Bluespec inc. in 2020 under New BSD License terms.
; Libraries
: BSV is shipped with a set programming idioms and hardware structures
; Verilog modules
: Several primitive BSV elements, such as first in, first out (FIFOs) and processor registers, are expressed as Verilog primitives.
; Bluesim
: A cycle simulator for BSV designs.
; Bluetcl
: A collection of Tcl extensions, scripts, and packages to link into a Bluespec design.
References
{{Reflist}}
- {{Cite book |last1=Hudak |first1=Paul (Yale University) |author1-link=Paul Hudak |last2=Hughes |first2=John (Chalmers University) |author2-link=John Hughes (computer scientist) |last3=Peyton Jones |first3=Simon (Microsoft Research) |author3-link=Simon Peyton Jones |last4=Wadler |first4=Philip Wadler (University of Edinburgh) |author4-link=Philip Wadler |date=June 9–10, 2007 |chapter=A history of Haskell: being lazy with class |title=HOPL III: Proceedings of the third ACM SIGPLAN conference on History of programming languages |publisher=Association for Computing Machinery |place=San Diego, California |pages=12-1–12-55 |doi=10.1145/1238844.1238856 |quote=[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.}}
- {{Cite report |last=Peyton Jones |first=Simon |author-link=Simon Peyton Jones |date=June 2007 |url=https://www.microsoft.com/en-us/research/publication/a-history-of-haskell-being-lazy-with-class/ |title=A History of Haskell: being lazy with class |website=Microsoft Research}}
External links
- {{Official website|bluespec.com}}
- [https://web.ece.ucsb.edu/its/bluespec/doc/BSV/user-guide.pdf Bluespec: User guide]
- [https://www.cl.cam.ac.uk/~djg11/wwwhpr/toy-bluespec-compiler.html An open-source Bluespec compiler from University of Cambridge]
{{Haskell programming}}
Category:Equipment semiconductor companies
Category:Companies established in 2003
Category:Companies based in Framingham, Massachusetts
Category:Programming languages created in 2000
Category:Statically typed programming languages
Category:Haskell programming language family
{{US-company-stub}}
{{Prog-lang-stub}}