Seol mar théacs é seo: Synchronization and arbitration in digital systems