功能覆盖率 面向控制(SVA) SVA主要是针对时许控制的检查,bind到需要检查的module上面向数据(COVERGROUP) covergroup用来收集各个控制寄存的变量是否被覆盖到(coverpoint),以及变量间的交叉覆盖(cross cover) covergroup是在scoreboard检查ok后进行收集的。