SystemVerlag——功能覆盖率
“覆盖率”是衡量设计验证完成程度的一个通用词。随着测试遂步覆盖各种合理的组合,仿真过程会慢慢勾画出你的设计情况。覆盖率工具会在仿真过程中收集信息,然后进行后续处理并得到覆盖率报告。你通过这个报告找出覆盖上的盲区.然后修改现有测试或者创建新测试来填补这些育区。这个过程可以一直迭代进行,直到你对覆盖率满意为止。衡量验证进展的最简易的方式是使用代码覆盖率。这种方式衡量的是多少行代码已经被执行过(行覆盖率),在穿过代码和表达式的路径中有哪些已经被执行过(路径覆盖率).哪些单比特变量的值为0或1(翻转覆盖率),以及状
复制链接