I have a scenario wait as soon as when a asserts b should asserted with 1 to 5 clock cycles of
Pseudo code
a |-> #[1:5] b
This will pass of first match of sequence how do I have make sure other conditions
Say
1 2 3 4 5 ——— clock cycles
a a
c c
How do I have make sure this condition is holding true
Thanks