数字验证流程

1.熟读项目文档,包括设计文档,接口文档等

2.根据文档提取测试点,测试点分解分类有:数据流功能点,寄存器,DFX功能,异常等

3.编写组件验证代码,与完整的验证环境相比,缺少DUT,主要为了验证接口组件,用于搭建整体环境。包括transation,sequence,sequencer,driver,monitor,scoreboard,以及agent

3.搭建验证环境,各组件具体含义参考《UVM应用指南及源码分析》,在验证RTL之前,首先进行环境自测试,完成环境自测试后,完成RM,RM实现与RTL代码相同的功能,只是使用SV编写的没有时序的代码,最后将RM输出的数据流和RTL(DUT)输出的数据流,在Scoreboard里比较。

4.编写TC,功能覆盖率,实现功能覆盖率的收集

  根据测试点相应的TC以及功能覆盖率模型,以上跑通后,make cov,收集覆盖率,打开dve查看覆盖率收集情况

5.重复4,完成多个TC的编写以及覆盖率的收集,这是个不断迭代的过程

6.跑回归,实现TC种子的随机性,完善RTL的强韧性,也是一个迭代的过程

原文地址:https://www.cnblogs.com/xh13dream/p/11747515.html