验证基础
查看原始模型和HDL实现之间的差异
使用一个生成的测试平台来对照原始模型验证生成的HDL代码。您还可以从生成的测试平台运行的测试中收集代码覆盖率信息。
主题
- 使用HDL工作流顾问生成测试平台并启用代码覆盖
使用HDL Workflow Advisor为生成的HDL代码生成测试台和代码覆盖。
- 为生成的HDL代码选择一个测试平台
选择一个生成的测试平台。
- 生成模型和验证模型
生成的模型是一个中间模型,它展示了HDL实现体系结构并包括延迟。
- 试验台块限制
确定哪些块不支持直接连接到DUT以生成测试台。金宝app
- 延迟平衡
沿着所有数据路径插入匹配的延迟。
- 速度优化后定位数值差异
了解原始模型和生成模型之间的数值差异。
故障排除
了解如何在HDL代码生成后解决数值不匹配问题。