Design and Verification of Speed-Independent Circuits with Arbitration in Workcraft | IEEE Conference Publication | IEEE Xplore