# SVA for checking fairness of Round-Robin Arbiter

**URL:** <https://verificationacademy.com/forums/t/sva-for-checking-fairness-of-round-robin-arbiter/31693>\
**Category:** SystemVerilog\
**Tags:** SVA, SystemVerilog, Round-Robin-Arbiter\
**Created:** [April 10, 2016, 5:05pm UTC](https://verificationacademy.com/forums/t/sva-for-checking-fairness-of-round-robin-arbiter/31693 "2016-04-10T17:05:12Z")\
**Posts on this page:** 1\
**Showing post:** 2

<div class="post-metadata">

**Author:** ![Hanh\_Ha1](https://verificationacademy.com/forums/letter_avatar_proxy/v4/letter/h/e480ec/32.png) [@Hanh\_Ha1](https://verificationacademy.com/forums/u/Hanh_Ha1)\
**Post date:** [April 11, 2016, 3:27am UTC](https://verificationacademy.com/forums/t/sva-for-checking-fairness-of-round-robin-arbiter/31693/2 "2016-04-11T03:27:29Z")

</div>

_In reply to [imajeeth](https://verificationacademy.com/forums/t/sva-for-checking-fairness-of-round-robin-arbiter/31693):_

> Are are any standard or recommended ways of verifying the functionality of the round-robin arbiter and more specifically checking the fairness?  
> I’m looking for something that is scalable with the number of requestors.  
> PS: Assume, the request and grant is asserted on the same cycle

I faced this issue before. As far as I know, there is no standard ways to verify round-robin arbiter. Depend on your specification, it would be from simple (using about 3 properties or something like that) to more complicated (I myself used a function with “global” variables).

---

_[View the full topic](https://verificationacademy.com/forums/t/sva-for-checking-fairness-of-round-robin-arbiter/31693)._