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

昨天参加了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在同类产品里突出的是性价比，倒不是绝对速度。

mark一下

看了就顶下了。

顶一下小编，
总结的很不错

小编强悍啊能不能发点会议光盘的资料出来
小弟的 邮箱是bobo19820107@163.com
提前谢谢了

我给你回邮件了，资料我放115网盘上了，你可以自己去下载。

谢谢小编了 ！
有个问题咨询一下，我给一个longint的数据赋值，发现数据的符号位是按照32位来判断的，导致数据正负号出错，这个该如何解决?

小编太有心了！

感谢小编分享心得！

感谢lz的分享，我也想要那份会议光盘的资料，能不能把115网盘的下载地址给我呀?O(∩_∩)O谢谢lz！

thanks！

have you got VCS2012.09 software?

DFGSHFHS

看了你的几个帖子，挺有帮助的。顶你一下

谢谢小编了

有没有链接啊?

有用，感谢分享

能把115的连接给发一份么?
谢谢