Bluespec
| Website | bluespec |
|---|
Bluespec, Inc. is a semiconductor tool design company co-founded by Professor Arvind of MIT in June 2003. Arvind had previously founded 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] 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.[2]
Bluespec has two product lines. Primarily for ASIC and FPGA hardware designers and architects, Bluespec supplies high-level synthesis (ESL logic synthesis) with RTL.
The first Bluespec workshop was held on August 13, 2007, at MIT.[3]
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
- ^ "The First Bluespec Workshop". csg.csail.mit.edu. Retrieved 2019-05-04.
- "A History of Haskell: being lazy with class", Paul Hudak (Yale University), John Hughes (Chalmers University), Simon Peyton Jones (Microsoft Research), Philip Wadler (University of Edinburgh), The Third ACM SIGPLAN History of Programming Languages Conference (HOPL-III) San Diego, California, June 9–10, 2007.
External links[]
 | This United States corporation or company article is a stub. You can help Wikipedia by . |
- Equipment semiconductor companies
- Companies established in 2003
- United States company stubs