Concurrent Assertion :: To check the No. of Occurrence of ' ack ' within certain clocks

In reply to ben@SystemVerilog.us:

Hi Ben,

Could you pls explain the “intersect 1[*5]” part? Does this check for unique req-ack that OP seems to be asking for?