// Write an Assertion for a signal abc is asserted for exactly one cycle basically a pulse, it should not generate another ABC until b is asserted or 10 cycles
property p1 ();
$rose(abc) |=> !abc until (b);
endproperty
I am not able add delay after until. Ideally need something like !abc until b or ##10.