Arbitration Techniques For Soc Bus Interconnect With Optimized Verification Methodology