在掩护点使用物品

Question

在下面的代码中，有人可以解释一下“item”指的是什么吗？

covergroup cg(bit ip);
 coverpoint txn_type {
    bins T0 = {0};
    bins T1 = {1};
    bins T2 = {2} with (((item || (!item)) && ip) == 1);
  }
endgroup

Answer 1

始终从 IEEE Std, 1800-2017 开始。请参阅第 19.5.1.1 节 带有覆盖组表达式的覆盖点箱:

with子句指定只有那些值在 covergroup_range_list 满足给定表达式（即，对于 表达式计算结果为 true，如 12.4 中所述）是 包含在垃圾箱中。在表达式中，名称item应用于 代表候选值。候选值类型相同 作为掩护点。

将

item

视为在

with

构造中使用的隐式声明变量。在您的代码中，

item

代表覆盖点变量，

txn_type

。

Answer 2

“item”应指“covergroup_range_list”或“coverpoint变量”。 您的代码可能是错误的。