Как сделать сигнал стабильным достаточно долго в утверждении

Question

Предположим, у меня есть следующее утверждение. Теперь я хочу, чтобы сигнал А оставался стабильным в течение некоторого времени после подъема. То есть, A должно быть высоким до первого появления D == 4, после чего оно может стать низким в любое время, когда захочет. Также я не хочу использовать ## [0: $] в этом утверждении.

Буду очень признателен за любую помощь / совет. Спасибо.

property p_check(A,B,C,D,E);
     @(posedge clk) disable iff(!resetn)
      $rose(A) ##1 B ##0 (C == 3) ##0 (D != 2) |=> (D == 4)[->1] ##[0:2] (!E throughout A);
   endproperty : p_check

Answer 1

Вы должны написать это как отдельное свойство.

 @(posedge clk) disable iff(!resetn)
    rose(A) |=> $stable(A) until (D==4);