随着互连网络应用的越来越进入人们的生活，互联网数据量以指数形式爆炸性增加，所以网络的路由设备得到了飞速地发展，基于异构多核的网络处理器逐渐成为核心路由设备的主要芯片。为了解决网络处理器设计流程中软硬件协同验证时遇到的困难，本文研究了传统软硬件协同验证在SOC设计中的局限性以及基于SystemC的广义协同验证所带来的优势，通过对专用领域特殊情况的分析，提出了适合网络处理器协同验证的解决方案。首先为了满足异构多核网络处理器设计过程中的架构分析的需要，本文建立了一个多核片上系统的事务级系统原型，其次，设计并建立了异构多核片上系统协同验证平台方案，该方案保证了平台中各模块在流程中的可重复利用以及兼容性，通过模块的替换和接口协议变更实现软件行为仿真、微码指令的调试和RTL级PE的验证。本文在建立精确的处理器ISS模型的同时，设计实现了其效率统计模块，虽然ISS没有流水线结构，但是通过效率统计模块对微码的分析，可有效评估微引擎流水线执行效率。另外，本文设计并实现了封装器，从而保证了软件能够对硬件进行正确的访问，提升了系统的兼容性。通过适配器的设计保证了总线模型能够与外部RTL模块相连，达到产生事务验证激励的目的。仿真速度是本文中非常重要的的指标，文中给出了不同的验证方案由于仿真层级的不同造成的仿真速度差异比较，纯事务仿真的速度是RTL仿真的速度的几百倍。在对仿真结果分析时，针对微码和RTL模块协同验证方案中的仿真速度过低问题提出了理论分析，并在后续的修改中使这一情况得到了改善。整个平台方案几乎覆盖了从软件的行为，到RTL模块验证的各个步骤，所以该解决方案具备非常高的实用性，虽然在前期需要做一些平台的准备工作，但是对整个项目进度来说，会大大的缩短设计周期并提高设计的质量。