随着集成电路的不断发展,产品功能的多样性和系统的复杂性,使得设计验证必须更加严谨,我们必须更加努力的去保证设计的正确性。我们需要选择合适的验证方法和高效的验证平台,才能提高对复杂芯片验证的效率。PCI总线,是系统中常用的总线之一,从低端的移动领域到高端的处理器,我们都可以找到它的应用。为了满足应用要求,系统结构越来越复杂。但是,单一的PCI总线上,负载的设备数目是有限的。为了实现总线的扩展,通常使用桥设备,来形成分级的总线结构。为了能够支持这种复杂的总线结构,提高总线使用的效率,我们需要一种灵活的仲裁方法,来分配总线的使用权。验证工作,在当代集成电路设计中所占的时间和资源都远大于设计工作。所以本文主要的工作量也集中在验证部分。在建立验证方案后,最重要的工作就是搭建验证平台。本文搭建的验证平台,不仅仅是针对仲裁模块,而是适用于整个芯片的验证平台,需要能够支持整个芯片的所有验证工作。课题中对验证平台的结构、功能,和常用任务进行了详细描述。搭建验证平台也是本文的主要工作。本文研究的对象是一款PCI-PCI总线桥,先从芯片的实际应用环境和基本功能入手,简单介绍了相关的PCI协议。以固定优先级算法和循环优先级算法为基础,对其内部仲裁器算法进行研究。然后,从验证方法学的角度,提出了验证方案,并且建立了验证平台。最后使用Nc_verilog作为验证工具,通过仿真验证,验证了芯片内部仲裁器符合预期设计要求,根据覆盖率信息分析了验证工作的可靠性。并且对芯片初样进行了部分参数的测试。本文主要内容是第四章和第五章。主要的工作内容是芯片验证平台的搭建和对芯片内部仲裁器进行功能验证。验证平台的建立和对芯片内部仲裁器的验证,为其他验证工作和设计工作,提供了重要参考价值。最后,本文中的桥片,通过了Nc-verilog软件进行的前仿验证和后续的其他验证工作。结果证明,本文所选用的验证方式,满足了预期的验证要求。建立的验证方案,覆盖了芯片的功能验证要求,对芯片进行了科学合理的验证仿真。