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 でそのようなカバレッジを定義することは可能ですか? ご協力ありがとうございました