AXI4 and AXI4-Lite interface definitions and testbench utilities - View it on GitHub