Vivado IDE の Vivado ロジック解析環境には、デザインを検証およびデバッグするための多数の機能があります。RTL または合成済みネットリストで ILA (Integrated Logic Analyzer) やデバッグ ハブ コアなどの IP デバッグ コアを設定およびインプリメントできます。Vivado IDE で合成済みまたはインプリメント済みデザインを開くと、コアに必要なプローブ信号を選択して設定できます。ビットストリーム ファイルが生成されている run の場合は Vivado ロジック解析を起動してハードウェアを検証できます。また、完了したどのインプリメンテーション run でも、ビットストリーム ファイルを生成できます。ビットストリーム ファイル生成オプションも設定可能です。Vivado デバイス プログラマを起動すると、デバイスのコンフィギュレーションおよびプログラムを実行できます。Vivado ロジック解析は Vivado IDE から直接実行でき、配線およびデバイス リソースを解析できます。詳細は、 『Vivado Design Suite ユーザー ガイド: プログラムおよびデバッグ』 (UG908) のこのセクションを参照してください。