sv9.7.1&9.7.2-交叉覆盖率及示例,对交叉覆盖仓进行标号
1.交叉覆盖率及示例
(1)覆盖点记录单个变量或表达式的观测值,交叉覆盖率则同时测量两个或两个以上覆盖点的值;
(2)system verilog中的cross结构可以用来记录一个覆盖组内两个或两个以上覆盖点的组合值; cross语句只允许带覆盖点或者简单的变量名;
(3)示例
2.对交叉覆盖仓进行标号
(1)可以对各个覆盖点的仓进行单独标号以使交叉覆盖仓的名称更具可读性;
(2)示例
(1)覆盖点记录单个变量或表达式的观测值,交叉覆盖率则同时测量两个或两个以上覆盖点的值;
(2)system verilog中的cross结构可以用来记录一个覆盖组内两个或两个以上覆盖点的组合值; cross语句只允许带覆盖点或者简单的变量名;
(3)示例
(1)可以对各个覆盖点的仓进行单独标号以使交叉覆盖仓的名称更具可读性;
(2)示例
