随着微电子技术的飞速发展,集成电路产业进入了系统级芯片(SoC)的时代。SoC技术,通过知识产权(IP)复用技术,提高了设计效率,缩短了芯片设计开发周期,缩短了芯片的上市时间。同时,SoC技术使得芯片的复杂度不断加大,芯片设计规模达到了百万门级,甚至千万门级。随着SoC技术的不断发展,SoC设计验证便成为了一个不可忽视的问题。为了验证SoC设计功能同设计规范的一致性,SoC设计验证往往占到了整个SoC设计工作量的60％,甚至更多。SoC设计验证渐渐成为了制约SoC芯片开发效率的瓶颈,因此,如何更好地利用现有的工具和方法来建立验证环境成为验证工程师们关注的焦点和工作的重点。 功能验证是SoC设计验证的主要部分,也是SoC设计验证的核心部分。本研究侧重SoC设计的功能验证,在验证方法学、验证平台通用性和自动化方面展开研究。在验证方法学方面,作者结合当前主要的验证方法,仔细分析各方法的优缺点,提出了优化的验证方法,并将该方法成功应用到SoC设计验证的典型案例,通过对案例的分析,优化的验证方法提高了验证效率,缩短了验证时间,减轻了验证工程师的负担。在验证平台通用性方面,本研究提出的通用验证平台可以进行SoC设计的模块级、系统级仿真验证,可以实现仿真验证行为级向RTL级过渡、RTL级向门级过渡,提高了验证平台的重复利用率,使验证平台便于维护。在验证平台自动化方面,作者通过对验证平台层次的划分,提高了验证平台的抽象程度,简化了SoC设计验证工作,提高了SoC设计验证效率,同时使得验证平台便于在不同项目间进行移植；作者利用脚本语言编辑验证脚本可以实现文本处理,编译选项处理等繁琐工作,减轻了验证工程师的工作量,提高了验证的可靠性。