私は以下のようなSVプロパティを持っています:
propert my_property;
@(posedge clk) disable iff(reset) (!s_of) throughout ($rose(halt) ##0 ((rx_prio) > (expec_prio)) ##[0:$] $rose(rdy)) |-> ##[1:100] (my_prio[rx_prio]==1'b1);
endproperty:my_property
以下のような主張があります。
MY_PROPERTY_CHECK:assert property (my_property)
else
$error;
上記のプロパティには、チェック全体でアサートされるべきではない信号s_ofがあります。しかし、ここでのシナリオは、この信号s_ofが含意演算子の結果の間にアサートされているということです。したがって、結果ステートメント中にシグナルs_ofがアサートされた場合でも、チェックを無効にする必要があります。これを達成する方法はありますか？
ありがとう。