- Bluespec, Inc.
Bluespec, Inc. is a semiconductor tool design company co-founded by prof. Arvind of
MIT in June 2003. Arvind had previously foundedSandburst in 2000, which specialized in producing chips for 10G-bit Ethernetrouter s; for this task, Arvind had developed the Bluespec language, a high-level functional hardware descriptionprogramming language which was essentially Haskell extended to handle chip design andelectronic design automation in general ["[it] is basically Haskell with some extra syntactic constructs for theTerm 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] . The main designer and implementor of Bluespec wasLennart Augustsson . Bluespec is partially evaluated (to convert the Haskell parts) and compiled to the TRS. The justification behind writing chip designs in Bluespec is that it leads to shorter, more abstract, and verifiable (provably correct)source code , as well astype-checked numeric code. Bluespec, Inc. claims greater than 50% improvements compared to conventional methods of designFact|date=February 2007. It also comes with aSystem Verilog frontend [Hudak, Jones, et al 2007] .Bluespec has two product lines. Primarily for
ASIC andFPGA hardware designers and architects, Bluespec is delivering ESL synthesis with no compromise (speed and area) RTL. Bluespec is the only ESL synthesis solution for control logic, complex datapaths and algorithmsFact|date=February 2007. ForSystemC users, Bluespec has delivered high-level ESL Synthesis abstractions to SystemC. Bluespec integrates seamlessly into Cadence, Synopsys, Mentor and Magma flows, including verification, debug and synthesis, without requiring new methodologies or tools.The first Bluespec workshop [http://csg.csail.mit.edu/bluespec/] was held on August 13, 2007 at
MIT .References
* [http://research.microsoft.com/~simonpj/papers/history-of-haskell/index.htm "A History of Haskell: being lazy with class"] ,
Paul Hudak (Yale University ), John Hughes (Chalmers University ),Simon Peyton Jones (Microsoft Research ),Philip Wadler (Edinburgh University ), The Third ACM SIGPLAN History of Programming Languages Conference (HOPL-III)San Diego ,California , June 9-10, 2007.External links
* [http://www.bluespec.com Bluespec homepage]
Wikimedia Foundation. 2010.