AMBA AHB bus potocol checker with efficient debugging mechanism | IEEE Conference Publication | IEEE Xplore