随着通用电子设计的快速发展,越来越多新的通用电子设计及验证方法由于其自身突出的优势开始逐渐进入民航领域,例如SoC设计方法等,因此针对此类新方法的适航性设计与验证渐渐成为航空工业方及适航审定局方的研究重点。论文对基于SoC设计方法的片上总线与通用IP核的适航性设计进行了研究。首先介绍了SoC设计方法的原理和优势以及片上总线和通用IP核的特点,然后着重介绍了基于AMBA协议的片上总线的原理及优点以及DO-254标准,在针对航空实际应用环境下提出了基于AMBA协议的片上数据总线并搭载多通路航空总线收发IP的总体设计架构,利用DO-254所表明的硬件开发生命周期进行设计,同时分析设计的功能安全性,将通过安全性分析得到的安全性需求融入进设计需求中,完成需求捕获,概念设计,详细设计等工作。论文在验证章节中着重介绍了基于可重用验证语言SystemVerilog而搭建的高级验证平台,通过此验证平台完成设计功能验证,并结合前文内容进一步阐明了设计的原理。最后通过元素化分析,跨时钟域分析等高级验证方法论证了设计与验证工作的正确性和完整性。论文最后总结了在采用AMBA总线协议下对于搭载多通路航空总线收发IP的片上总线的设计表明适航符合性所做的探索,包括按照DO-254指南进行硬件生命周期开发,进行安全性分析并改良设计,采用高级验证方法进行验证与结果评估等,并对后续工作进行了展望。