在整个半导体行业蓬勃发展的背景下，集成电路的设计规模进一步扩大。因此近年来SOC芯片开始广泛应用于各行各业。然而在SOC芯片开发过程中，芯片的验证一直占据着整个项目周期的70%左右。传统的验证方法已经不能满足目前芯片验证中所遇到的许多问题。以先进的验证理论为基础的高效的验证方法，成为芯片功能验证的重要保障。本文所研究的内容，是中国某知名电器公司的数字电视SOC芯片开发项目的一部分，即对其内部图像缩放IP的RTL代码进行全面的功能验证。从而确保图像缩放IP的设计完全满足设计规范，并实现所提出的功能要求。文中首先回顾了验证方法学的发展史，并指出芯片验证所面临的挑战。而后对现今芯片验证方法学的原理进行了细致的研究，并引入了一些重要的验证概念，例如随机化，覆盖率，分层结构等。为后文奠定了扎实的理论基础。图像缩放IP是数字电视SOC芯片中的一个重要的模块。主要实现了对图像的横向和纵向放大，缩小处理功能。文中根据图像缩放IP的设计要求，进行功能点分析，从而制定出详细的验证策略。之后根据制定的验证策略和测试点，以层次化，可重用，易维护为原则，并使用先进的随机约束，参考模型，代码覆盖率和功能覆盖率等先进的验证技术为手段。用SystemVerilog语言对整个验证平台进行设计和搭建，并对整个验证流程和验证环境进行详细的阐述。最后，本文对整个验证平台和验证结果进行了分析，确保了图像缩放IP验证的有效性和正确性。此外，文中所搭建的验证平台可以方便的复用于系统级验证，并可作为相关项目的参考平台。