specman - Specman e 子类型：如何在何时/扩展子类型中引用条件字段的 FALSE 值？

Question

我有一个my_unit带有布尔字段的单元my_bool。我需要在my_unitwhen中添加一个特定的逻辑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变量 is编写代码FALSE，可以编写：

unit my_unit {
    // ...

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