Assertion to check pulse 2 inside pulse 1

In reply to ben@SystemVerilog.us:

Thanks Ben!!