Systemverilog覆盖箱

Question

我正在使用系统verilog覆盖，我想检查容器范围。 我希望它在1000-2000范围内 但只有mod 5中的值才会被采样。 例如1000,1005,1010等。

感谢您的帮助！

Answer 1

据我所知，这在SV 2012中很容易实现。以下是您的情况：

coverpoint x {
  bins mod5[] = {[1000:2000]} with (item % 5 == 0);
}

您可以在IEEE Std 1800-2012的第19.5.1.1节中阅读更多内容。如果您没有可以执行SV 2009的旧模拟器，那么您必须手动定义值。