Formal verification of correctness and performance of random priority-based arbiters. - Krishnan Kailas; Viresh Paruthi; Brian Monwai (FMCAD, 2009)