Validation of transactions in AXI protocol using system verilog | IEEE Conference Publication | IEEE Xplore