Round_robin_with_priority.Log_shift
Round-robin arbiter implementation which rotates the inputs using rotate_by_index and then uses priority_select to choose the active input.
rotate_by_index
priority_select
val combinational : 'a combinational
val sequential : sequential