随着集成电路规模和复杂度的急剧增长,验证已成为当前集成电路设计中最困难、最具挑战的课题。验证的工作量和消耗的资源已占集成电路设计总体工作量和耗费资源的80%以上。但目前,验证方法学发展水平仍滞后于集成电路规模的扩张,成为了集成电路产业发展的瓶颈。因此改进验证方法学以提高验证效率就成为了研究的热点。而提高验证效率也是贯穿本文的主线。提升验证的抽象层次是提高验证效率最重要的方法。通过提高抽象层次,可以在验证时将关注的重点放在事物级的传输和操作上。这就使得验证工程师在构建验证平台、编写验证激励和观测仿真结果时,都无需花费大量的时间、精力去处理底层信号间繁杂的时序关系。同时将验证中的操作抽象出来,构建出总线功能模型和验证工具箱可以促进验证元件的可重用性。为了模拟AHB-PC Card桥接器软核的真实工作环境以对其进行验证,本文利用逐层抽象的方法设计出了PC卡的总线功能模型。并在PC卡总线功能模型和AHB Master总线功能模型的基础上,进一步提高抽象级别,构建出了三个层次的验证工具箱。它们使验证人员可以忽略桥接器两侧总线上众多信号复杂的时序,将关注的重点转移到桥的数据传输层面上来。由此简化了验证过程,并使得每条验证用例的激励更复杂,提高了单条验证用例的覆盖率,减少了总体仿真时间。除提升验证的抽象层次外,本次验证还使用了验证自动化方法、用仿真模型提高验证效率的方法,以及以覆盖率为导向添加验证用例来保证验证充分性的方法。本文还深入分析了仿真器处理仿真中并行进程的方式及其产生原因。在此基础上,进一步介绍了本次验证构建验证平台时如何避免仿真器的并行处理方式带来的消极影响。验证过程中所作的这些努力均提高了桥接器的验证效率,缩短了研发周期。本论文用以提高验证效率的方法,同样适用于其他数字集成电路的验证需要。所设计的PC卡总线功能模型和构造的验证工具箱等验证元件具有可重用性,可在其他类似设计的验证中重用。