片上系统的出现是微电子设计领域的一场革命。从摩尔定律的预言和当前设计方法学的发展趋势来看,21世纪微电子技术领域在芯片级上必然由集成电路向集成系统发展。未来数年内片上系统中的处理器可能成为新的逻辑门,每片芯片中将包含成百上千块处理器,而系统则由一块或多块芯片构成。在设计复杂程度与日俱增而产品面市时间日益缩短的巨大压力下,提高系统设计抽象层次已成为主流解决方案,其典型代表就是系统级设计。交易级设计是目前系统级设计方法学中的重要分支,而SystemC正是该方法有力的实现工具。但目前国内关于交易级设计和SystemC的研究刚刚起步,设计过程中缺乏系统的指导和翔实的理论基础,同样在应用研究方面也少有具体的案例支撑。为解决这些问题,本文详细论述了基于SystemC的片上系统交易级设计原理以及相关模型的实现方法。本文在深入分析SystemC优势和特点的基础上,依据交易级建模理论,采用软件工程方法,设计并实现了片上系统中三套互连架构模型,并结合相关数学理论和建模工具对这些模型进行了详细地仿真分析与验证。其目的一方面是补充并完善交易级设计的理论基础,给出详尽的设计指导,另一方面是建立完整的架构模型以开发实际工程需要的片上系统。论文主要研究成果和特点有以下几方面:①引入基于SystemC的交易级设计方法学解决目前片上系统设计中存在的共性问题,以提高片上系统设计效率和仿真运行速度;②设计并开发三套完整的片上互连架构交易级模型,以满足快速开发不同种类片上系统的实际工程需要;③结合相关数学理论分析与运用为片上系统交易级设计和验证方法学提供理论支撑和新的实现途径;④探讨以SystemC为核心的设计流程中如何兼容其它建模工具,以应对更为复杂的设计与验证。依据本课题研究成果开发的交易级模型已成功应用于相关军工嵌入式系统的仿真和架构探索中,模型使用和运行情况良好、稳定。