怎样判断验证工作可以结束了？

bryan_wang

看coverage~~~里面有line,fsm,toggle,branch啊
判断完成的话~~你应该有一个testcase的list啊,看看有没有测试完全,然后去check啊,对了就过了 啊

wang_chin

I suggest to use SystemVerilog to do testbench. For you can get a better coverge by random in your TB. FYI

zhuxiaohu123

感觉公司里一般还是以覆盖率作为标准

lucky9318

衡量一个设计的验证工作是否充分的方法就是看覆盖率了,呵呵 楼上的几位已经说的很好了.
这里想推荐一篇关于覆盖率的文章,希望对刚开始验证工作对覆盖率的概念不是很清楚朋友们有一定的帮助.
S. Tasiran and K. Keutzer, “Coverage Metrics for Functional Validation of Hardware Designs,” IEEE Design & Test of Computers 18(4):36–45, 2001.
大家可以用google搜一下文章标题, 轻松下载.
补充一下:代码覆盖率目前的商用hdl模拟器都提供支持,可以很方便的进行评估.困难的是功能覆盖率.
在功能覆盖率中的测试点是根据设计规范由验证人员自己定义的,因此在制定验证计划时确定的check list是否完备或者充分关系到功能覆盖率评估可信度. 而验证的难点也就在这里,因为大多数corner case的设计错误都是人们没有想到, 忽略的地方.没有考虑的地方也无法在功能覆盖率中体现出来.
开发功能覆盖率模型的语言应该是:e vera systemverilog 等还包括assertion.

jingli888ca

原帖由 fourrivers 于 2006-10-9 16:35 发表
对啊，想知道的就是这个plan通常是怎么定的。

It is based on your Chip Spec.

If you have a Chip Spec, you will have to follow each and every functional requirement and create one or more test cases for them, and finally, you end up with a test plan.

This is how a test plan come into being.

realplayer

楼上的几位大牛都说的很好啊，收益匪浅！
我想问问：有好些工具都可以得出代码覆盖率，并且对同样的代码得出的覆盖率不同
                请问那些工具才是做覆盖率测试比较好的工具，可以推荐几个吗？

sunshinesun

When coverage is satisfied.

etian

code coverage 对于验证是不够的。更应该关注functional coverage.不过这跟你如何定义FUNCTIONAL COVERAGE 又有关了。一切都基于你的PRODUCT REQUIREMENT OR FUNCTION SPEC.

xpxu

那我想问一下code coverag 的组成（FSM,line,toggle,branch）都代表什么意思哦？

dusy

学习了，呵呵!