HPChecker: An AMBA AHB On-Chip Bus Protocol Checker with Efficient Verification Mechanisms