Verification of AMBA AXI On-Chip Communication Protocol | IEEE Conference Publication | IEEE Xplore