本文通过设计开发命名为TigerX的软硬件协同验证平台，系统介绍了对软硬件协同验证方法的研究过程及研究结果。 笔者在软硬件协同验证方面主要完成以下三个层次的协同验证：(Ⅰ)算法级设计和硬件系统结构的协同仿真验证。利用软件算法，验证在硬件结构上实现的可行性；进行软件和硬件部分的划分，明确软件和硬件各自完成的任务。(Ⅱ)结构仿真器与硬件描述语言行为模型的协同仿真验证。对TigerX验证平台中CPU的软件虚拟原型(virtualprototype)和用HDL语言或网表描述出来的硬件系统进行协同仿真验证。(Ⅲ)软件代码和实时硬件模拟系统的协同仿真验证。在系统设计原型的FPGA硬件模拟系统进行验证，对芯片的功能，硬件实时性，和系统的可测试性设计(DesignforTest)进行仿真验证。 TigerX软硬件验证平台主要包括软件系统和硬件系统两部分。软件系统，本文采用了一套完整的软件编译调试仿真工具链，它包括处理器的仿真虚拟原型和基本的汇编、链接、调试器。硬件系统，本文以OpenCore公司的OR1K处理器为核心，编写接口程序，将多个IP核集中在一起，构成一个功能强大的软硬件协同验证平台，并对软件调试好的应用程序进行寄存器仿真和综合，并最终在设计的SoC硬件映像加速器(FPGA)上实现并完成验证。 TigerX软硬件验证平台能够对片上系统芯片进行快速的验证，从而提高了芯片的一次成功率并减小了产品的上市时间。