SVCheckerは開発機能と検証機能から構成されています。開発機能は標準ですが検証機能はオプションです。開発機能は、SystemVerilog専用のテキストエディタを中心としたコード開発環境で、以下の特徴を備えています。

★　コード入力の簡便性を促進する各種のナビゲーション機能
★　キーワード対を持つ構文の入力に便利なショートカットキー機能
★　ヘッダーハイライト機能
★　File ビューによる定義文への便利なアクセス機能
★　階層構造を元にしてコード解析する為のデザインビュー機能
★　リアルタイムコンパイリング機能
★　記述ルールの順守を促進するデザインスタイルチェック機能
★　未使用または値が未設定の変数のチェック等をするリント機能
★　ブックマークおよびコードスニペット等の便利な参照機能
★　UVMに即したテキストエディット機能
★　文書生成機能
★　自動ファイルバックアップ機能

SVCheckerの検証機能は以下の機能を備えています。

★　制約付きランダムスティミュラス生成
★　ファンクショナルカバレッジ (FC)
★　アサーション (SVA)
★　コードカバレッジ (CC)
★　検証ビューワー (FC, SVA, CC, VCD)
★　UVM サポート

既にシミュレータの使用環境が整っているユーザ様は標準の開発機能だけを選択できます。

SVCheckerの操作は初心者に優しい標準的ユーザインターフェースを採用しているので、使い易くしかも迅速な応答性と様々な開発支援機能は生産性向上を促進します。また、デザインスタイルチェック機能とリント機能により高品質なRTLコードを開発できます。

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コードの解析やシミュレーションも可能になります。