覆盖率
作者:互联网
覆盖率类型
覆盖率的两种指定形式:显式的: 直接通过SV来指定出的,如SVA,covergroup。隐式的: 在验证过程中,随"register move"就可以由simulator得到的,如代码覆盖率等。
覆盖率类型:
代码覆盖率
—由仿真器直接提供,只能表示设计的冗余度,与spec关系不大。(toggle/expression/block)
功能覆盖率
—与spec比较来发现,design是否行为正确,需要按verification plan来比较进度。(assertion/covergroup)
断言覆盖率
—用于检查几个信号之间的关系,常用在查找错误。
漏洞率
-------同一功能验证,运行多个seed,寻找bug
能覆盖率策略
覆盖组 covergroup
通过覆盖组在特定的时刻
采集某些感兴趣的变量
,covergroup
可以包含多个采样点(coverpoint
),covergroup
模块可以定义到某个类中,也可以在interface
中,或者在顶层的tb model中
。每个采样点应该包括,采样时刻,采样哪些信号,预期采样信号的结果是什么。
标签:采样,验证,覆盖率,信号,covergroup,spec 来源: https://blog.csdn.net/qq_37884273/article/details/110751761