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

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

手机号码,快捷登录

手机号码,快捷登录

找回密码

  登录   注册  

快捷导航
搜帖子
查看: 6463|回复: 12

[求助] Asseration的实际应用场景?

[复制链接]
发表于 2018-8-16 19:57:43 | 显示全部楼层 |阅读模式

马上注册,结交更多好友,享用更多功能,让你轻松玩转社区。

您需要 登录 才可以下载或查看,没有账号?注册

x
今天面试问到了Asseration,我的想法是Asseration更适合设计人员写在RTL代码里面,当出BUG之后,设计人员可以定位到设计里面出问题的具体细节。我想知道实际工作中什么时候适合用Asseration什么时候适合用UVM呢?验证人员用Asseration通常做些什么呢?
发表于 2018-8-17 09:13:13 | 显示全部楼层
assertion可以检查你发的激励是否符合接口协议,也可以用即时断言来检查中断控制的有效性。目前就这用了这么多,欢迎大神补充纠正。
发表于 2018-8-17 16:38:54 | 显示全部楼层
同上  接口协议检查大量使用到assertion 另外就是FSM的 检查也用,assertion没有写在设计人员代码里,我们自己binding在外面,一样可以用,还不用设计人员操心:)
 楼主| 发表于 2018-8-17 18:14:00 | 显示全部楼层
回复 3# irina


   那验证人员工作量好大哦。。。帮设计擦屎擦尿。要是遇到喜欢甩锅的怎么办?
发表于 2018-8-18 13:07:07 | 显示全部楼层
assertion可以用来写在design里面,尤其是在interface端的协议里面,做一些基本判断。
但是作为sv的四大重要功能之一的assertion,绝不仅仅于此。assertion的重要功能是结合工具做形式验证(formal verification)。对比方针验证的好处是,形式验证是用数学原理证明(具体方法不懂,仅仅用过工具),当他显示prove了,就表示包含各种情况,是一定prove了。比如10位的ecc的逻辑,即便用random test,除非仿真验证里包含了所有情况的输入0-1023,才证明绝无bug。而形式验证会用数学方法证明这个逻辑是正确的,包含所有情况。
 楼主| 发表于 2018-8-18 18:13:37 | 显示全部楼层
回复 5# Marlbe_Yang


   我当时面试的时候仅仅说出了验证人员多会在接口上使用Asseration,现在想来不完整,之前看书说的:assert用于验证,cover用于覆盖率,assume用于形式验证,但是学习的过程中只是了解到了assert和cover。从您的回答中看出您对IC验证有很深的理解,而我仅仅连续学习SV和UVM仅仅两周,可能仅仅算刚刚入门。您自己是否有什么技术博客可供分享学习呢?另外您提到的SV的四大功能又是什么呢?
发表于 2018-8-21 10:53:49 | 显示全部楼层
回复 4# zqq624723237

遇到喜欢甩锅的更要自己做才放心
发表于 2018-8-21 15:07:53 | 显示全部楼层
回复 4# zqq624723237


    你的验证思想不对哈,验证的工作是为了确保设计能够满足所需要场景的规格,不是简单帮助设计找BUG,所以验证首先确认理解清楚对应验证对象要作的事情,即规格和需求,然后分解测试点,保证验证的完备性。找BUG只是在进行各个测试点验证的过程当中的顺便作的事情。同时,这个是验证的本质工作,不是帮助谁。
发表于 2018-8-21 15:10:57 | 显示全部楼层
assertion 对于验证来讲,更大的作用在他的Cover,验证有些场景,通过功能覆盖率不好描述,通过SVA更好描述,这样可以通过SVA的Cover看到验证的完备性。记住,验证的核心工作有两点,一是保证验证完备性,即验证对象工作的场景都需要全部覆盖,不管有没有BUG,都需要证明是对,还是错。二是保证效率,在规定的开发周期完成所有的验证,否则芯片就没有去下一步流片的出口条件。
 楼主| 发表于 2018-8-21 15:16:41 | 显示全部楼层
回复 9# rosshardware


   谢谢!谨记大佬的教诲!
您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

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

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

GMT+8, 2024-11-5 22:33 , Processed in 0.022631 second(s), 7 queries , Gzip On, Redis On.

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