Specman e子类型：如何在/ extend子类型中引用条件字段的FALSE值？

Question

我有一个单位my_unit，其中包含一个布尔字段my_bool。我需要在my_unit时向my_bool == FALSE添加特定逻辑。有可能吗？

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

有办法吗？谢谢你的帮助

Answer 1

编译器似乎将when my_bool视为when TRUE'my_bool。如果您想为when编写变量为FALSE的代码，您可以写：

unit my_unit {
    // ...

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