Assertion for statistics

In reply to ben@SystemVerilog.us:

Is there any way to do it from one of the interface?