近几年来随着专用集成电路ASIC(Application Specific Integrated Circuit)的迅速发展和系统芯片SoC(System on a Chip)复杂度的不断提高，芯片验证，尤其是功能验证日益成为电子产品开发和设计的瓶颈。验证做为芯片设计领域中最困难和最具挑战性的课题之一，它贯穿了芯片设计的整个流程，是芯片设计过程中发现概念和功能上错误的唯一手段。在SoC设计中，IP(Intelligent Property)重用设计方法学和大量新设计技术的采用，对传统功能验证方法提出了新的挑战。如何快速的验证这些IP模块和整个系统已成为系统芯片验证的难点和热点。 大量实践证明，基于事务的验证重用方法学是提高功能验证效率最有效的方法之一。本论文描述了对SoC进行事务验证的一般流程和设计方法；在验证方法学和重用方法学基础上，提出了采用SystemC和SCV验证库来创建模块化事务级验证平台的设计方法，方便了验证平台的重用，提高了验证的效率；分析了两种总线功能模型的实现方式；引入随机测试的理论，根据SCV验证库的随机机制给出了三种随机测试向量的生成方法；在讨论监视器可重用设计规则的基础上，提出了一种监视器的设计方法，采取对物理信号的监测和数据的接收分离开来，加快了验证的调试过程。 最后讨论了验证平台的组织结构，通过对4×4Packet Switch模型进行一系列的验证实验，完成了对验证对象的功能验证，证实了模块化事务级验证方法是可行的。结果表明，使用此模块化的验证平台有效地降低了验证人员的工作量，提高了验证的效率。