テストベンチって何でしょう？

Polyphony ではテストプログラムを FPGA の世界の伝統に従ってテストベンチと表現してます。Lチカの例で実際のプログラムとテストベンチを図示します。

テストプログラムを眺める

テストベンチ

@testbench
def test(dut):
    for i in range(4):
        wait_value(1, dut.led)
        wait_value(0, dut.led)

device_under_test = Blink(10000)
test(device_under_test)

`@testbench` と test 関数

@testbench というデコレータで修飾された関数がテスト用の関数です。ここでは test という名称にしていますが、別の名前でも構いません。

test 関数内では引数 dut に対象となるテストのオブジェクトが入ってきます。dut は実は Lチカプログラムです。Lチカだけに dut の led のポートは 1 (点灯) 0 (消灯) を繰り返します。Polyphony が用意する wait_value 関数でその変化を待つようになってします。それを 4 回繰り返すと終了です。

オブジェクトの生成とテストベンチの実行

Blink クラス(Lチカでした)のオブジェクトを生成し、グローバル変数 device_under_test に入れ、テスト関数を呼びます。

オブジェクトの生成

device_under_test = Blink(10000)
test(device_under_test)

Python で実行する

Python (バージョン 3です)で実行してみましょう。うまくいけば何事もなかったように終了します。

pythonで実行

shell$ python blink.py

あるいはWindows なら

Windowsのcmdで実行

> py -3.6 blink.py

なお、上の -3.6 という引数はWindowsで複数の Python がインストールされている場合に指定する Python のバージョンです。もし１つしかインストールしていないのなら必要ありません。

エラーです

Polyphony がインストールされていない場合は次のエラーが出ます。私の環境では　Python の 3.5 にはインストールしていなかったのでエラーになりました。

エラーです

>py -3.5 blink.py
  File "blink.py", line 14
    led_bit:bit = 1
           ^
SyntaxError: invalid syntax

print の追加

うまくいってもなんの表示もしないので print を追加してみます。

test

@testbench
def test(dut):
    v = 0
    for i in range(4):
        print("loop:", i)
        wait_value(1, dut.led)
        wait_value(0, dut.led)
    print("finished")

実行すると

実行と表示

> python blink.py
loop: 0
loop: 1
loop: 2
loop: 3
finished

地味な感じですが表示されました。