AXI4 functional verification IP development and verification