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

qushaobo

code coverage 是静态组合,
可能会出现这样的情况,连续的时序变换,影响到电源电压.
而后一个时序,出错了.
这样时序组合生成的逻辑错,真的很难分析到.

amormio124

coverage 100%也不代表就验证了所有case，

ddale

验证工作永无休止。

sunchpku

主要是看code coverage 以及function coverage的覆盖率是否达到你希望的值。function coverage需要自己定义，当然考虑的情况越多越好，很多coner case是需要靠约束才能跑到的。关键看自己怎么定义case，需要cover哪些 ...
裴静 发表于 2006-10-10 14:13

                               
登录/注册后可看大图

这个分工非常赞同，大家都说的很好。

zj_ic

主要看用什么方法吧，如果是direct 方法，要列出所有要验证的case,然后执行所有case，看code coverage,如果是random， 就要把随机参数设好，去跑种子，最后看code/fun coverage

zhaoguo4409

很好！！