Assertion Check

In reply to ben@SystemVerilog.us:

That makes sense :) Thank you Ben! I appreciate.