How to write assertion for weighted round robin arbitration?

SystemVerilog
, , , , ,
3

In reply to dave_59:

Thanks Dave !
Actually I want to verify it via assertion/checker. Can you help me on this?
My first question was actually not proper.