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

Предположим, у меня есть следующее утверждение. Теперь здесь я хочу, чтобы сигнал А оставался стабильным в течение некоторого времени после подъема вверх. То есть 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