This paper introduces verification of AMBA AHB-compatible interface logic of a CPU chip, including verification environment, mechanism for data generation and data checking.

• 本文介绍了一款CPU芯片的AMBA AHB接口逻辑的设计验证工作,包括整体的验证环境,数据产生机制,以及数据检查机制。