シミュレーション
この章では,Lチカ を題材に設計したデザインがどのように動いているのか,Vivado付属のシミュレータを使ったシミュレーションによって確認する方法を学びます.
はじめに
実際の開発現場で不具合を解析するときにもシミュレーションは大変有用な手段です.
HDLで記述したアプリケーション回路をFPGA上で動作させるためには,合成や配置配線を実行してFPGA書き込み用のコンフィギュレーション情報のファイルを生成する必要があります.回路規模が大きくなると,コンフィギュレーション情報を作成するのにも長い時間が必要になります.しかし,シミュレーションの場合は簡単なコンパイルでおしまいです.デバッグなどで,何度もソース・コードを変更するような場合には,シミュレータで動作を確認できれば圧倒的に短時間で済みます.
また,FPGAで動作しているアプリケーション回路の各信号が,どのように変化しているか,外から観測するのはなかなか難しいものです.一方で,シミュレーションでは自由に記述したロジックの信号の変化を観察できます.
そのため,シミュレーションを使用した内部の信号の観測がHDLレベルでの論理的なデバッグに有効です.この章では,このHDLコードの動作をVivadoシミュレータでシミュレーションする方法を学びましょう.
シミュレーションに必要なもの — テスト・ベンチ
CPUを買ってきても,マザーボードがないとパソコンとして動かないように,FPGAも周辺部品の載った マザーボード がないと動きません.FPGAもFPGA単体では動作せず,MicroBoardやDE0 nanoに搭載されているような回路を駆動するクロック信号やリセット信号が必須です.
実際にFPGAを使ったシステムでは,クロックは外から与えられるものですが,シミュレーションでは,FPGAに実装したHDLモジュールが動作するのに必要なクロック信号やリセット信号なども自前で用意しなければなりません(図1).

図l: 設計したモジュールを実機で動作させる場合(a)とシミュレーションする場合(b)の違い.シミュレーションする場合にはテスト・ベンチを用意する必要がある.
といっても,とりたてて新しく特別なことを覚える必要があるわけではありません.外から与えられるべきクロック信号やリセット信号もHDLで記述できます.これをシミュレーション・コードやテスト・ベンチと呼びます.シミュレーション対象のモジュールで必要となる信号は,すべてテスト・ベンチで生成します.テスト・ベンチの記述方法はHDLソースとほとんど同じで,違いは下記の3つになります.
- エンティティの中身(モジュールの入出力信号)が空である
- 時間を表す構文を使って信号の振る舞いを規定する
- ハードウェアでは実現できない仮想的な機能を利用できる
設計したHDLモジュールを動作させるのには必要な,マザーボードに相当する部分をすべて記述しなければなりません.逆にいうと,テスト・ベンチは外部との入出力があってはいけないということです.そのため,VHDLの場合はテスト・ベンチのエンティティの中身が,Verilog HDLの場合moduleの引数が空になるというわけです.
テスト・ベンチでは 時間 を表現する必要がある
「スイッチを10秒押してから離す」や「50MHzの信号」などの振る舞いは時間を扱うので,HDLのビヘイビア・モデル(動作記述)を用いて記述します.
たとえば,「10nsの時間を待つ」という動作はHDLで次のように記述します.この記述はビヘイビア・モデルの基本中の基本です. VHDLで記述する場合は,
|
|
Verilog HDLで記述する場合には,初めに ``timescale`を使って,
|
|
と,シミュレーションの単位時間を指定して,時間を挿入したい個所で
|
|
と記述すると,指定した単位時間分の時間(この例では10ns)を作ることができます.
テストベンチの書き方
またか!!という感も否めませんが,前章で利用した「LEDチカチカ」に再び登場してもらいましょう.
シミュレーション用に(実験のために)修正
今回はシミュレーションの動作を知ることを目的にコードを少し修正します.実際の開発の際には,シミュレーションのために実装コードを変える,ということは基本的にはしないはずです.
resetの追加
回路を初期化するための入力信号としてresetを追加しています.
LEDに出力するbitを変更
実機ではカウンタの23bit目をledに接続しましたが,クロックの立ち上がりを8M回待つのは大変なので3bit目をledの出力に接続しています.
モジュールのタイプをRTLに変更
モジュールのタイプをBehaviorではなくRTLとしています.実際のところ今のVivadoでは,ここのキーワードは特に意味をなさないのですがシミュレーションのためのテストベンチをBehavior,合成してハードウェア化もするファイルはRTLと分けておくと見分けるのが容易になります.
|
|
FPGA上に実装する場合には,クイックスタート で紹介したように,3つの入出力信号をFPGA上の適切なI/Oに接続しなければなりません.一方,ソフトウェアで動作をシミュレーションするためには,これらの信号テスト・ベンチで生成して外から与える,ことにします.
クロックを生成するテスト・ベンチ
順序回路の要がクロック信号です.従って,クロック信号の生成はテスト・ベンチの基本中の基本です.
カウンタ・モジュールの動作をシミュレーションするために,
clk
に50MHzのクロック信号,すなわち10nsごとに ‘1’
と ‘0’
を繰り返す信号をテスト・ベンチで生成してみましょう.
記述方法は,次の通りです.
VHDLで記述する場合
信号 clk_i
を定義し, clk_i
に‘1’を代入して10ns待ちます.その10ns後 clk_i
に‘0’を代入,その10n後に再び‘1’を clk_i
に代入,…ということを繰り返すことで,10nsで周期的に0→1→0→1…と変化する信号,すなわち50MHzのクロック信号が生成できます.
VHDLのコードで素直に実装すると,「10ns待つ」処理に相当する「wait for 10ns」を使って,
|
|
この process
文には,きっかけになる信号なしで,シミュレーションの開始同時にすぐさま処理が開始されます.
もちろん,これでもよいのですが,実はプロセス文は最後まで到達すると,また先頭から開始されるので
|
|
Verilog HDLで記述する場合
Verilog HDLでは,「単位時間XXが経過」を「 #XX
」で表現できますから, clk_i
に'1’を代入したあと,
「単位時間10が経過」の後 clk_i
に'0’を代入して,また「単位時間10が経過」の後 clk_i
に'1’を代入…
と繰り返すことで,1→0→1→…というシーケンスが定義できます.
Verilog HDLでは,initial文で,シミュレーション実行開始時に一度だけ処理されるブロックを定義できます. すなわち,次のコード片で,シミュレーション開始後から単位時間10毎に信号を反転させる処理,つまり50MHzのクロック信号を生成できます.
|
|
ずっと繰り返す処理を意味する forever
を使って,
|
|
必要な入力信号を生成する
図\ref{fig:target_list}に示したリストの動作をシミュレーションするにはクロック信号clk以外に,人間が「えいやっ」とリセット・ボタンを押すことに相当するreset信号もテスト・ベンチで生成しなければいけません.
ところで,人間がリセット・ボタンを押すのは,いつ,どのくらいの時間でしょうか?「リセット・ボタンは電源投入の5秒後に10ミリ秒間押される」などと決められるわけではありません.
従って,テスト・ベンチでは,シミュレーション対象の回路に対して,それらしい信号を想定して生成する必要があります.リセット・ボタンが押されるタイミング,であれば,特に制約があるわけではありませんので,電源投入後の適当な時刻に検知できる時間だけの信号が与えられる,という想定で十分でしょう.
リセット信号を生成する方法は,
- クロックと同じプロセス・ブロックで記述する
- 別のプロセスのブロック内で記述する
の2種類が考えられます.
ここでは,クロックとは別のプロセス・ブロック内で,変数 reset_i
の値を0→1→0と変化させることで,リセット・ボタンが押されたことに相当する信号を生成することにします.Verilog HDLであれば,リセットに相当するレジスタ変数 reset_i
が適当なタイミングで変化するように記述できます.
|
|
テスト・ベンチとシミュレーション対象のモジュールを接続する
FPGA上に書き込んだ回路に信号を与えるためには,物理的にクロックやスイッチの端子を配線することになります. シミュレーションする場合には,シミュレーション対象のモジュールとテスト・ベンチで生成した信号をHDL的に接続する必要があります.
一般的には,テスト・ベンチをトップ・モジュールとして, その中でカウンタ・モジュールをサブモジュールとして呼び出すことにします. これはマザー・ボードがあって,その中にFPGAがあって回路が動いている,という物理的な構造に上手くマッチします. VHDLもVerilog HDLも,モジュールを階層的に定義する仕組みをもっています.
VHDLでは,
- LEDチカチカ回路のインターフェースを宣言
- LEDチカチカ回路のインスタンスを生成する
の2段階で,サブモジュールとして回路を呼び出すことができます.
具体的には,はじめに,次のように,
|
|
component
として,使用するモジュールの素性を宣言したあとで,次のように
|
|
プログラミング言語Cでも,関数を呼び出す時には,関数の素性を明らかにするために「プロトタイプ宣言」をした上で, 関数呼び出し文を書きますよね.VHDLでも同じようなものだな,と考えてもらえればよいでしょう.
テスト・ベンチの全容
説明が長くなりましたが,図\ref{fig:target_list}のリストをシミュレーションするためのテスト・ベンチの全容は, 図\ref{fig:simulation_list}のようになります.
|
|
シミュレーションの実行手順
シミュレーションのテスト用に新しくプロジェクトを作成しましょう.
プロジェクト名は, project_2
としました.

新しく作成したプロジェクト
前章と同様にtopモジュールを作成・追加してプロジェクトを作成したら, topモジュールの中身を図\ref{fig:target_list}のように変更しておきます.
以降の手順は次の通りです.

Sourcesの中のSimulation Sourcesの上で右クリックしてAdd Sourcesを選択
Add or create simulation sourcesにチェックが入っていることを確認してNextをクリック ファイル追加ダイアログで,Create Fileを選択

VHDLファイルとして,top_simという名前のモジュールを作成する

リストに追加された

ポートの指定ダイアログ.今回は何もせずにOKをクリック

変更ないことを確認されるのでYesをクリックして,作業ステップをすすめる

シミュレーション用のモジュールがプロジェクトに追加された

シミュレーションコードをtop_simに反映したところ.top_simからtopのモジュールがUという名前でインスタンス化されている様子が階層化されて表示される.

Flow NavigatorのRun Simulationでシミュレーションの開始

Run Behavioral Simultaionを選択

シミュレーション開始には少し時間がかかる

シミュレーションが開始された

シミュレーション時間を指定して,シミュレーションステップをすすめる
指定した時間のシミュレーションが終わるとストップします.いつまでもストップしない場合には,一時停止アイコンをクリックして,強制的に止めることができます.

指定した時間のシミュレーションが終了

波形表示画面に全シミュレーション結果を表示(FIT)させたところ

一部分を拡大した様子.3bit目をledに接続しているため8クロック毎にledがON/OFFしている様子がみてとれる

内部モジュール(今回でいうとtopの中身を確認することもできる)

topモジュールのcounterを波形表示画面に追加.ただし,内部の値の多くは非表示状態では保存されていないので,そのままでは値の変化を確認できない

シミュレーションを一度リセット

再度シミュレーション.今度は時間指定なくシミューレションしてみる

いつまでも終わらないので一時停止アイコンでシミュレーションをストップ

ストップした箇所のソースコードが表示される

波形を確認してみると,内部のcounterがclkにあわせてインクリメントしていること,counterの3bit目がledの'0’/‘1’と同じであることが確認できる
課題
- 点滅の間隔を変えてみたときの様子をシミュレーションしてみよう
- resetを適当なタイミングで変化させてみて,counterやledの振る舞いを観察してみよう