Slide 48 of 65
This is the package body showing the implementation of the wired_x function. Notice that the loop index spans input’RANGE which ensures that the BRF function can examine all the elements in the unconstrained array of signal drivers (i.e. the actual number of signal drivers may not be known apriori).
Basically, the function returns ‘Z’ if all drivers are ‘Z’, the value of any single non-‘Z’ driver if there is one, and an ‘X’ if there is more than one active driver..