SV Assertions for Round robin Arbiter

Thank you Ben For giving me an idea. I am trying it