明确的交叉覆盖定义

Question

1.是否可以在系统verilog中明确列出交叉覆盖点？像下面的东西..

2.由于我只对双重{{1,2},{3,1},{2,4}}而不是b1或b2独立的事件感兴趣，我是否可以在不创建封面b1和{{{{}}的情况下完成此操作1}}（即只写交叉覆盖）？

b2

Answer 1

您可能不希望cross代表您要覆盖的内容。十字架的箱子用于合并或排除元组，而不是创建元组。您可能想要使用简单的封面

cp: coverpoint {i,j} {
   bins mx[]= { {32'd1,32'd2},{32'd3,32'd1},{32'd2,32'd4} };
}

或更简单

cp: coverpoint {i[3:0],j[3:0]} {
  bins mx[]= { 'h12,'h31,'h24 };
}