Describir: Synchronization and arbitration in digital systems