(iii) the agent is at the left side of the winner agent, and its
pending transaction does not conflict with other granted bus
transactions from agents on its right side.
The two multiplexers take the segment addresses from the
agent i as their outputs if Granti is asserted. Otherwise, the
data received from other agents is propagated. Note that for
agent 1 at the left bus end, when Grant1 is negated, MaxSeg1
is assigned a value m which is lower than all real segment addresses. Similarly, a value M higher than all real segment addresses is assigned to the MinSeg from the highest segment
when its Grant signal is negated.
For splitter controller i, the conditions for actions ‘F’, ’I’,
and ‘B’ in the request phase are: