Efficient Verification of Arbitration Design with a Generic Model Author(s): Kevin Kotadiya, Ishita Agrawal Download