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

IEICE Transactions on Information and Systems - Japan
doi 10.1587/transinf.e93.d.2100
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Institute of Electronics, Information and Communications Engineers (IEICE)


Related search