specman - Specman 覆盖：如何只覆盖发生了一些过渡？

Question

我需要确保在特定的 uint 项 X 中至少发生了 1 次更改，即 X 有 2 个不同的值（不知道具体的值是什么）。像这样的东西：

cover some_event {
    item X : uint = some_uint using no_collect;
    transition X using when = (prev_X != X);
};

** 代码导致编译错误

是否可以在 Specman 中定义这样的覆盖范围？谢谢您的帮助

Answer 1

你写的几乎是准确的，但不是“何时”-使用“忽略”

cover some_event is {
    item X : uint = some_uint using no_collect;        
    transition X using ignore = (prev_X == X);
};