Verification of memory transactions in AXI protocol using system verilog approach | IEEE Conference Publication | IEEE Xplore