现代SoC设计日益复杂,基于IP复用技术的SoC设计方法逐渐成为一种主流方法.目前SoC领域面临诸多需要解决的问题,IP模块及SoC验证影响整个SoC的成败,是其中的关键问题.在北京大学微处理器研究开发中心研制开发的北大众志-863CPU系统芯片(UNITY-863系统芯片)中,内部系统总线采用AHB总线,外部使用PCI总线扩展其功能,AHB-PCI桥接器是桥接这两个总线的模块,完成两个总线之间的数据通讯,两端接口分别满足AHB2.0规范与PCI2.2规范.AHB-PCI桥接器是一个典型的复杂总线桥接器,这类模块在功能、设计与验证方面有一定的共同特性,其中复杂状态机、异步时序域、总线协议细节满足及多设备争用总线等问题的验证是这类模块验证中需要重点考虑的方面,同时需要采用RTL验证、FPGA验证与后仿真等多层次的验证以及综合使用多种验证技术,在设计的各个阶段进行全面的验证.该文在提出复杂总线桥接器验证策略的基础上,充分考虑AHB-PCI桥接器的特点,结合北大众志-863CPU系统芯片的现有模块及验证流程,建立了比较完善的总线监测模块与RTL验证环境,对AHB-PCI桥接器在RTL级进行了相对完备的功能时序验证;为了在接近实际应用的条件下进行功能验证,该文进一步对包含AHB-PCI桥接器的北大众志-863CPU系统芯片建立FPGA原型验证环境,在该环境中对系统相关的软硬件进行协同验证,并提出了使用硬件监测器在FPGA环境中进行问题跟踪与定位.另一方面,对RTL环境进行必要的移植与改动后建立后仿真环境,在后仿真环境中按照流片工艺的要求进一步验证模块的物理特性,确保系统在流片后可以正常工作.在验证过程中,各个阶段发现问题的性质和数量各不相同,相应的定位问题与解决问题的手段也不尽相同.该文对AHB-PCI桥接器的验证过程中发现的问题进行了一定的分类及分析,重点对复杂的总线协议以及异步时钟域的频繁通信等导致的一些不易发现或定位的问题进行了深入的讨论,并在这个过程中对验证环境或验证过程提出了一定的优化意见.