集成电路设计技术不断在发展，功能的多样性形成了产品的特色，系统的复杂性加剧了设计的严密谨慎，集成的丰富性造就了研发设计的精益求精。基于工艺环节的增多，产品功能验证的要求则更是日益严格。如何有效的保证芯片设计的正确性和可靠性变得十分重要。对越来越繁杂的芯片进行的功能验证，需要选择适当的验证方法和搭建强大的仿真验证平台，使验证的效率显著提高并缩小设计周期。本文的研究对象是一款PCI-PCI总线的桥，实现了一种将相邻总线的设备能够快速进行数据交换总线结构，具有高速度的通信率和低功耗等特点。论文从验证方法学的基础出发，研究了功能验证的基本内容，根据实际应用提出了一种高效率的验证方法，提高了验证和测试的效率。在充分理解待测设计的内部结构和整体功能实现的基础上，搭建了验证平台，根据设计要求提取了验证的测试向量，使用cadence的Nc_verilog对芯片的接口功能进行了验证并分析了验证结果。验证结果表明，该设计的功能正确且对本设计的验证方法是可行的。本文得到的验证经验，也可用于其它相关设计中。