AXI4 and AXI4-Lite synthesizable modules and verification infrastructure - View it on GitHub