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

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

手机号码,快捷登录

手机号码,快捷登录

找回密码

  登录   注册  

快捷导航
搜帖子
12
返回列表 发新帖
楼主: 年轻的韭菜

[讨论] 问下你们设计人员代码里assertion加的多吗?

[复制链接]
发表于 2019-7-10 14:53:58 | 显示全部楼层


我也是海思,部门强制要求只是领导的一厢情愿而已。 设计人员没有验证边界意识,验证人员不清楚设计边界,只能按照SVA语法胡乱加一些没有什么意义检查,应付老大的检查和要求,白白浪费大家的时间。
发表于 2019-7-10 16:50:31 | 显示全部楼层


rosshardware 发表于 2019-7-10 14:53
我也是海思,部门强制要求只是领导的一厢情愿而已。 设计人员没有验证边界意识,验证人员不清楚设计边界 ...


那就看部门了,这个也没有说肯定是最优解。我们部门是已经形成一套规范了。
发表于 2019-7-11 10:03:41 | 显示全部楼层
这个东西的核心不是规范,而是设计和验证对于电路本身的理解,哪些地方是容易出错,传统验证方法覆盖不了的,需要内部检查,同时功能覆盖率收集不了,需要通过SVA的Cover来补充,检查验证完备性。 这个就跟电路设计一样,核心是对业务的理解和逻辑时序设计,所以规范不是芯片开发核心要素,不同公司都有不同规范,大家都能作出成功的芯片。
发表于 2019-7-11 10:09:52 | 显示全部楼层
SVA要设计有效落地,一是设计人员的能力要提升,要懂得设计的可验证性,甚至验证方法学,二是要给设计人员时间。像海思这种快节奏,强工作量的开发模式,设计人员很难有时间去琢磨SVA的添加。最终的效果就是形式上看到一些部分强制的要求加了很多毫无价值的水SVA。这个东西我2012做设计PL就开始在项目组推广,到目前就是受到以上两点的制约,最后的看不到什么效果。 以SVA发现问题的数量来看,少之又少。
发表于 2019-7-11 13:18:56 | 显示全部楼层
新人来看看,我只在项目里看到过验证加的sva,设计好像都没加。
发表于 2020-3-27 15:04:43 | 显示全部楼层


rosshardware 发表于 2019-7-11 10:03
这个东西的核心不是规范,而是设计和验证对于电路本身的理解,哪些地方是容易出错,传统验证方法覆盖不了的 ...


我觉得层主有点转移话题了。这里讨论的不是什么是芯片开发的核心要素,至于核心要素是什么不同角度会有不同答案。也不是讨论用什么规范能做出成功的芯片,很多规范都可以做出成功的芯片,甚至有些公司根本就没有什么规范,开发人员根本不按规范做也能做出成功的芯片。作为工程人员,用不用规范、怎么规范不仅仅是看能不能做出成功的芯片,更要考虑投入和产出,要考虑怎么样用最短的时间、最少的人力做出符合使用要求的芯片产品。这是一个做事方法的问题。说到底,规范就是辅助提高团队沟通和合作效率、快速收敛问题的工具。
回到楼主的问题,我认为加不加断言跟设计人员素质是有关的,但更重要的是取决于整个团队的素质水平。高效的断言依赖前期需求规格稳定明确,毕竟开发断言需要时间,如果规格需求在代码实现阶段频繁变动,断言的优势就不明显,断言开发工作也就显得鸡肋了。


发表于 2020-10-30 21:43:55 | 显示全部楼层
一是设计人员的能力要提升,要懂得设计的可验证性,甚至验证方法学,二是要给设计人员时间。
发表于 2020-12-14 17:14:52 | 显示全部楼层
从验证的角度来说,有些验证点用assertion是比较有效的验证方法,特别和ana交互的模块的一些signal check
发表于 2021-9-30 14:03:16 | 显示全部楼层
SVA想写好非常不容易,看着语法挺简单的,我们公司也刚开始用断言
您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

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

×

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

GMT+8, 2024-3-29 01:13 , Processed in 0.026658 second(s), 7 queries , Gzip On, Redis On.

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