集成电路工艺飞速发展，芯片设计的规模和复杂度已经不可同日而语，传统的验证方法对当前复杂度的设计不再适用，验证已成为整个芯片开发过程的瓶颈。事务级验证、带约束随机激励生成、覆盖率驱动的验证、验证IP、基于断言的验证以及高级验证方法学等成为当前硬件验证的主流技术，其中，基于断言的功能验证技术具有代码简洁、可以快速定位设计缺陷等优点，成为一种重要的验证技术。本文研究了基于断言的PCI总线控制器核的功能验证问题，引入配置图描述PCI总线控制器的配置过程，并提出基于配置图的事务生成算法，并设计和实现了基于断言的验证IP。论文首先对当前验证技术存在的问题、面临的挑战以及主流的高级验证技术进行了分析，然后以PCI总线控制器核为待验证对象，详细描述了制定验证计划、进行测试需求分析、编制测试用例以及搭建验证平台的过程。为了提高验证的完整程度和激励生成效率，提出了基于配置图的事务生成算法，实现PCI从设备接口事务的高效生成。最后，基于VMM架构设计了基于断言的验证IP，实现了对PCI总线控制器核的功能验证，并对检查器验证IP的验证结果进行了分析及总结。实验结果表明采用基于断言的验证IP核可以快速地定位设计错误，增强了验证过程的可控性及可观察性，且验证IP本身可直接被其他涉及PCI接口的验证环境重用，缩短了验证周期，提高了验证效率和质量。