SVChecker は設計検証機能を統合した GUI ベースの開発環境です。本機能は、IEEE Std 1800-2023に対応しています。SVCheckerは開発機能と検証機能から構成されています。開発機能は標準ですが検証機能はオプションとなっています。

開発機能は、SystemVerilog専用のテキストエディタを中心としたコード開発機能で構成されています。既にシミュレータを保有しているユーザは開発機能だけを選択できます。SVCheckerの機能概要に関しては下記の資料を参照して下さい。

 

SVLは、検証作業で必要となる基本機能を含むSystemVerilogパッケージです。SVLにはSVLスタンダードとSVLプレミアムの二種類があります。SVLスタンダードは検証作業で必要となる基本機能で構成され、SVLプレミアムは基本機能に加えて検証環境構築時に必要となる機能で構成されています。以下のような特長を持ちます。

★　プリント処理が驚くほど簡単になります。
★　ターミナルとファイル出力を簡単に切り替えられます。
★　簡単なルールで検証コンポーネントを定義できます。
★　メソドロジークラスには標準的にTLMポートが定義されています。
★　トランザクション生成手順の部品化が容易です。
★　シナリオ（テストケース）の実行手順が明快です。
★　強力な正則表現機能により検証階層構造の検索が容易です。
★　低価格なので個別に開発するよりもお買い得です。

SCL は TLM ベースの検証環境を構築するための SystemVerilog クラスライブラリーです。SVLプレミアムの機能に加えて、以下のような特長を持ちます。

★　クラスをプリントする機能が備えられている。
★　記述を簡略にするための多くのマクロ機能が準備されている。
★　UVM と同じように使用できる。
★　UVM には含まれていない便利な機能が多く含まれている。
★　軽量型ライブラリーなのでコンパイルが速く実行モジュールも小さい。

UVMの全ての機能を使うわけではなく、しかもUVMは複雑過ぎると感じているユーザにおすすめします。

SystemVerilogの使用法が多様化するに伴いEDAツールベンダーからのサポートを期待できない機能分野が発生してきます。また、独自のユニークな設計・検証機能を開発しなければならない企業様も増えてきます。そのような状況においては、SystemVerilogコンパイラーを含むユーティリティの存在が不可欠になります。

アートグラフィックスでは、C/C++から呼び出せるSystemVerilogコンパイラーのAPIを提供しています。このAPIにより、エディタやIDEの開発はもとよりSystemVerilogコードの解析やシミュレーションも可能になります。