Slide 32 of 65
Notes:
A Bus Resolution Function (BRF) is used to determine the value of a signal that has two or more simultaneously active drivers. Each active driver provides an input to the BRF, and the BRF calculates the single value that will be read by any process using the signal as an input.
The input to the BRF is an array which includes all the active signal drivers. This input array is constructed and maintained implicitly by the simulator.