Bluespec, Inc.
From Wikipedia, the free encyclopedia
Bluespec, Inc. is a semiconductor tool design company co-founded by Dr. Arvind[1] of MIT in June 2003. Arvind had previously founded Sandburst in 2000, which specialized in producing chips for 10G-bit Ethernet routers; for this task, Arvind had developed the Bluespec language, a high-level functional hardware description programming language which was essentially Haskell extended to handle chip design and electronic design automation in general[1]. 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 as type-checked numeric code. Bluespec, Inc. claims greater than 50% improvements compared to conventional methods of design[citation needed]. It also comes with a System Verilog frontend[2].
Bluespec has two product lines. Primarily for ASIC and FPGA 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 algorithms[citation needed]. For SystemC 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.
[edit] References
- ^ "[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
- ^ Hudak, Jones, et al 2007
- "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.
[edit] External links
 |
This corporation or company article is a stub. You can help Wikipedia by expanding it. |
 |
This article is uncategorized.
Please help improve this article by adding it to one or more categories, so it may be associated with related articles (how?). Please remove this tag after categorizing, but not before. |
