随着系统设计的规模和复杂度呈指数上升,传统的验证环境在可重用性、灵活性和验证效率等方面存在的缺点越来越明显,显然已无法满足验证领域的需求,巨大的验证压力迫使验证工程师必须突破传统验证方法,开发新的验证技术和新的验证环境来提高验证效率,保证产品质量。本文的主要任务是完成对数据路由系统的功能验证,因此如何有效地实现其系统级验证平台,使其具有较强的灵活性和可复用性,并且自动化程度高,是本文的研究难点和重点。本文运用SystemVerilog语言实现了基于VMM (Verification Methodology Manual for SystemVerilog)高级验证方法学的可扩展的分层验证平台,有效的提高了验证的充分性和可靠性以及验证效率,加速了项目开发进程。本文通过脚本文件对验证平台进行仿真管理,实现了约束随机激励的生成、断言的监视、输出数据的实时比对以及覆盖率统计等自动化功能。同时,验证平台支持随机测试向量约束条件的更改、自动比对机制按需求定制和功能覆盖点的添加,使验证平台的灵活性和可复用性达到最大化。此外,本文采用基于事务的建模方法,抽象层次高,使验证从信号级抽象到事务级,验证平台的每个层次都能给其上层或测试用例提供一系列的服务,并通过抽象将低层次的细节隐藏起来,针对不同的测试用例,只需要修改测试场景和约束条件。本文实现的系统级分层验证平台已经成功应用于数据路由系统的功能验证中,验证结果和覆盖率均达到了预期的目标,验证过程中充分体现了VMM验证方法学的优势和约束随机激励验证、基于断言的验证和覆盖率驱动验证等高级验证技术的灵活性、高效性和自动化特点。本文采用的基于VMM高级验证方法学的验证思想和先进的验证技术为日益复杂的系统级功能验证提供了坚实的基础,具有一定的创新和应用价值。