随着工艺能力和设计能力的迅速提高，为了满足市场对成本、功能和功耗的要求，SoC(System on a Chip)设计技术已经成为一种发展趋势。众所周知，迄今为止在集成电路发展过程中，摩尔定律(单芯片上所能集成的晶体管数目每18个月翻一番)一直在起作用，因此SoC的规模和功能在不断急剧膨胀，这使得设计的验证工作日益重要。目前，验证已成为了整个SoC设计的瓶颈。传统的编写测试平台来验证设计的方法在SoC系统面前显然力不从心，越来越多的高级验证技术被用来解决复杂系统的验证问题，被用来探测系统中隐藏较深的缺陷。如果给予足够多的时间，或许可以发现SoC中的大部分问题，但是受到面市时间的约束，验证人员还需要一种高效的、省时的验证方法学指导。本文的工作是国家高技术研究发展计划(863计划)项目“网络数字音视频处理SoC设计与实现”的一部分，本文的主要目的是通过对现有验证技术的研究和探讨，提出一种适用于验证的IP核的设计方法，运用这种方法设计的验证IP具有较高的抽象层次，并且能够在一个SoC项目甚至多个SoC项目的验证工作中得到重用。这种IP可以缩短验证平台搭建的时间，提高验证效率，缓解验证压力，解决验证的瓶颈问题。论文通过分析当前业内流行的验证技术和验证方法学，提出一种基于高抽象层次和分层思想的验证方法学。针对该方法学的特点选择了标准语言SystemVerilog作为实现该方法学的载体。论文重点分析了VIP组成部件的功能和设计方法，并将各个部件组合成完整的验证环境，分析了基于分层思想的验证平台的设计方法，包括验证平台中所含的验证部件的工作原理。基于分层思想的验证环境具有通用性，可根据被测对象的不同加以改动以实现重用的目的。论文最后构建了一个基于AMBA2.0 APB总线的监视器模型，在监视器模型的设计中使用了基于断言的验证技术，并搭建验证平台仿真该模型在验证平台中的表现。模型在仿真工具上的运行结果显示总线监视器在验证中能够提高验证的可控可观性，提高验证的水平。