Loading article…
Bluespec, Inc. は、マサチューセッツ州フレーミングハムに拠点を置くアメリカの半導体デバイス 電子設計自動化会社であり、2003年6月にマサチューセッツ工科大学(MIT)の教授であるコンピュータ科学者のArvind Mithal 氏とオックスフォード大学のJoe Stoy 氏によって共同設立されました。Arvind 氏は、このタスクのために、2000年に10 ギガビット イーサネット(10GE)ルーター用のチップの製造を専門とする Sandburst を設立していました。[1] [2]
Bluespec には、主に特定用途向け集積回路(ASIC) とフィールドプログラマブルゲートアレイ(FPGA) のハードウェア設計者とアーキテクト向けの 2 つの製品ラインがあります。Bluespec は、レジスタ転送レベル(RTL) による高レベル合成(電子システムレベル(ESL)論理合成)を提供します。最初の Bluespec ワークショップは、2007 年 8 月 13 日に MIT で開催されました。[3]
ブルースペックシステムVerilog
ブルースペック
| パラダイム | 機能的 |
|---|---|
| 家族 | Verilog、Haskell |
| 開発者 | 株式会社ブルースペック |
| 安定版リリース | バージョン2022.01 / 2022年1月[4] |
| 範囲 | ＨＤＬ |
| ファイル名拡張子 | .bsv |
| Webサイト | ブルースペック |
| 主な実装 | |
| Bluespec コンパイラ (BSC); おもちゃの Bluespec コンパイラ | |
| 方言 | |
| SystemVerilog (BSV)、Haskell (BH: Bluespec Classic ) | |
ArvindはBluespec SystemVerilog (BSV)という名のBluespec言語を開発しました。これは基本的にHaskellを拡張してチップ設計や電子設計自動化全般を扱えるようにした高水準関数型プログラミング ハードウェア記述 プログラミング言語です。 [5] Bluespecの主な設計者および実装者はLennart Augustssonです。Bluespecは部分的に評価され（ Haskell部分を変換するため）、項書き換えシステム（TRS）にコンパイルされます。SystemVerilogフロントエンドが付属しています。[6] BSVはVerilog RTL設計ファイル にコンパイルされます。
ツール
BSVリリースには以下のハードウェア開発キットが同梱されている: [7] : 7
- BSV コンパイラ
- コンパイラはBSVソースコードを入力として受け取り、VerilogまたはBluesimのハードウェア記述を出力として生成します。2020年にBluespec inc.によってNew BSD License条項に基づいてオープンソース化されました。
- 図書館
- BSVにはプログラミング言語とハードウェア構造のセットが付属しています
- Verilogモジュール
- 先入れ先出し(FIFO) やプロセッサ レジスタなどのいくつかの基本的な BSV 要素は、Verilog プリミティブとして表現されます。
- ブルーシム
- BSV 設計用のサイクル シミュレーター。
- ブルートクル
- Bluespec 設計にリンクするTcl拡張機能、スクリプト、およびパッケージのコレクション。
参考文献
- ^ 「アルビンドがインド国立科学アカデミーの外国人研究員に選出」MITニュース。2014年12月23日。
- ^ Maffei, Lucia (2023-02-09). 「Form D Friday: Lexington blood tech startup raises $13.2M」. American City Business Journals。
- ^ 「第1回Bluespecワークショップ」csg.csail.mit.edu . 2019年5月4日閲覧。
- ^ Bluespec コンパイラ: README.md、B-Lang、2022-11-04、2022-11-15取得
- ^ 「これは基本的に Haskell ですが、ハードウェアの動作を記述する項書き換えシステム(TRS) の構文構造が追加されています。型システムは数値型の型で拡張されています。」Hudak、Jones 他 2007 の 43 ページ
- ^ Hudak、Jones、他 2007
- ^ Bluespec SystemVerilog ユーザーガイド、Bluespec inc.、2008 年 11 月 24 日
- Hudak, Paul (エール大学) ; Hughes, John (チャルマース大学) ; Peyton Jones, Simon (マイクロソフト リサーチ) ; Wadler, Philip Wadler (エディンバラ大学) (2007 年 6 月 9 ～ 10 日)。「Haskell の歴史: クラスを怠る」。HOPL III: プログラミング言語の歴史に関する第 3 回 ACM SIGPLAN 会議の議事録。カリフォルニア州サンディエゴ: 計算機協会。pp. 12-1 ～ 12-55。doi : 10.1145 /1238844.1238856。 [これは] 基本的に Haskell ですが、ハードウェアの動作を記述する
項書き換えシステム
(TRS)用の追加の構文構造が追加されています。型システムは数値型の型で拡張されています。
- Peyton Jones、Simon (2007 年 6 月)。Haskell の歴史: クラスを怠る。Microsoft Research (レポート)。
外部リンク
- 公式サイト
- Bluespec: ユーザーガイド
- ケンブリッジ大学のオープンソースBluespecコンパイラ