以下是调试和验证内核时的建议:
- 使用先进的验证技术(包括验证组件、随机化和协议检查器)在各 RTL 内核自己的测试激励文件中对其执行验证。Vivado IP 目录提供 AXI Verification IP (VIP),可帮助验证 AXI 接口。RTL 内核设计示例包含基于 AXI VIP 的测试激励文件,其中带有样本激励文件。
- 使用硬件仿真来测试主机代码软件集成或查看多个内核之间的交互。
使用逻辑仿真来验证 RTL 内核属于块级任务。使用硬件仿真来验证 RTL 内核则属于系统集成任务。如需了解有关 Versal 自适应 SoC 的逻辑仿真和硬件仿真流程的更多信息,请访问此链接以参阅 Versal 自适应 SoC 系统集成和确认方法指南(UG1388) 中的相关内容。