Vivado IP を合成し、ビヘイビアーまたは構造型ロジック シミュレーションを実行し、IP モジュールをインプリメントして、タイミング、消費電力、リソース使用率などを検証することにより、IP を検証できます。通常、スタンドアロン IP を検証するには、小さなサンプル デザインが使用されます。最上位デザイン プロジェクトのコンテキスト内で IP モジュールを検証することもできます。IP は合成済みデザイン チェックポイントを作成するので、このボトムアップ検証ストラテジはスタンドアロンまたはプロジェクト内のいずれでもうまく機能します。
Vivado IP カタログに含まれるザイリンクス IP の多くには、サンプル デザインが含まれます。IP にサンプル デザインが含まれているかどうかは、次の図に示すように、[Manage IP] または RTL プロジェクトで [IP Sources] タブに含まれる IP を右クリックし、[Open IP Example Design] が選択できるかどうかでわかります。また、Tcl で IP の SUPPORTED_TARGETS プロパティからも、同じことを確認できます。
選択した IP に対しサンプル デザインを作成し、そのサンプル デザイン プロジェクト内でスタンドアロン IP を検証するには、[Open IP Example Design] という右クリック メニューを使用します。サンプル デザインと IP 出力ファイルの使用に関する詳細は、 『Vivado Design Suite ユーザー ガイド: IP を使用した設計』 (UG896) を参照してください。
IP の中には、サンプル デザインにテストベンチが含まれているものがあり、カスタマイズした IP の機能を検証するのに使用できます。ビヘイビアー、合成後、またはインプリメンテーション後のシミュレーションを実行できます。また、論理またはタイミング シミュレーションを実行できます。タイミング シミュレーションおよび論理シミュレーションを実行するには、サンプル デザインを合成およびインプリメントする必要があります。IP のシミュレーションに関する詳細は、その IP の製品ガイドを参照してください。シミュレーションの詳細は、 『Vivado Design Suite ユーザー ガイド: ロジック シミュレーション』 (UG900) を参照してください。