In reply to Shubhabrata:
Hi Shubhabrata,
Thank you for the solution.
while i was trying this assertion “A” is high @ same clock edge if “B” is high then assertion passed. But, when I tried passing “B” before “A” the assertion was checking upto 15 clock cycles and it failed at 15th clock cycle. But, we need assertion to fail when “B” is high (at that clock-edge only) it should not check for all 15 clock cycles.