開発環境

命令型プログラミングと対比されるもう1つの大きな流れとして、ハードウエアとは独立した、数理論理学に根ざした流れが存在します。（純粋な）関数プロ グラミングや論理プログラミング、制約プログラミングなど、いろいろな理論に根ざしたプログラミングモデルが存在しますが、ここではそれらを総称して、宣 言型プログラミングと呼ぶことにします。

現在主流のプログラミング言語は、本質的にはハードウエアの実行メカニズムに深く根ざして発展してきた言語です。すなわち、固定長メモリセル列の上にデータ構造を構築し、状態を表現します。そして機械語命令列をプロセッサが順番に実行し、状態遷移を行うというチューリングマシン的メカニズムです。プログラミング言語が変われば、1つの命令文が扱えるデータ構造の粒度や抽象度も大きく変わりますが、「データ構造を構築し、計算を実行するためのアルゴリズム（命令文の列）を記述する」というパラダイムには変わりありません。  

生産性という言葉が、さまざまな分野において使われるようになり、一般的な単語となりました。しかし、よく使われるようになった反面、その意味はあいまいです。生産性が高いということが「良いこと」だということはわかりますが、具体的に何が良いのかは明確ではありません。例えば、「生産性が高いからこのフレームワークを採用します」といった場合に、その生産性とは一体何を指しているのでしょうか。  

Bluespecはプログラミング言語Bluespec SystemVerilogを使用したLSI設計のための統合環境です。通常、プログラミング言語はソフトウエアを作るために使用されており、LSI設計のためのプログラミング言語と聞いてもイメージがわきにくいと思います。また、「LSIって何？」という読者のためにも、LSI設計の歴史から簡単におさらいしたいと思います。