Functional verification of the Axi2OCP bridge using system verilog and effective bus utilization calculation for AMBA AXI 3.0 protocol | IEEE Conference Publication | IEEE Xplore