- Bluespec, Inc.
Bluespec, Inc. is a semiconductor tool design company co-founded by prof. Arvind of
MITin June 2003. Arvind had previously founded Sandburstin 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 languagewhich was essentially Haskell extended to handle chip design and electronic design automationin 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] . The main designer and implementor of Bluespec was Lennart 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 as type-checkednumeric code. Bluespec, Inc. claims greater than 50% improvements compared to conventional methods of designFact|date=February 2007. It also comes with a System Verilogfrontend [Hudak, Jones, et al 2007] .
Bluespec has two product lines. Primarily for
ASICand FPGAhardware 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. For SystemCusers, 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
* [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.
* [http://www.bluespec.com Bluespec homepage]
Wikimedia Foundation. 2010.
Look at other dictionaries:
Arvind (computer scientist) — Arvind is the Johnson Professor of Computer Science and Engineering in the Computer Science and Artificial Intelligence Laboratory at the Massachusetts Institute of Technology. He is a Fellow of the IEEE and the ACM, and he was elected to the… … Wikipedia
Haskell — Класс языка: функциональный, ленивый, модульный Тип исполнения: компилируемый, интерпретируемый Появился в: 1990 … Википедия
Haskell (programming language) — Haskell Paradigm(s) functional, lazy/non strict, modular Appeared in 1990 Designed by Simon Peyton Jones, Lennart Aug … Wikipedia
High-level synthesis — (HLS), sometimes referred to as C synthesis, electronic system level (ESL) synthesis, algorithmic synthesis, or behavioral synthesis, is an automated design process that interprets an algorithmic description of a desired behavior and creates… … Wikipedia
Joe Stoy — is a British computer scientist. He originally studied physics at Oxford University. Early in his career, in the 1970s, he worked on denotational semantics with Christopher Strachey in the Programming Research Group at the Oxford University… … Wikipedia
Hardware description language — In electronics, a hardware description language or HDL is any language from a class of computer languages and/or programming languages for formal description of electronic circuits. It can describe the circuit s operation, its design and… … Wikipedia
Язык описания аппаратуры — (англ. hardware description language) тип компьютерных языков для формального описания электрических цепей, особенно цифровой логики. Он описывает структуру и функционирование цепи. Основные представители Наиболее часто используются языки… … Википедия