在集成电路的设计领域，以IP核生成与复用技术、软硬件协同设计技术、基于平台设计技术和可测性设计和验证技术为支撑的片上系统SoC的设计方法成为增大设计集成度、降低产品功耗、降低设计成本和缩短上市时间关键技术。 本文详细研究了SoC设计方法学的设计、集成和验证的方法，并将这一方法应用于工程实践，介绍了一款以SPARC V8为核心、基于AMBA总线架构的星载计算机设计流程。 文章详细介绍了SoC设计平台的搭建过程，给出了总线控制器的具体设计，并研究了在平台上增加外设、构建实用的星载计算机SoC的过程中涉及到的总线扩展、中断扩展等实现方法，给出了外围模块在总线上集成的具体实现。 针对在星载计算机SoC设计过程中对可重配置设计的需求，构造了基于Tcl／Tk可视化的可重配置平台，文章给出了具有可重配置特性的代码实现和平台搭建方案，并提出了可重配置平台自升级的概念和实现过程。 文章最后将SoC验证的方法学和工程实践相结合，提出了可行且有效的验证方案。文章针对在SoC验证的不同阶段的基于总线的验证、软硬件协同验证和基于硬件仿真平台的验证，分别给出了随机的总线验证的实现，软硬件协同验证激励的编制和加载，以及硬件仿真平台的的原理图和PCB设计和基于硬件仿真平台的验证实现。