Specman e 子类型化:如何在 when/extend 子类型化中引用条件字段的 FALSE 值?

Specman e subtyping: How to refer to FALSE value of conditional field in when/extend subtyping?

我有一个带有布尔字段 my_bool 的单元 my_unit。我需要在 my_bool == FALSE 时向 my_unit 添加特定的逻辑。可能吗?

unit my_unit {
    my_bool : bool;

    when my_bool {
        // Works fine, I can add logic to my_unit
    };

    when not my_bool {
         // This causes compilation error!!!
         // Here I need to add another logic 
    };
};

有办法吗?感谢您的帮助

编译器似乎将 when my_bool 视为 when TRUE'my_bool。如果你想为when这个变量写代码FALSE,你可以这样写:

unit my_unit {
    // ...

    when FALSE'my_bool {
        // ...
    };
};