Sonics OCP Library for Verification (SOLV) は， OCPインターフェイスを用いた複雑
なIP (Intellectual property) のデバッグ，性能チューニング，検証を可能とするために作
られた，3つのコンポーネントのパッケージです．このツールスイートにより，コア設計者は，
そのOCPソケットインターフェイスを検証し，性能の最大化を図ることができます．
SOLVパッケージの1つめのコンポーネントは，Sonics SVA OCP Checkerです．これは，
シミュレーション中にOCPソケットのプロトコルの適合性をチェックし，ポスト・プロセスツー
ルでの使用のために，OCPトレースファイルを生成します．OCPチェッカは，OCPクロッ
クサイクルごとに各OCP信号の値をキャップチャし，その値をOCP仕様書によって定義
されているOCPプロトコルの必要条件と比較します．このツールにより，ユーザは，OCP
プロトコル違反を迅速かつ効率的に見つけ，それによりデバッグおよびチェックの負荷を
軽減させることが可能となります．
SOLVパッケージの2つめのコンポーネントは，OCP Disassembler (OCPDis2)です．
OCPDis2は，OCPインターフェイスのアクティビティを可読性の高いフォーマットで表示す
ることを可能とする，コマンドラインツールです．シミュレーション中に，OCPインターフェイ
スのアクティビティはトレースファイルに記録されます．このトレースファイルはただの16進
の値の羅列であり，これをOCPDis2によって可読性の高いデータに変換します．
SOLVパッケージの3つめのコンポーネントであるOCP Performance Analyzer
(OCPPerf2)は，OCPトレースファイルを処理して，そのOCPインターフェイスのトランスファ
とバーストトランザクションのパフォーマンスを計測するための，コマンドラインツールです．
OCPPerf2は，OCPトレースファイルを読み込んで処理し，そのOCPソケットにおけるパ
フォーマンスの結果をわかりやすい情報にします．この情報により，設計者はそのアプリ
ケーションに最適なレベルへOCPソケットのパフォーマンスをチューニングすることが可能
となります．
SOLVとは何ですか?
· Sonics OCP Library for Verification (SOLV) は，OCPインターフェイスを用いている複雑なIPコアのデバッグ，パフォーマンス・チューニング・バリデーションのためにデザインされた，3つのコンポーネントのパッケージです．このツールスイートにより，コアの設計者は，OCPソケットインターフェイスの検証と性能の最大化を図ることができます．
· SOLVは，以下の3つのコンポーネントから成っています．
o SVA OCP チェッカ: SVA OCPチェッカは，SystemVerilog Assertionsを用いて作られており，シミュレーション中のOCPソケットのプロトコルチェック，およびポストプロセス・ツールで使われるOCPトレースファイルを生成します．SVA OCPチェッカは，ソニックスとその顧客によるOCPベースのデザインの10年以上の製品開発経験に基づいた第4世代のプロトコルチェッカ・ソリューションです．OCP仕様のプロトコルチェックの章は，SVA OCPチェッカの “gold standard” として長く存在してきたソニックスのチェッカから多くの部分が導き出されています．
o OCP ディスアセンブラ (ocpdis2): ocpdis2 は，ユーザの解析スクリプトによっても容易に使用可能な，いくつかのレポートフォーマットでOCPトランザクションを表示することを可能とする，コマンドラインツールです．これらのレポートは，設計者に対して，複雑な波形表示をトレースすることなく，多数の信号グループと幅広いOCPのコンフィギュレーション性を簡潔に表示させることを可能とします．
o OCP パフォーマンス・アナライザ (ocpperf2): ocpperf2 は，OCPトレースファイルを処理し，シミュレーション中にモニタされたOCPトランスファとバーストトランザクションのバンド幅とレイテンシの詳細情報を作成する，コマンドラインツールです．
何故私はSOLV使う必要があるのでしょうか?
· SOLV は，設計者のOCPデザインの機能および性能の両面における問題点を見つけ出し，デザイン全体の品質を改善しながら全体の検証時間とコストを低減します．ソニックスは，われわれの高度にコンフィギュレーション可能なOCPベースのIPコアのための検証ツールの一部として，10年以上にわたってSOLVを顧客に提供してきました．それらの期間を経て，これらのツールはわれわれの内部使用においては必須のものとなり，また，総計で2億5千万個以上の出荷実績のある多くのSoCの開発においてソニックスの顧客の役に立つものとなっています．
SOLVの価格はいくらですか?
· 要求される本数に基づいていろいろな価格設定をしています．詳細については，ソニックスのセールス担当にコンタクトしてください (sales@sonicsinc.com) ．
どのようにSOLVはライセンスされるのですか?
· この製品は，ランタイム・ライセンスとともに提供されます．同時に動作するそれぞれのシミュレーションに対して，それぞれライセンスが必要です．お手持ちのライセンス数だけ，同時にシミュレーションを実行できます．
でも，SOLVは，OCP-IPからフリーで入手できるものなのではないのですか?
· 3ライセンスについては，OCP-IPのメンバ特典として，無償で（CoreCreator II パッケージの一部として）SOLVを入手可能です．ライセンス入手の特典を得られるのは，Governing Steering Committee，Sponsor，Communityの各メンバと， OCP-IPのUniversity Programを通して参加しているUniversityメンバです．もし4ライセンス以上必要ならば，超える分についてはソニックスから入手する必要があります．そのライセンス価格について，ソニックスのセールス担当 (sales@sonicsinc.com) にコンタクトしてください．
SOLVは，OCP-IPから入手できるCoreCreator II パッケージの中のものと何が異なるのでしょうか?
· 製品の機能は全く変わりません．OCP-IPのメンバは，要求することによりSOLVの3ランタイム・ライセンスを入手することができます．もし4ライセンス以上必要であれば，ソニックスのセールス担当 (sales@sonicsinc.com) にコンタクトしてください．
SOLVは，OCP-IPのCoreCreator II パッケージに含まれている，Synopsys® DesignWare® Verification Intellectual Property (VIP) と同じではないのですか?
· 違います．．．
o CoreCreator II は，2つのコンポーネントから構成されています：ソニックスからライセンス・提供される SOLV，および，Synopsysからライセンス・提供される DesignWare VIP です．
o Synopsys は，スティミュラスに対してドライブされ動作するDesignWare VIPを提供しています．これに対してSOLV は，スティミュラスに対して動作するものではなく，スティミュラスの正当性をチェックするものです．そういう意味では，SOLVは，プロトコルチェックおよび付加的な解析，デバッグ機能を付加するものですので，DesignWare VIPを補完するものであると言えます．
o Synopsys DesignWare VIP は，実際のところ，SOLVによって検証されました．
CoreCreator is a registered trademark of the Open Core Protocol International Partnership Association, Inc.
Synopsys and DesignWare are registered trademarks of Synopsys, Inc.
