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

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

手机号码,快捷登录

手机号码,快捷登录

找回密码

  登录   注册  

快捷导航
搜帖子
查看: 8809|回复: 18

[原创] snug2012-beijing研讨会验证专题部分资讯总结

[复制链接]
发表于 2012-8-17 23:54:22 | 显示全部楼层 |阅读模式

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

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

x

昨天参加了Snug2012-Beijing的研讨会,把会议上听到看到的一些verification方面的资讯简单整理一下,没去的朋友们可以瞧瞧。有些地方我理解的可能不对,如果我理解有偏差写的不对就抱歉了。


就不按照snug会议上的小专题细分了(会议发的光盘里有会议资料),就按照我自己笔记上的记录的点来罗列。

12012.09版本的VCS加强了不少,尤其在testbench-debugcoverage方面在技术上有所加强。Performance方面也有所加强,提高了constraint-solver的能力,也提高了仿真的performance,在GLS方面也提高了速度。 提到了个“parallel coverage merge”的技术,可以并行的把很多regression出来的coverage merge起来。Merge-coverage本身不是什么新技术,这里的并行merge应该主要是说调用多核来做的。


2DVEdebug-testbench方面有了很大的提升,看上去的确在搭建testbench的时候很有帮助。比如你的case跑死了,那么其实一个简单的方法就是增加debug_all之后进入ucli/dve来看时间推进或者设置断点,这比在code里面增加信息打印要快的多。包括一些死循环的检查也可以借助DVE来debug。另外现在比较好的技术是active trace.可以帮助Highlight多个驱动源的可能性情况。


3)有个叫zerosoft的技术,感觉有点玄乎,可以“动态”的降低仿真的loading。我感觉大概是这么个意思:“把多个case的相同单元复用了  ----------- 听说国外有在用这个技术的公司,貌似很玄乎。
PS:这个技术我理解的很可能不对。


4davinci coverage收敛技术。 这个技术挺好的,可以加速coverage的收敛。 比如我一个随机空间有10000个点,我第1~100case覆盖了100个点,我跑101~200的时候一般容易出现与前100个点overlap的情况,使用davinci技术可以有效避免这种overlap      本身vcs现在也有类似的简单一点的技术,echo,这个可以在VCS-LCA的文档里面找到


5DVE可以支持SV-macro展开,并且可以在展开的macro里面设置断点。C 断点也增强了


6)Profile的功能加强了不少。-simprofile后面可以跟time或者mem 参数,来决定是按照时间还是内存来区分。 2011.12的版本可以显示dpi以及pli的具体每个task的profile了


7)可以profile constraint-solver,并且提炼出一个testcase来做分析。


8)下一代的VIP100%SV的,没有了PLI的开销,仿真速度会快不少。不过可惜的是不能使用DesignWare-license了。而且Protocol-analyzer这个对于标准协议非常好的分析工具,虽然是内嵌在下一代VIP里,但是却必须要另外单独付费购买license。听说封装的很好,有公司用2天时间把一套复杂的Amba-vip搭起来,速度还是蛮快的。


9)有个叫 VCS on GPGPU的技术,大致是说testbench运行在CPU上,而并发性更好的DUT运行在多核的GPU上。――――我感觉不靠谱,服务器估计也没多少GPU,而且由于DLP技术对于SoC项目的支持很不好,所以我觉得这个技术局限性可能比较大。当然,也许我理解的有不到位的地方。


10DVEconstraint-debug可以在图形界面里告诉哪里有conflict,会更利于debug2011新增了soft constraint.


11X-prop 这个技术去年就提出来了,是个不错的技术。

12partition-compile技术去年也提过了。今年没有提是不是还不支持sdf-反标的门仿。不过据说2012.09应该是支持的。

13verification plannerexecution manager不是新东西。个人感觉对于规模小的公司、验证团队不大的话,意义不太大。另外不知道用了以后会不会有所限制。


14rewind-checkpoint技术也不是新东西。个人感觉跟以前就有的save-restart差不多。

15)使用simv +ntb_solver_debug=profile来分析constraint solver的行为。

16VIP的加密codeDVE里可以看见部分代码,可以把部分信号和成员拉到波形或者debug窗口里。


17hector可以做CRTL的等价性比较,也许对于算法模块有较大帮助。目前国内还没有人用,不过国外已经有客户在用了。

18MVSIM_NLP可以自动产生coverage-database来看power-state的转换等cover-point,但是不会自动产生report,得自己用urg来调simv.vdb.

19MVSIM_NLP支持客户自己写的assertion里有UPF-componentNLP现在在vcs下面有一个单独的文档 mvsim_native.pdf,有不少和pli区别的使用方式可以看看


20)数模混合仿真有所加强,magmafastsim可能在这方面比较强。具体不了解。


21HapsVCS配合起来仿真提速5X --- 没想到官方才给5X这么小的数字。不过据说Haps在同类产品里突出的是性价比,倒不是绝对速度。


发表于 2012-8-20 12:59:12 | 显示全部楼层
mark一下
发表于 2012-8-27 10:26:25 | 显示全部楼层
看了就顶下了。
发表于 2012-8-31 22:22:50 | 显示全部楼层
顶一下楼主,
总结的很不错
发表于 2012-9-6 23:58:53 | 显示全部楼层
楼主强悍啊   能不能发点会议光盘的资料出来
小弟的 邮箱是bobo19820107@163.com
提前谢谢了
 楼主| 发表于 2012-9-12 09:07:52 | 显示全部楼层
回复 6# bobo1982


    我给你回邮件了,资料我放115网盘上了,你可以自己去下载。
发表于 2012-9-13 23:35:24 | 显示全部楼层
谢谢楼主了 !
有个问题咨询一下,我给一个longint的数据赋值,发现数据的符号位是按照32位来判断的,导致数据正负号出错,这个该如何解决?
发表于 2012-10-29 17:24:45 | 显示全部楼层
楼主太有心了!!
发表于 2012-10-29 17:46:45 | 显示全部楼层
感谢楼主分享心得!
发表于 2012-10-30 10:50:04 | 显示全部楼层
感谢lz的分享,我也想要那份会议光盘的资料,能不能把115网盘的下载地址给我呀?O(∩_∩)O谢谢lz!
您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

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

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

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

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