カーネルのデバッグおよび検証での推奨事項は、次のとおりです。
- RTL カーネルは、検証コンポーネント、ランダム化、プロトコル チェッカーなどのアドバンス検証手法を使用して、独自のテストベンチで検証します。Vivado IP カタログに含まれる AXI Verification IP (VIP) を使用すると、AXI インターフェイスを検証するのに役立ちます。RTL カーネルのサンプル デザインには、サンプル スティミュラス ファイルを含む AXI VIP ベースのテストベンチが含まれています。
- ホスト コードのソフトウェア インテグレーションをテストしたり、複数カーネル間の通信を確認したりするため、ハードウェア エミュレーションを使用します。
ロジック シミュレーションを使用した RTL カーネルの検証は、ブロック レベルのタスクです。ハードウェア エミュレーションを使用した RTL カーネルの検証は、システム統合タスクです。Versal アダプティブ SoC のロジック シミュレーションおよびハードウェア エミュレーション フローの詳細は、 『Versal アダプティブ SoC システム統合および検証設計手法ガイド』 (UG1388) のこのセクションを参照してください。