随着互联网的飞速发展和宽带技术的不断出现,互联网当中出现了一些日益突出的信息安全问题,为了保障安全,在特定情形下需要对网络上的内容进行监控或者还原,并能够对数据包应用层协议进行准确识别并对包进行相应处理。这就对网络监控设备中的集成电路设计提出了更高的要求,而验证作为集成电路开发的重要环节之一,高效的验证平台的搭建就显得很重要。本文就网络设备开发中对如何实现高效的面向应用层协议的验证平台进行了研究。　　本文首先介绍了传统的前端验证技术,总结了网络设备开发中传统的验证方法,并指出了传统方法在设备面向应用层协议时的不足。针对这些不足,本文提出了一种高效的面向应用层验证平台的方案,研究了搭建平台的几个关键技术,主要包括验证模块的重用性,应用层协议会话数据的获取,数据包的组织等。该平台能够读取实际网络中的数据包并包装组织成适用于平台的激励数据,与此同时还能根据验证人员的配置生成激励数据,进而对待验证设计进行高效验证。由于应用层协议和设计模块的多样性,平台中特别利用了SystemC的高级语言特性通过面向对象中的继承特性实现了验证平台的重用性。此外,扩展TCL命令的使用使得用户可以通过TCL文件自动产生仿真需要的激励数据、配置数据和控制数据,并使用Perl脚本自动更新验证报表,从而实现了验证平台的高自动化。　　最后,本文对在实际项目中使用该验证平台进行验证的数据进行统计,并对最终结果进行了分析。在数字芯片系统的开发过程中,该验证平台成功的设计并应用在了对面向应用层设计的数字芯片的前端验证中。实践证明了验证平台的在面向应用层时的可行性、高效性、高重用性和高自动化。