Vhdl, Uvvm, Bfm.
t_axilite_if, which is a record. It contains a record for each of the five channels defined in the AXI4 bus. Since the AXI4 bus can have different sizes, either in terms of address range and data range, each channel record is then made of the individual signals with unconstrained arrays.