随着半导体工艺水平的飞速发展,集成电路的设计规模不断扩大,设计复杂度不断的增加,设计风险不断的增大,因此验证的工作量也大大增加。在复杂的集成电路系统中,怎样保证设计的可靠性是所有设计团队关心的问题。另一方面,由于验证工作已经占到整个设计的50-80%,利用传统的验证方法很难完成复杂度在百万门以上的SoC的功能验证。如何对设计进行高效完备的验证则是所有设计团队急需解决的问题。本文针对SoC(System-On-a-Chip,片上系统)芯片的结构特点,提出了一种使用高级验证语言(E语言)搭建可重用的自动功能验证平台的方案,并将该功能验证平台应用到CEU(Configurable-Encryption-Unit,可配置的加密模块)模块的验证中。高级验证语言的应用,大大提高了功能验证的效率,而E语言作为一种高级验证语言,使验证工程师可以高效地搭建验证平台。该自动功能验证平台遵从可重用方法学的规则,可以对SoC芯片中的模块进行自动功能验证。由于验证平台的可配置性和可重用性,验证工程师只需要对验证环境做一定的修改就可以适用于其它的模块,极大地减少验证工程师的工作量,提高了验证效率。