随着专用集成电路的发展，其功能越来越复杂，电路可能包含多至几百万的晶体管。从设计开始到设计综合、系统软件和调试等阶段，验证是贯穿芯片设计全流程的重要组成部分。验证工作甚至可以占到设计总工作量的70％。验证，特别是功能验证已经变成了设计过程中的最大瓶颈，减少功能验证时间对设计成功来说是至关重要的。传统的功能验证方法难以构建复杂的验证场景，并且边缘情况难以覆盖。因此，必须提出新的功能验证方法学和技术。高级验证语言的出现正是为了解决功能验证瓶颈问题。E是Cadence公司针对验证推出的一门语言，该公司的Specman Elite是唯一支持它的工具。E语言的特性包括：面向对象编程、功能覆盖率驱动验证、可重用组件以及自动生成激励、自动检查和自动生成覆盖率报告。高速路由器和城域以太网交换机中都需要进行复杂的协议处理。随着科技的进步、集成度的提高，出现了处理复杂协议的ASIC。本文介绍了在复杂的协议处理芯片中如何利用Specman进行自动化的功能验证，从协议处理芯片的简化，验证平台的构建，验证代码的复用等方面进行阐述。通过本课题研究，得到如下结论：基于Specman E的自动化功能验证能够大大提高验证效率。