全面快速的设计验证是芯片设计成功的关键所在,当前业界在验证方面关注的焦点是功能验证。但是随着芯片的功能越来越多,结构越来越复杂,导致验证的工作量大大增加,当人们用传统的验证工具和方法难以按时完成验证工作时,就出现了所谓“验证危机”。　　为了适应这种形势,芯片验证的工具和方法正在发生迅速而深刻的变革。现在基于RTL(Register Transmit Level)语言的验证方法正在向基于系统级语言的验证方法过渡,导致了高级验证语言的出现和标准化,基于高级验证语言的验证方法学逐渐成为解决众多验证问题的一条有希望的途径。　　本论文的工作重点就是通过研究基于高级验证语言的验证方法学,提出一种基于高级验证语言并综合利用直接测试、约束随机测试、面向对象编程、层次化设计、覆盖驱动验证和基于断言的形式化属性检查验证等多种验证技术的事务级验证方法,针对该验证方法的特点选择了IEEE标准语言SystemVerilog语言作为实现该方法学的载体。　　论文重点分析了验证平台及其层次的功能和设计方法,并将各个层次组合成完整的验证环境,分析了基于分层思想的验证平台的设计方法,包括验证平台中所含的验证组件的工作原理。基于分层思想的验证环境具有通用性,可根据被测对象的不同加以改动以实现重用的目的。随后通过验证实验和工程实践具体分析该验证平台的优缺点。　　论文基于这种验证方法设计液晶显示屏控制器(Liquid-Crystal Display Controller,LCDC)通用验证平台,使动态仿真较传统验证方法更高效的执行验证工作,缓解验证压力,尤其是实现目前基于传统的Verilog语言的验证方法不易实现的高效率、可重用性、可观测性、可维护性与通用性。