应使用先进的验证技术（包括验证组件、随机化和协议检查器）在自己的测试激励文件中验证 RTL 内核。Vivado IP 目录提供 AXI Verification IP (VIP)，可帮助验证 AXI 接口。RTL 内核设计示例包含基于 AXI VIP 的测试激励文件，其中带有样本激励文件。 您可在 RTL 内核内部添加 ILA，如 将调试 IP 添加到 RTL 内核 中所述。 硬件仿真应该用于测试主机代码软件集成或查看多个内核之间的交互。