马上注册,结交更多好友,享用更多功能,让你轻松玩转社区。
您需要 登录 才可以下载或查看,没有账号?注册
x
昨天参加了Snug2012-Beijing的研讨会,把会议上听到看到的一些verification方面的资讯简单整理一下,没去的朋友们可以瞧瞧。有些地方我理解的可能不对,如果我理解有偏差写的不对就抱歉了。
就不按照snug会议上的小专题细分了(会议发的光盘里有会议资料),就按照我自己笔记上的记录的点来罗列。 1)2012.09版本的VCS加强了不少,尤其在testbench-debug和coverage方面在技术上有所加强。Performance方面也有所加强,提高了constraint-solver的能力,也提高了仿真的performance,在GLS方面也提高了速度。 提到了个“parallel coverage merge”的技术,可以并行的把很多regression出来的coverage merge起来。Merge-coverage本身不是什么新技术,这里的并行merge应该主要是说调用多核来做的。
2)DVE在debug-testbench方面有了很大的提升,看上去的确在搭建testbench的时候很有帮助。比如你的case跑死了,那么其实一个简单的方法就是增加debug_all之后进入ucli/dve来看时间推进或者设置断点,这比在code里面增加信息打印要快的多。包括一些死循环的检查也可以借助DVE来debug。另外现在比较好的技术是active trace.可以帮助Highlight多个驱动源的可能性情况。
3)有个叫zerosoft的技术,感觉有点玄乎,可以“动态”的降低仿真的loading。我感觉大概是这么个意思:“把多个case的相同单元复用了” ----------- 听说国外有在用这个技术的公司,貌似很玄乎。
PS:这个技术我理解的很可能不对。
4)davinci coverage收敛技术。 这个技术挺好的,可以加速coverage的收敛。 比如我一个随机空间有10000个点,我第1~100个case覆盖了100个点,我跑101~200的时候一般容易出现与前100个点overlap的情况,使用davinci技术可以有效避免这种overlap。 本身vcs现在也有类似的简单一点的技术,echo,这个可以在VCS-LCA的文档里面找到
5)DVE可以支持SV-macro展开,并且可以在展开的macro里面设置断点。C 断点也增强了
6)Profile的功能加强了不少。-simprofile后面可以跟time或者mem 参数,来决定是按照时间还是内存来区分。 2011.12的版本可以显示dpi以及pli的具体每个task的profile了
7)可以profile constraint-solver,并且提炼出一个testcase来做分析。
8)下一代的VIP是100%SV的,没有了PLI的开销,仿真速度会快不少。不过可惜的是不能使用DesignWare-license了。而且Protocol-analyzer这个对于标准协议非常好的分析工具,虽然是内嵌在下一代VIP里,但是却必须要另外单独付费购买license。听说封装的很好,有公司用2天时间把一套复杂的Amba-vip搭起来,速度还是蛮快的。
9)有个叫 VCS on GPGPU的技术,大致是说testbench运行在CPU上,而并发性更好的DUT运行在多核的GPU上。――――我感觉不靠谱,服务器估计也没多少GPU,而且由于DLP技术对于SoC项目的支持很不好,所以我觉得这个技术局限性可能比较大。当然,也许我理解的有不到位的地方。
10)DVE的constraint-debug可以在图形界面里告诉哪里有conflict,会更利于debug。2011新增了soft constraint.
11)X-prop 这个技术去年就提出来了,是个不错的技术。 12)partition-compile技术去年也提过了。今年没有提是不是还不支持sdf-反标的门仿。不过据说2012.09应该是支持的。 13)verification planner和execution manager不是新东西。个人感觉对于规模小的公司、验证团队不大的话,意义不太大。另外不知道用了以后会不会有所限制。
14)rewind-checkpoint技术也不是新东西。个人感觉跟以前就有的save-restart差不多。 15)使用simv +ntb_solver_debug=profile来分析constraint solver的行为。 16)VIP的加密code在DVE里可以看见部分代码,可以把部分信号和成员拉到波形或者debug窗口里。
17)hector可以做C与RTL的等价性比较,也许对于算法模块有较大帮助。目前国内还没有人用,不过国外已经有客户在用了。 18)MVSIM_NLP可以自动产生coverage-database来看power-state的转换等cover-point,但是不会自动产生report,得自己用urg来调simv.vdb. 19)MVSIM_NLP支持客户自己写的assertion里有UPF-component。NLP现在在vcs下面有一个单独的文档 mvsim_native.pdf,有不少和pli区别的使用方式可以看看
20)数模混合仿真有所加强,magma的fastsim可能在这方面比较强。具体不了解。
21)Haps和VCS配合起来仿真提速5X --- 没想到官方才给5X这么小的数字。不过据说Haps在同类产品里突出的是性价比,倒不是绝对速度。
|