覆盖率类型

覆盖率的两种指定形式：显式的： 直接通过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中。每个采样点应该包括，采样时刻，采样哪些信号，预期采样信号的结果是什么。