In reply to Shubhabrata:
The problem I am getting is
assertion should check “B” is low till “A” is high and then “B” should become high at same clock edge of “A”.
from your solution if I try to make “B” high before “A”. The assertion is still passing when both “A” and “B” are high after.
In the below diagram assertion should fail at 85 only but it passing at 125 because “A” and “B”
both are High.
