随着芯片规模的指数上涨，验证能力已经远远落后于设计能力，并且正在成为制造功能更复杂、规模更庞大的芯片的瓶颈。为了解决这一问题，验证领域得到了极大的发展。在文中，通过对验证活动的作用、验证流程的分析，提出芯片的验证已经不仅仅是硬件测试，而且是结合有软件测试特点的硬件测试。在此思想的指导下，对测试平台提出的要求也超出了早期仅局限于效率和功能的局限。扩展性、代码覆盖率和回归测试等也在测试中占有很重要的地位。 更高的验证目标要求有更有效的支持。其中，Synopsys公司的Vera语言是专用于设计测试平台的现代语言之一。主要的特点是：面向对象的语言内核；通过界面定义和端口变量等实现了Vera语言内核和硬件描述语言的接口；通过编程结构fork／join和数据结构(事件、邮箱和旗语)来实现复杂的并行控制，实现对硬件特点的模拟。 本文以视频后处理芯片的测试实践为基础，分析了视频输出模块和算法实现模块的测试过程，强调模块级和系统级测试的不同重点，并总结了这块芯片的验证工作中的成功和不足。 静态验证也对上述动态验证起到很大的补充。其中形式验证是静态验证的一种。本文通过对形式验证中部分顺序理论的分析，阐述了通过串并行部序集描述复杂系统的原理。在简单评价了Synopsys公司的商用软件Formality之后，重点分析了在视频后处理芯片项目中Formality的应用流程和实际工作经验，证明形式验证的重要作用。 这篇论文分成四个部分，第一部分主要是对验证策略的介绍，第二部分是介绍Vera语言的特性，第三部分是视频后处理第二版芯片中的验证工作的分析和总结，第四部分是对形式验证理论的探讨和视频后处理芯片中形式验证工具的使用以及经验的总结。