基于片上网络(Network on Chip，NoC)的异构多核系统利用NoC的高带宽和高并行性，充分发挥了片上资源的并行能力，成为当代高密度计算的最佳解决途径。但随着越来越多的功能簇通过IP重用技术被引入到多核系统中，系统的规模和复杂度与日俱增，分析和定位系统中的缺陷和漏洞也变得愈加地困难，基于多核系统高效验证技术的研究逐渐成为业界研究的热点。　　本文采用了基于软件仿真的系统级验证实现方式以及基于UVM验证方法学的验证框架结构，设计并实现了一款面向异构多核系统的验证环境，实现了受约束的随机运算任务配置和运算数据的生成和驱动、运算输出的自动化收集和核对、覆盖率统计等功能，论文的主要工作如下:　　首先，论文对系统级验证的相关概念、UVM的框架结构以及待验证的目标异构多核系统的结构特征进行了深入的分析，明确了验证的总体需求并规划了验证环境的基本框架和通信方式。　　接下来，论文采用基于“模块”的周期精确建模策略设计并实现了网络功能模型;根据网络接口验证组件与网络功能模型交互的细节设计并实现了网络接口功能模型;以UVM验证框架为基础设计并实现了接口通用验证组件和自动化核对组件;通过运算任务的属性以及测试的需求设计并实现了测试套件;根据运算任务所包含的运算属性设计并实现了覆盖率统计组件。　　最后，论文通过向系统施加不同约束的运算任务评估了验证环境的功能准确性、有效性以及对错误的处理能力。