Bluespec

Bluespec
Webbplats	https://bluespec.com/

Bluespec, Inc. är ett halvledarverktygsdesignföretag med medgrundat av professor Arvind från MIT i juni 2003. Arvind hade tidigare grundat Sandburst 2000, som specialiserat sig på att producera kretskort för 10G-bitars Ethernet- routrar; för denna uppgift hade Arvind utvecklat Bluespec språket, ett hög-nivå funktionell hårdvarubeskrivande programspråk som i princip var Haskell utvidgat för att hantera kretskortsdesign och Electronic Design Automation i allmänhet.^[1] Bluespecs huvuddesigner och implementatör var Lennart Augustsson från Chalmers. Bluespec har partiell evaluering (för att konvertera Haskell) och kompileras till term-omskrivningssystem (TRS). Den levereras med ett SystemVerilog gränssnitt.^[2]

Bluespec har två produktkategorier. Framförallt för ASIC och FPGA hårdvara designers och arkitekter levererar Bluespec högnivåsyntes (ESL logik syntes) med RTL.

Den första Bluespec arbetseminariet hölls den 13 augusti 2007 på MIT.^[3]

Referenser

^ "[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. http://csg.csail.mit.edu/bluespec/.

"En historia av Haskell: Att vara lat med klassen", Paul Hudak ( Yale University ), John Hughes ( Chalmers University ), Simon Peyton Jones ( Microsoft Research ), Philip Wadler ( University of Edinburgh ), Den tredje ACM SIGPLAN Historia Programmeringsspråk Konferens (HOPL-III) San Diego, Kalifornien, 9-10 juni 2007.