徐文进
- 作品数：7 被引量：11H指数：2
- 供职机构：西安航空计算技术研究所更多>>
- 发文基金：中国人民解放军总装备部预研基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于AFDX-ES SOC验证平台的向量中断控制器验证研究
- 本文从AFDX-ES SOC验证平台模型的构建出发,完成了对一款VIC IP核的功能验证。文中列举了部分验证实例,测试用例主要通过AHB接口对IP核进行了描述,最后给出验证结果报告,VIC IP核的代码覆盖率达到令人满意...
- 徐文进田泽
- 文献传递
- 一种基于FC总线的三层组播通信功能设计和实现
- 2022年
- 一般情况下,FC总线数据传输功能需要上层软件、底层硬件和操作系统一起配合才能进行,而数据的实时性传输、低误码率传输以及高可靠性传输对软件和硬件的要求都比较高,并且需要软件和硬件进行高效率配合。当整个FC总线网络设备关系极其复杂,但又对FC总线数据通信要求比较高时,就需要用到FC总线的组播通信功能。对此提出一种基于FC总线的三层组播通信功能设计和实现方法,介绍了现有的二层组播通信模式的概念以及弊端,提出了三层组播通信模式的概念以及其相对于二层组播模式的优势,在满足航电系统基础的使用要求之上,进一步提升了FC总线设备应用的灵活性,将应用和硬件设备解绑,提高了FC总线通信的稳定性和可靠性。
- 薛楠王晓华徐文进李斌杨骋昊
- 关键词：组播
- 一种基于UVM加快功能验证收敛的方法被引量：2
- 2016年
- 功能验证是IC设计最重要的步骤之一。随着设计复杂度的增加,定位缺陷成本也日益增加,许多设计验证团队将相当一部分精力放在高效验证过程开发上。文中以航电CNI系统主机接口模块功能验证为例,采用基于统一覆盖率验证管理技术、UVM验证技术、接口时序断言监控技术,分别从验证计划制定、平台搭建、验证管理与验证结果分析等方面,介绍一种新型的基于统一覆盖率加速功能验证收敛的闭环验证方法。结合UVM验证方法学和断言技术,详细论述构建一种高效率可重用、快速收敛的验证平台的过程。
- 徐文进田泽王世中王宣明
- 关键词：VM
- 1394总线物理层芯片虚拟验证关键技术研究被引量：1
- 2016年
- 1394总线支持等时和异步流传输事务,具有确定性带宽、实时数据传输、拓扑灵活等特点,满足航空电子系统对总线带宽、实时性、容错和可靠性等方面的要求。物理层芯片是1394总线网络的核心器件,在研制过程中能否对其进行充分验证,是直接影响其投片成功的关键因素之一。文中通过对1394总线物理层芯片进行功能分析,描述了芯片的验证策略,提出了一种虚拟验证平台搭建的关键技术。该验证平台具有高效率、灵活等特点。通过对数字逻辑的验证实施,可以极大地缩短验证时间,提高验证效率,节省验证人力,并对后续1394总线相关产品的开发具有一定参考价值。
- 徐文进田泽郑新建楼晓强
- 关键词：PHY
- 一种有效监控及过滤1394总线消息的设计实现被引量：1
- 2015年
- IEEE 1394总线已成功应用于航空领域,机载1394总线监控(BM)节点需从监控到的所有总线消息中提取关系到飞行安全的关键数据,提交给上层应用软件进行实时处理。实现该需求的核心是从监控到的消息中提取标识其类型的ID信息,并检查与期望值是否匹配。但期望监控的消息种类多达数千种,如采用传统方法使用CAM表的方法来检查匹配,需耗费极大的硬件资源。文中提出一种分组轮询的方法,可用更少的硬件开销来获取匹配结果。实验结果表明,该方法可有效降低硬件资源开销,实现监控过滤1394总线消息。
- 王宣明田泽魏美荣牛少平徐文进
- 关键词：总线监控CAM
- 一种改善AFDX网络级联传输时延特性分析的方法
- 2014年
- 文中分析了AFDX级联网络中数据传输时间延迟的不确定性问题及造成该问题的内在原因,对传输时延的组成部分和影响因素进行描述,指出应用AFDX网络技术应先充分验证端到端时延上界值是否符合系统容限要求。介绍了计算时延上界值的网络演算方法的基本原理及其利用对虚拟链路进行分组优化的算法理论,将该算法应用到某实验环境中的AFDX级联网络配置实例中,计算出实例中各数据流的时延上界并对计算结果的悲观性进行分析,最后得出优化后的算法来分析传输时延更能趋近实际的上界值。
- 蔡稼阳田泽张荣华王治徐文进
- SAE AS5643协议分析及设计实现被引量：8
- 2015年
- 为满足航空、航天等高安全领域对高可靠、低延迟、确定性的需求,SAE组织对IEEE 1394b协议局部进行了限制和改进,形成了SAE AS5643协议,其全称为用于军事和飞行器应用的1394b总线接口需求,目的是标准化Mil-1394b在军事和飞行器中的安全关键/任务关键应用中的方法途径。文中从实现系统确定性和可靠性两个方面来详细分析SAE AS5643,提出Mil-1394b总线相比IEEE 1394b总线更适合作为完全关键的航空总线等高可靠场合的应用,提出了基于逻辑及FPGA实现AS5643协议的解决方案,并给出了实验结果,表明该解决方案满足设计指标,性能良好,提高了协议解析速度以及数据传输时间精度。
- 王宣明田泽魏艳艳牛少平徐文进
- 关键词：SAEIEEE
