首页 > 其他 > 详细

数字验证流程

时间:2019-10-27 15:19:36      阅读:103      评论:0      收藏:0      [点我收藏+]

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

(0)
(0)
   
举报
评论 一句话评论(0
关于我们 - 联系我们 - 留言反馈 - 联系我们:wmxa8@hotmail.com
© 2014 bubuko.com 版权所有
打开技术之扣,分享程序人生!