随着超大规模集成电路设计和验证复杂性的增加,传统的设计方法学以其漫长的设计周期和日益庞大的测试集,已经难以满足人们对多媒体、移动通信产品快速更新换代的要求了。基于平台的SoC的设计方法学(Platform-Based Design Methodology)是设计可复用思想在系统架构上的实现,是基于IP的设计方法学(Block-Based Design Methodology)的复用延伸。它一方面满足更为复杂的系统性能的需要,另一方面也极大地缩短了设计周期,在很大程度上弥补了工艺进步与设计能力之间的鸿沟(Design Productivity Gap)SoC设计是复杂的片上系统设计,是以包括软硬件协同设计及验证、IP可复用、片上总线等技术为支撑,同时又面临着来自基于不同总线协议IP的集成、验证环境复用性等方面的诸多挑战。本文针对SoC设计中的验证难题,着重阐述了软硬件协同的验证方法,首先解决了软硬件设计语言不统一的问题,引入了系统级描述语言SystemC,然后基于SystemC建立了软硬件协同验证的流程,分别在事务级和RTL级对系统协同验证环境的构建方法以及验证环境中硬件模型和处理器BFM、ISS模型进行了阐述。在本文的第四章,提出了一种基于AMBA总线的CKSoC平台接口架构。该接口架构的主要特点有：通过AHB适配器来完成其他总线到AMBA总线的转接,从而快速集成第三方异构IP；通过IP接口的分类和规范,定义不同功能的IP接口,实现IP集成的高效自动化；通过SPIRIT标准和XML描述SoC平台,从而使得平台具有良好的灵活性和可扩展性,可以有效支持其它SoC平台工具。第五章提出了一种多层次混合验证方法。验证环境采用层次化、模块化的构建方法,分别在事务级、RTL级和FPGA级实现平台的早期软件验证、硬件逻辑功能验证和软硬件协同验证,极大地提高了SoC平台的验证环境的复用性和验证效率。本文最后介绍了CKSoC软硬件平台,并基于上述平台以及集成验证环境完成了32位MCU设计。