随着IC(Integated Circuit)设计的规模和复杂度的不断增大，基于IP(IntellectualProperty)核复用的SoC(SystemOn Chip)设计技术方法开始成为主流。与此同时，业界也开始越来越关注IP核的验证方法。围绕这个问题，通过研究当前主要的验证方法和技术，并且基于在中航工业631所的实习工作，总结出了对IP核进行充分验证的方法，其中包括对IP的模块级验证，对IP所在系统的系统级验证，系统级验证又分为虚拟平台验证和FPGA平台验证。通过几种不同的验证并结合分析，能够提高IP核验证的效率和可靠性。本论文主要研究了SoC的软硬件协同验证设计方法与验证技术，构建了适合于验证SoC芯片的以下两种验证平台，即FPGA原型验证平台和虚拟原型验证平台，这两种验证平台的优势可以互补，有效提高了验证的效率和质量。把这两者结合可以得到效率的平衡和很好的效果。基于上述所说两种验证平台的搭建，本论文从客观和主观评定角度出发，对DMA控制器这一IP核做了相关的模块级验证和系统级验证，重点验证此IP核功能的正确性。首先将DMA与应用到系统中时的周边几个模块，比如内部存储器控制器、外部存储器控制器等进行模块级验证，模块级验证是保证硬件上的每一个模块能够正常可靠的工作，是实现芯片能正常工作的基础。通过模块级的验证，DMA控制器的功能覆盖率和代码覆盖率都符合要求。在模块级测试完成后，对DMA进行系统级的验证。系统级的验证的重点不再是各IP/模块的某个独立的功能点是否正确，而是各个模块之间的互动操作，通过整个系统的各个功能模块协同运行验证，即虚拟平台验证和FPGA平台验证。通过这两种不同平台的验证，来充分保证DMA控制器功能的正确性。系统级测试完成之后，经过项目组的评审，对DMA控制器这一模块功能的验证比较全面，系统级测试结果达到要求。