SystemVerilog Checkerに検証機能が追加されました。

ソースコードをプロジェクトに登録し、ビルドボタンをクリックするだけで実行イメージが作成されます。

何回でも実行イメージを起動する事ができるので、一回のコンパイルで複数回の検証作業を済ませる事ができます。

シミュレータは、制約付きランダムスティミュラス生成、ファンクショナルカバレッジ、アサーション、UVM、DPIをサポートしています。

アサーション、及びファンクショナルカバレッジの実行結果を確認するためのGUIも別アプリとして標準的に備わっています。

 

2021年01月24日