Assertion protocol checker

In reply to ben@SystemVerilog.us:

Many thanks I need to now digest this code