Bluespec
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/04/16 01:55 UTC 版)
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のフロントエンドが用意されている。
- ^ “The First Bluespec Workshop”. csg.csail.mit.edu. 2019年5月4日閲覧。
- 1 Bluespecとは
- 2 Bluespecの概要
- Bluespecのページへのリンク