马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。
您需要 登录 才可以下载或查看，没有账号？注册
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运行在多核的ＧＰＵ上。――――我感觉不靠谱，服务器估计也没多少ＧＰＵ，而且由于ＤＬＰ技术对于ＳｏＣ项目的支持很不好，所以我觉得这个技术局限性可能比较大。当然，也许我理解的有不到位的地方。
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在同类产品里突出的是性价比，倒不是绝对速度。
| 
/2 
eetop公众号
创芯大讲堂
创芯人才网
发表于 2012-8-17 23:54:22
楼主
