武器装备预研基金(9140A08010712HK6101) 作品数:3 被引量:10 H指数:2 相关作者: 邵刚 王泉 刘宁宁 郭亮 田泽 更多>> 相关机构: 西安航空计算技术研究所 更多>> 发文基金: 武器装备预研基金 中国人民解放军总装备部预研基金 更多>> 相关领域: 自动化与计算机技术 电子电信 更多>>
基于SoPC的智能监控卡设计与实现 被引量:1 2012年 针对机载机电管理计算机传统监控板卡智能化不高、集成度低的缺点,介绍了一种基于SoPC(System on Program-mable Chip)方案实现的智能监控卡。该卡使用FPGA内嵌的PPC处理器管理本地各种资源,主机通过PCI接口完成与PPC处理器的指令及数据交互。在FPGA片内集成了多个成熟IP产品,提高了系统集成度,缩短了产品开发周期。着重阐述了FPGA核心电路的系统架构设计、各功能模块的逻辑设计与实现、软硬件协同验证等。实际的系统测试表明该产品具有功能丰富、集成度高、扩展性强的特点。 牛少平 田泽关键词:SOPC PPC PCI 软硬件协同验证 基于DO-254的航空集成电路设计保障研究 被引量:4 2012年 航空机载电子设备复杂度的不断提高,对于机载电子设备的基础——航空集成电路功能及性能的要求也不断提高,高集成度、高复杂度、高性能、低功耗、小型化已经成为了航空集成电路发展的必然趋势,而传统的设计和管理手段已经不能满足航空集成电路高安全性应用需求。探索并建立一个机载领域集成电路设计过程正确性保障体系,已成为迫切需要。DO-254标准代表了工业界、适航当局、机载领域硬件设计人员在内的大多数专家的一致意见,是机载电子硬件开发保证过程最好的实践经验的集合。文中将从集成电路硬件角度出发,研究并借鉴DO-254标准的需求管理和过程保证方法,将好的管理策略运用到集成电路系统设计和前端设计过程中,以提高航空集成电路硬件设计的安全等级,降低航空集成电路开发风险。 胡小婷 田泽关键词:配置管理 ARINC659芯片协议符合性验证关键技术研究 被引量:5 2013年 ARINC659总线主要用于机架内部各在线可更换模块(LRM)间的通信。在ARINC659芯片设计过程中,如何对协议符合性进行充分验证是确保芯片设计符合协议的关键和核心。本文首先对ARINC659总线产生的背景及ARINC659协议及总线协议处理芯片进行了概述,并结合ARINC659总线协议处理芯片对芯片协议符合性验证中的关键技术进行了分析和研究。 田泽 郭亮 刘宁宁 许宏杰 王泉 邵刚关键词:芯片验证