Bluespec
Bluespec, Inc.は、MITの教授Arvind(英語版)が2003年6月に設立した半導体の設計会社である。Arvindは2000年に10G-bit Ethernetのルーター向けのチップ製造に特化したSandburst(英語版)を設立しているが、そのチップ製造のためにArvindが作ったのがBluespec言語である。Bluespecは高レベルの関数型のハードウェア記述言語であり、チップ設計と電子回路設計自動化(EDA)全般を扱えるようにHaskellを拡張して作られている。Bluespecの設計と実装は、主にLennart Augustsson(英語版)によって行われた。Bluespecは(Haskellの部品へと)部分評価し、項書き換えシステム(term rewriting system; TRS)へとコンパイルされる。SystemVerilogのフロントエンドが用意されている。
Bluespecは2つの製品ラインを持っている。Bluspecは、主にASICとFPGAのハードウェアの設計者およびアーキテクト向けに、RTLを使用した高位合成(英語版)(ESL(英語版)論理合成)を提供している。
最初のBluespec workshopは、2007年8月13日にMITで開催された。