Efficient Verification of Arbitration Design with a Generic Model