Specman e subtyping : 언제/하위 유형 지정의 조건부 필드의 FALSE 값을 참조할까요?

Question

부울 필드가 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 
    }; 
}; 

방법이 있습니까? 귀하의 도움에 감사드립니다

Answer 1

컴파일러는 when my_bool을 when TRUE'my_bool으로 처리하는 것으로 보입니다. 당신이 변수가 FALSE 인 when에 대한 코드를 작성하려는 경우, 당신은 쓸 수 있습니다 :

unit my_unit { 
    // ... 

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