ハードウェア記述言語

ハードウェア記述言語（ハードウェアきじゅつげんご、英: hardware description language、HDL）は、デジタル回路、特に集積回路を設計するためのプログラミング言語の一種。回路の設計、構成を記述する。処理を検証するための試験（テストベンチ）記述ができ、模擬実行（シミュレーション）できる開発環境もある。

概要

ハードウェア記述言語は文字で記述するコンピューター言語で、電子回路の経時的振舞いと空間的構造を表現する。ソフトウェアのプログラミング言語と比較すると、ハードウェア記述言語の文法（シンタックス）や意味論（セマンティックス）には、ハードウェアの基本的属性である時間や並行性の明確な記法を含んでいる。回路ブロック間の接続関係だけを記述する言語には、電気系のCADソフトウェアで使うネットリストがある。

ハードウェア記述言語はハードウェアの動作仕様を記述するのに使う。ハードウェア記述言語で書いたハードウェア仕様に基づいて経時的模擬実行（シミュレーション）を行うシミュレータがある。シミュレータによってハードウェア設計者は実装前にハードウェアの動作を確認できる。実行可能性がハードウェアなしに試験できるため、ハードウェア記述言語はプログラミング言語（チューリング完全なコンピュータ言語）であることが分かる。シミュレータには、離散的（デジタル）な事象（イベント）を扱うものと、連続的（アナログ）な事象（イベント）を扱うものがある。それぞれに適した言語がある。

C++のようなソフトウェアのプログラミング言語に専用のクラスライブラリを追加して、ハードウェアの意味論を表現することも可能である。しかし C++ の定義だけでは、ハードウェア記述言語のように時間を明示的に表現することや、同時性を表現することはできない。

特定用途向け集積回路（ASIC）の開発や、PLD・FPGA上に展開する論理回路の設計に用いる。ソフトウェアを記述するためのプログラミング言語に類似した構文のものもあるが、その意味論（セマンティックス）は全く異なり、ソフトウェアのプログラミングのつもりで書いてよいものではない。

プログラミング言語と同様に様々な言語がある。現在は米国防総省が開発に携わったAdaの流れを汲むVHDL、ゲートウェイ・デザイン・オートメーション社（Gateway Design Automation）が開発したVerilog HDLの標準化がまずIEEEで進み、その後IECの国際規格にもなり、広く普及している。

歴史

最初のハードウェア記述言語は、カーネギーメロン大学の「ISP」、カイザースラウテルン大学の「KARL」である。この二つの言語は1977年にほぼ同時に開発された。ISP はよりプログラミング言語的で、設計上の入力と出力の関係を記述する方式であった。ISP は設計のシミュレーションには使えるが、回路を生成することはできなかった。KARL は大規模集積回路の回路配置が記述可能な機能も持っていた。回路配置の記述機能は関連する対話型グラフィカル言語 ABL にもあった。1980年代初期にABLを使ったVLSI設計エディタをトリノの通信研究センター CSELT で開発している。1980年代中ごろ、欧州連合の委員会が出資した国際コンソーシアムが KARL と ABL を中心としたVLSI設計フレームワークを実装した。1983年、Data-I/O が ABEL を発表した。これはプログラム可能な論理回路を対象としたもので、主に有限状態機械の設計に使った。

最初の現代的意味でのハードウェア記述言語である Verilog は、1985年、ゲートウェイ・デザイン・オートメーション社が開発した。ケイデンス・デザイン・システムズがその権利を取得して Verilog-XL というシミュレータを開発し、これがその後約10年間で事実上の標準となった。1987年、アメリカ国防総省の要求で Ada 言語の流れを汲む VHDL を開発した。これらハードウェア記述言語とシミュレータによって、技術者はより抽象化されたレベルで設計が可能となり、回路規模も数百トランジスタから数千トランジスタへと拡大していった。

ハードウェア記述言語で記述されたプログラムから論理合成できるシステムが登場し、ハードウェア記述言語はデジタル設計の表舞台に立つようになった。合成ツールはハードウェア記述言語でRTLを記述したソースファイルをコンパイルし、製造可能な論理ゲートやトランジスタのネットリスト記述を生成する。当初のシステムでは、合成可能なRTLファイルを書くには熟練を要した。RTLで合成したネットリストは、従来の設計に比べるとサイズが大きく、性能も悪いことが多かった。熟練技術者による回路図による設計は、論理合成した同等の回路設計よりも常に優れていたが、論理合成の生産性の良さから、RTL合成が不得手としていた高速低電力な回路や非同期回路でもハードウェア記述言語が採用されていった。論理合成は、単にハードウェア記述言語をデジタル設計の中心に押し出しただけでなく、それ自体がデジタル回路設計のための画期的技術であった。回路図による設計とRTLによる設計は、プログラミング言語におけるアセンブリ言語による設計とC言語による設計の関係に似ている。

IEEEが VHDL と Verilog HDL を標準化したこともあり、VHDL と Verilog HDL は電子産業では事実上の標準となり、それら以外のハードウェア記述言語はあまり使われなくなっていった。しかし、VHDL と Verilog HDL には共通の弱点がある。どちらもアナログ回路やアナログとデジタルの混在した回路のシミュレーションが苦手であり、再帰的な論理構造を記述できない。そのような VHDL と Verilog HDL の弱点を克服するハードウェア記述言語もいくつか登場したが、VHDL や Verilog HDL を置換するには至っていない。

ハードウェア記述言語の改善は長年に渡っている。Verilog HDL から派生した SystemVerilog では、様々な新機能がある。VHDL の最新版でも SystemVerilog の拡張と同等の機能を持たせるよう開発が進んでいる。今後も VHDL と Verilog HDL の改良は続くという予測がある。

ハードウェア記述言語を使った設計

デジタル回路設計は、ハードウェア記述言語による記述か回路図入力によって行っている。回路図入力では、大規模な記述の確認が困難であるため、ハードウェア記述言語の記述が増えている。

設計の最初期は、紙と鉛筆で要求仕様や高水準な構造（アーキテクチャ）図を描くことから始まる。この構造が妥当であるかどうか重要である。構造の妥当性を確認する上で、ハードウェア記述言語で記述する場合もある。ハードウェア記述言語による記述を行う工程は、設計者の熟練度や回路の性質に強く依存している。次の段階として MATLAB や C++ の数学的モデル記述のような、高水準の算法（アルゴリズム）を記述することもある。制御と判断構造は、流れ図（フローチャート）描画ソフトウェアや状態遷移図編集ソフト（エディタ）で試作（プロトタイピング）することも多い。この後、ハードウェア記述言語の記述に変換を行う。

ハードウェア記述言語では、「RTL」と呼ぶ抽象度でハードウェアを記述する。この抽象度では演算器やレジスタとその間の信号伝達を用いてハードウェアを記述する。また、多くのハードウェア記述言語では入れ子構造的に、ある回路の部分回路に分けて設計する。あるいは既にある回路記述を部分回路として利用することもできる。再利用によって設計の効率化が行える。

RTL は論理回路の表現としては抽象的であるため、このままではハードウェアにする事はできない。その代わり、この抽象度に適合したシミュレータを用いて、回路の論理的な動作を確認することができる。機能としては電気的特性などの再現は限られる。シミュレータを用いて、回路の妥当性検証や性能見積もりを行う。

この後ゲート水準と呼ぶ、論理回路を記述する抽象度の記述に展開することで、集積回路を実現する。この操作を論理合成と呼ぶ。論理合成を実行するための道具を論理合成ツール と呼ぶ。

ハードウェア記述言語の記述の抽象度（水準）

• 構造（アーキテクチャ）- システムの構造、基本機能（アルゴリズム）を記述
• 動作（BL） - 回路の動作を機能面から記述
• レジスタ転送（RTL） - レジスタと演算器とその間の配線（接続）を記述
• ゲート（GL） - フリップフロップや論理素子：ゲート（not, and, or, xor）で回路図を表現

設計工程が次の段階に進むたびに、ハードウェア記述言語コードは常にコードレビューを行う。論理合成の前に、ハードウェア記述言語記述は一連の自動化された検査を受ける。この検査工程で、後の合成工程で解釈を間違う可能性のある曖昧な構文を検出したり、一般的なコーディング上の問題を検出する。

ここでよく用いるのが、STARC が作成した Verilog HDL スタイルガイド、VHDL スタイルガイドである。このコーディング規則に従うと、電子回路の知識がないプログラマが作成したコードの論理的な欠陥を少なくすることができる。スタイルガイドに適合しているかを検査するソフトウェアも存在している。

ハードウェア記述言語による設計は、論理合成工程で終了すると考える。合成ツールがハードウェア記述言語の記述をゲートのネットリストに変換すると、ネットリストが下工程に引き渡される。物理的なテクノロジ（FPGA、ASICゲートアレイ、ASIC標準セル）によっては、ハードウェア記述言語が下工程でも重要な役割を演じることもある。一般に工程が進んで設計が詳細化していくと、設計データベースには技術固有の情報が格納されるようになっていく。技術固有のデータが増えると汎用的なハードウェア記述言語による記述では格納しきれなくなる。

反復的な回路構造をハードウェア記述言語で記述するときに、Perl言語のようなスクリプト言語を使って自動生成することもある。Emacsなどのテキストエディタは、ハードウェア記述言語のソースコードについて自動字下げ（インデント）、既定用語（キーワード）の強調表示、各種宣言のマクロ拡張などの機能を提供しているものがある。

ハードウェア記述言語コードの模擬実行と虫取り

ハードウェア記述言語による設計の本質は、ハードウェア記述言語プログラムを模擬実行可能な点にある。模擬実行（シミュレーション）することで、設計のハードウェア記述言語プログラム（モデル）が設計検証に合格するようにできる。設計検証は、コード実装（ハードウェア記述言語プログラム）がその設計が意図した機能（仕様）に対して妥当かを検証する重要な一里塚（マイルストーン）である。模擬実行によって構造（アーキテクチャ）的な吟味もする。技術者は基本設計に対して複数の設計を実験的に書き、模擬実行でそれらの動きを比較することができる。以上のようなことから、ハードウェア記述言語による設計では模擬実行が重要である。

ハードウェア記述言語で書かれたモデルを模擬実行するには、テストベンチと呼ぶ模擬実行環境をまず記述する。テストベンチには少なくとも、モデルの実体（インスタンス）化したもの（デバイス・アンダー・テスト、DUT）、そのモデルの入出力のためのピンと信号の宣言、クロック波形が必要である。テストベンチのコードは事象（イベント）駆動型である。テストベンチが生成するリセット信号の実装のためのプログラム、インタフェース・トランザクション（ホストバスの読み書きなど）のモデルのためのプログラム、DUTの出力を監視するためのプログラムなどが必要となる。テストベンチを実行するソフトウェアをシミュレータと呼び、テストベンチないの全事象の参照元となる模擬信号（シミュレータ・クロック）を発生させる。イベントはテストベンチのプログラムが指示したときだけ発生するもの（テストベンチ内のコードでリセット信号を発生させるなど）と、およびそのようなイベントへの反応としてモデルが発生するものがある。最近のシミュレータはGUI化されており、虫取りの道具（デバッグツール）も良くなっている。利用者は任意の時点で模擬実行を中断/再開でき、停止点（ブレークポイント）を設定でき、モデルの階層を監視／変更できる。さらにプログラム実行環境に利用者がコンパイルしたライブラリをPLI／VHPIインタフェースを通してリンクできるシミュレータもある。リンクは環境依存であり、シミュレータと利用者ライブラリを、プログラム実行環境とは別にコンパイルし、リンクする。

設計検証は、ソフトウェア開発工程で言えばソフトウェア試験（ソフトウェアテスト）と虫取り（デバッグ）の工程である。設計工程の中でも最も時間がかかる可能性がある。試験結果によっては大きな設計変更もありうるため、シミュレータ環境で最初に行う。ただし、厳密に定義したコーディング規約に基づいているかどうかの検査を先に行うことにより、試験作業を大幅に短縮することもできる。プログラムをハードウェアで検証する目的でPLD（プログラマブルロジックデバイス）、FPGAを使うこともある。ハードウェアを使ったプロトタイピングはシミュレーションよりも費用がかかるが、シミュレーションではわからない設計上の問題点が明らかになることもある。他のハードウェアとのインタフェースの確認はハードウェアによるプロトタイピングが最善の方法である。FPGAは、シミュレータより高速に動作するだけでなく、実際に並行実行するための時間的な問題について検出可能である。

ハードウェア記述言語での設計検証

歴史的に、設計検証は労力を要する工程であり、テストケースを書いてはシミュレーション実行するということをDUTに対して繰り返す。チップが大規模かつ複雑になるにつれて、設計検証も開発期間の大部分を占めるようになってきた。設計の生産性を向上させるべく、特性仕様言語が開発された。

形式的検証において、「プロパティ」とは、オブジェクトの期待される振る舞いや推定される振る舞いに関する事実を記した文である。理想的には、ハードウェア記述言語プログラムが与えられたとき、プロパティは形式的数学的手法で真偽を証明可能である。実際には、多くのプロパティは無限の解空間を占めるため、真偽を証明できない。しかし、前提や制約が与えられると解空間が狭められ、プロパティチェッカ・ツールで真偽を証明できるプロパティが増える。

表明は回路の動作をモデルとしたものではなく、むしろ設計者の意図を捉え、ハードウェア記述言語コード内に込めるものと言える。シミュレーション環境では、シミュレータは全ての指定された表明を評価し、表明に違反した箇所と違反の程度を報告する。合成環境では、表明違反があれば、合成が中断されることもある。表明に基づく検証はまだ始まったばかりの手法だが、ハードウェア記述言語による設計の必須な部分となると予測されている。

ハードウェア記述言語とプログラミング言語

ハードウェア記述言語はソフトウェア用のプログラミング言語と似ているが、重大な差異もある。ソフトウェア用のプログラミング言語は本質的に手続き的（シングルスレッド）で、並行性に対応する文法（シンタックス）、意味論（セマンティックス）は限定的である。一方ハードウェア記述言語は、複数の並行処理（プロセス）（フリップフロップ、加算器など）を模型（モデル）化でき、各処理（プロセス）は自動的に互いに独立に実行する。処理（プロセス）の入力を変化させると、変化を引き金（トリガ）として自動的にシミュレータのプロセススタックを更新する。

ソフトウェア用のプログラミング言語もハードウェア記述言語もコンパイラで処理する。ハードウェア記述言語の場合はシンセサイザとも呼ぶこともある。コンパイルの目的と対象は異なる。ハードウェア記述言語の場合のコンパイルは、ハードウェア記述言語コードから物理的に実装可能なゲートのネットリストを生成することである。ネットリストには様々な形態があり、シミュレーション・ネットリスト（ゲート遅延情報）、ハンドオフ・ネットリスト（下工程用）、汎用の標準ネットリストであるEDIF形式（フォーマット）などがある。一方、ソフトウェア用のコンパイラはソースコードをプロセッサ固有の機械語に変換し、そのプロセッサ上で実行可能な形式にする。

ハードウェア記述言語とソフトウェア用のプログラミング言語は前処理系を共有しており、その境界は曖昧である。前処理系（プリプロセッサ）をC言語と同様のものを用いている場合、あいまいな記述であっても、動作するものを生成できるようにしてしまう。そのため、シミュレーションでは動くが、実機では動かない記述も存在する。また、コンパイルエラーは出ないが、シミュレーションではうまく動かないものもある。

また、ハードウェア記述言語とソフトウェア用のプログラミング言語は概念を共有しており、境界は益々曖昧になりつつある。 純粋なハードウェア記述言語をソフトウェアのアプリケーションの作成に用いるのは困難である。ソフトウェア用のプログラミング言語は、そのままではハードウェアのモデリングには適さない。とはいえ、電子システムがますます複雑化するにつれ、再構成処理（Reconfigurable computing ）が増えていることと、どちらも設計できる技術者の必要性から、ハードウェア設計とソフトウェアプログラミングの両方に使える言語への要求が高まりつつある。

一例として SystemC があり、組み込みシステムのハードウェアを詳細の不明なアーキテクチャ上のブロック（入出力信号がモデル化されたブラックボックス）としてモデル化できる。SystemC の高度に抽象化したモデル記述は、初期のアーキテクチャ選定に適している。

周辺技術動向

システムレベル設計

当初、ハードウェア記述言語は大規模集積回路の模擬実行を目的に開発されたが、論理合成技術の開発によってハードウェア記述言語での記述からの論理回路生成の自動化ができるようになった。現在、RTLでの設計より更に高い抽象度でのハードウェア設計を可能とする高位合成技術の開発が進んでおり、メンター・グラフィックス社が提供する Catapult C Synthesis やシノプシス社のの Synphony C Compiler などに例を挙げられるような、いくつかのツールが市販されている。RTLの上位に位置するのは、振舞い（ビヘイビア・レベル）と呼び、ハードウェアの動作やアルゴリズムを記述する。特にこの振舞いの記述を対象とした高位合成を動作合成と呼ぶ。

この振舞い記述では、ハードウェアをプログラミング言語によるソフトウェアの記述と殆ど同様の考えで記述することになる。ここから、ハードウェアとソフトウェアを同時に、区別なく設計・合成する技術の研究開発も進んでいる。ハードウェア・ソフトウェア協調設計（コデザイン）は、ソフトウェア技術者がハードウェア記述言語プログラムを理解し、ハードウェア技術者がソフトウェアプログラムを理解することによって、加速していく可能性がある。

こうした高位合成技術、協調設計技術を総合してシステムレベル設計またはシステム設計技術と呼ぶ。これらの技術を用いて、ハードウェアとソフトウェアとを区別なく、ソフトウェアの記述と同等の抽象度で論理（デジタル）システム全体を記述することをシステムレベル設計と呼ぶこともある。

このようなシステムレベル設計に用いる言語として、C言語を拡張した SpecC、C++のテンプレートライブラリとして実現したSystemC、Verilog HDLを拡張したSystemVerilogなどがある。特に SpecC や SystemC など、C/C++をベースにした言語による設計をC言語設計と呼び、日本ではシステムレベル設計といえばC言語設計を指すこともある。

アナログ回路設計への拡張

ハードウェア記述言語はデジタル回路を対象としているが、これを拡張してアナログ回路を記述できるようにする動きもある。主たる目的はアナログ回路、もしくはアナログ - デジタル混載回路のシミュレーションである。

これに該当する言語としてVerilog-AMSやVHDL AMSがある。

言語

主に次の二つのハードウェア記述言語が業界で主流として使われている。

• VHDL
• Verilog HDL、SystemVerilog (Verilog HDL の上位言語)

他に以下のようなハードウェア記述言語がある。

• Advanced Boolean Expression Language（ABEL）
• AHDL（アルテラ社のハードウェア記述言語）
• Atom（動作合成向けの高レベルハードウェア記述言語、Haskellベース）
• Bluespec（高レベルHDLで、実装はHaskellベース。記述言語は現在はSystemVerilog構文）
• HDCaml（Objective Camlベース）
• Hardware Join Java
• HML
• Hydra（Haskellベース）
• JHDL（Javaベース）
• Lava（Haskellベース）
• Lola（教育用の素朴な言語）
• MyHDL（Pythonベース）
• NSL
• PALASM（PAL向け）
• Ruby -（※こちらはオブジェクト指向スクリプト言語Rubyとは無関係）
• RHDL -（※こちらはオブジェクト指向スクリプト言語Rubyベース）
• SFL
• SystemC - C++の標準化クラスライブラリがあるハードウェア記述言語
• ImpulseC - C言語のハードウェア記述言語

関連項目

• プログラマブルロジックデバイス
• Reconfigurable computing
• Property Specification Language
• プログラミング言語

外部リンク

• Hardware Description Languages - Open Directory Project
• Verilog-AMS Technical Subcommittee