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);
};