监控芯片中的“二维加速引擎”（TDE:two dimension engine）逻辑主要实现抗闪烁、缩放和旋转的功能，根据不同的应用场景，作一些功能性验证，并且还有功能切换的功能测试。VMM验证方法学能够给验证提供一些“基类”和一套比较固定有效的验证架构，这样就有助于提高验证效率并减少验证时间，同时VMM定义了一些验证的标准，从而能最大化复用验证环境与验证组件。System C语言是一种可靠的高级编程语言，一种可以与开发流程的步骤相融合的语言。基于以上两点，在搭建验证环境时才能更高效简单，准确实用。本论文主要介绍了验证的一些概念以及验证的重要性和独立性，然后讨论了System C语言和VMM验证方法学以及基于它们搭建的自动化验证平台，还简要介绍了“二维加速引擎”逻辑的基本原理和逻辑架构等，然后对“二维加速引擎”逻辑进行了EDA（electronic design automation）验证。最终实现了一个代码行覆盖率达到92%并且表达式覆盖率达到99%的EDA验证平台，而且激励产生机制是以直接测试为辅，随机测试为主的。在这整个验证的过程当中解决了测试点分解、测试用例的编写、通用测试用例模板的调试和编写、代码覆盖率的分析和处理等问题，在此基础上建立起了一套高效而且简洁的验证架构。