シミュレータ

テストは veryl test で実行することができます。

ネイティブテスト ではVerylの組み込みシミュレータが使用されます。外部シミュレータのインストールは不要です。

SystemVerilogテストとcocotbテストでは、外部のRTLシミュレータが必要です。サポートされているシミュレータは以下の通りです。

• Verilator
• Synopsys VCS
• Altair DSim
• AMD Vivado Simulator

Verilatorはデフォルトのシミュレータです。Veryl.tomlやコマンドラインオプションでシミュレータが指定されていない場合に使用されます。

全設定の説明はこちら。

cocotb

cocotb テストを実行するには cocotb がインストールされた python3 の環境が必要です。サポートされている cocotb のバージョンは 1.9.x あるいは 2.0.x です。

例えば以下のコマンドでインストールすることができます。

$ pip3 install cocotb==2.0.0

シミュレータバックエンドとしては Verilator のみサポートされています。