SystemVerilog Checkerに検証機能が追加されました。
ソースコードをプロジェクトに登録し、ビルドボタンをクリックするだけで実行イメージが作成されます。
何回でも実行イメージを起動する事ができるので、一回のコンパイルで複数回の検証作業を済ませる事ができます。
シミュレータは、制約付きランダムスティミュラス生成、ファンクショナルカバレッジ、アサーション、UVM、DPIをサポートしています。
アサーション、及びファンクショナルカバレッジの実行結果を確認するためのGUIも別アプリとして標準的に備わっています。