In reply to ben@SystemVerilog.us:
Hi Ben,
Thanks for your feedback, abstract model of producing/consuming rate is one of the key point, and figuring out those corner case/max/min performance scenario is another topic as well.
Doing the great job on verifying architectural/system performance is very challenged.