AXI4 Transactor and Bus Functional Model