在线咨询
eetop公众号 创芯大讲堂 创芯人才网
切换到宽版

EETOP 创芯网论坛 (原名:电子顶级开发网)

手机号码,快捷登录

手机号码,快捷登录

找回密码

  登录   注册  

快捷导航
搜帖子
12
返回列表 发新帖
楼主: hanjian518

[求助] 利用uvm验证如何检查模块内部寄存器的值是否正确

[复制链接]
 楼主| 发表于 2019-4-10 10:02:20 | 显示全部楼层


桅杆 发表于 2019-4-1 11:19
感觉与参考模型比对是正解,不过参考模型的正确性需要人为进行确认。


那样做感觉参考模型需要考虑的东西太多了,后来觉得参考模型做那么复杂没必要,而且设计的文档也不够,有些内容就参考模型就没设计,直接测试用例中检查了。
 楼主| 发表于 2019-4-10 10:04:44 | 显示全部楼层


gutiwuli 发表于 2019-3-31 18:48
怎么比较都行。
连一根线放到interface上。然后放到monitor监控就行。
如果你非要用uvm的reg模块。需要对uv ...


我用了reg模块,这里是怎么检查寄存器的值是否正确呢?我最后的做法是写的定向测试用例,专门检查某些重要状态跳转是否正确,不是自动比对的,不知道这样对不对。。。
发表于 2019-4-10 13:50:35 | 显示全部楼层


hanjian518 发表于 2019-4-10 10:02
那样做感觉参考模型需要考虑的东西太多了,后来觉得参考模型做那么复杂没必要,而且设计的文档也不够,有 ...


嗯嗯,了解你的意思。确实实际问题得实际分析嘛。我是觉得使用UVM就是要从复用性上提高,有一个考虑完善的参考模型,一开始麻烦,将来迭代的时候可能就方便了。
当然基于你的说法我觉得可以仔细划分下功能,一些加入参考模型,一些使用assertion验证,或者dump 数据使用脚本比对。
发表于 2019-4-11 09:26:49 | 显示全部楼层


hanjian518 发表于 2019-4-10 10:00
这个是怎么用啊,能简单讲一下么,就最普通的应用场合~


看一下这个文档,简单的用法容易上手。

systemverilog+assertions应用指南.pdf

1.4 MB, 下载次数: 36 , 下载积分: 资产 -2 信元, 下载支出 2 信元

发表于 2019-4-20 20:53:16 | 显示全部楼层
需要用到后门访问了
 楼主| 发表于 2019-4-22 16:52:00 | 显示全部楼层


forever_leng 发表于 2019-4-11 09:26
看一下这个文档,简单的用法容易上手。


哇,非常感谢!!!
您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

站长推荐 上一条 /2 下一条

×

小黑屋| 关于我们| 联系我们| 在线咨询| 隐私声明| EETOP 创芯网
( 京ICP备:10050787号 京公网安备:11010502037710 )

GMT+8, 2024-5-5 09:32 , Processed in 0.021460 second(s), 7 queries , Gzip On, Redis On.

eetop公众号 创芯大讲堂 创芯人才网
快速回复 返回顶部 返回列表