Verifying an Arbiter Circuit | IEEE Conference Publication | IEEE Xplore