There is no state information to detail in the bus module apart from the integer round_robin_index used to implement the round-robin policy between CPUs. All the cpu input port are checked a circular way starting at CPU number round_robin_index.