公共文化服务平台

王宣明: 作品数：13 被引量：34H指数：4; 供职机构：西安航空计算技术研究所更多>>; 发文基金：中国人民解放军总装备部预研基金国家科技重大专项中国航空科学基金更多>>; 相关领域：自动化与计算机技术更多>>

合作作者

新一代军用航空总线系统测试方法研究被引量：7: 2017年; 为确保新一代军用航空总线系统——军用1394总线的性能及功能正确性、总线协议符合性及系统应用可靠性,对总线进行系统测试成为必要。搭建总线系统测试平台,从总线电气特性、总线协议符合性、系统应用方面对总线系统测试方法进行研究,经过总线系统的联试、试验及试飞任务,充分表明所描述的系统测试方法有效、可行,为新一代航空系统的飞行安全提供了可靠性保障。; 王仲杰索高华陈伟张亚琦王宣明; 关键词：总线系统电气特性可靠性

一种多核处理器芯片设计与实现关键技术研究被引量：1: 2021年; 随着嵌入式技术的不断发展,HMPU逐渐广泛应用于高性能计算领域。异构多核处理器,即具有两个或以上处理器内核的处理器,因其计算效率高,且可针对不同应用调整结构,其应用相当广泛。在具体应用中,多核处理器的不同处理器核之间需要进行大量的、频繁的数据交换,因此,处理器核间的通信效率严重影响处理器的性能。目前通过调查研究,异构多核处理器芯片核间通信领域已经在国内外取得了一些显著研究成果。该文结合以上研究成果,针对电子系统数据与信号处理融合及IO综合管理需求,综合不同类型处理器的功能性能需求,以先进SoC为技术手段,基于国内现有IP和自主工艺平台,在单芯片上实现数据处理及信号处理、多数据接口、高精度采集以及异构多核可定制信息处理为目的,提出一种基于"CPU+DSP+FPGA+IO"结构的异构多核处理器芯片(heterogeneous multi-processor unit, HMPU)的设计方案,采用共享总线的Mailbox异构多核间通信机制,以满足信号采样处理、总线协议处理、数据处理及控制功能。重点阐述了HMPU的体系架构设计、详细设计及实现、虚拟仿真验证及FPGA原型验证等关键技术。目前HMPU已经流片成功,并成功应用在多个领域。; 杜斐何嘉文王宣明蔡叶芳田泽; 关键词：异构多核处理器共享存储

一种eFPGA配置电路的设计与验证: 2020年; 基于集成在SoC中的eFPGA需要上电后进行配置,为了配置的灵活性,设计了一种既支持片上总线在线配置eFPGA,也支持板级配置芯片对eFPGA配置的电路。在线配置方式由软件控制外部存储器接口从片外FLASH指定地址,将预先烧入的配置数据流文件读取并加载到eFPGA中,实现从SelectMap 8位配置模式,保留了片外配置芯片配置方式,支持串行、8位SelectMap并行主从配置模式。电路结构简单,通用性强,通过仿真验证了功能正确。; 王世中田泽田泽王宣明

一种基于UVM的高层次化1394链路层验证方法: 2021年; 链路层是IEEE-1394高性能串行总线的一个重要组成部分,用于实现IEEE Std 1394-2008协议规定的链路层功能。为了有效模拟链路层的各种复杂工作复杂场景,并保证链路层和事务层的验证人员相互独立验证,文中从分析1394总线链路层功能特点出发,提出了一种基于UVM的高层次化1394链路层验证方法,并详细描述了该方法包括的验证环境、验证流程以及验证平台的搭建等。最后,经过系统级功能仿真测试和功能覆盖率结果分析表明,该方法满足1394链路层功能验证需求,基于UVM搭建的高层次的模型结构具有良好的复用性,基于这种方法搭建的验证平台,通过编写脚本语言,设计自动化的运行环境,可实现功能覆盖率100%,大大简化了UVM测试的复杂性,加快了芯片验证的速度,显著减小了人工验证的工作量和潜在误差。; 魏美荣田泽田泽郭蒙; 关键词：链路层芯片验证

一种基于UVM加快功能验证收敛的方法被引量：2: 2016年; 功能验证是IC设计最重要的步骤之一。随着设计复杂度的增加,定位缺陷成本也日益增加,许多设计验证团队将相当一部分精力放在高效验证过程开发上。文中以航电CNI系统主机接口模块功能验证为例,采用基于统一覆盖率验证管理技术、UVM验证技术、接口时序断言监控技术,分别从验证计划制定、平台搭建、验证管理与验证结果分析等方面,介绍一种新型的基于统一覆盖率加速功能验证收敛的闭环验证方法。结合UVM验证方法学和断言技术,详细论述构建一种高效率可重用、快速收敛的验证平台的过程。; 徐文进田泽王世中王宣明; 关键词：VM

基于E语言的IEEE1394协议芯片验证环境搭建被引量：2: 2011年; 随着当前IC设计规模的空前增长,功能验证变成了设计过程中的主要瓶颈。验证方法已经从简单的采用基于HDL任务的方法发展到了一种完整的验证自动化系统。首先研究E语言以面向对象和面向方面的方式,建立这种验证自动化系统所有结构的原理。然后以IEEE 1394协议IP验证项目为例,提出一种搭建组件化、可重用验证平台的方法。最后介绍如何编写项目所采用的受约束的随机测试向量。实践结果表明,采用此方法可极大提高验证效率,缩短了整个设计的验证周期。; 王宣明田泽韩炜; 关键词：验证环境 E语言重用性组件化

一种有效监控及过滤1394总线消息的设计实现被引量：1: 2015年; IEEE 1394总线已成功应用于航空领域,机载1394总线监控(BM)节点需从监控到的所有总线消息中提取关系到飞行安全的关键数据,提交给上层应用软件进行实时处理。实现该需求的核心是从监控到的消息中提取标识其类型的ID信息,并检查与期望值是否匹配。但期望监控的消息种类多达数千种,如采用传统方法使用CAM表的方法来检查匹配,需耗费极大的硬件资源。文中提出一种分组轮询的方法,可用更少的硬件开销来获取匹配结果。实验结果表明,该方法可有效降低硬件资源开销,实现监控过滤1394总线消息。; 王宣明田泽魏美荣牛少平徐文进; 关键词：总线监控 CAM

飞机管理系统1394总线AS5643协议的设计与实现被引量：12: 2013年; 随着JSF项目首先在航空器中采用IEEE-1394b总线,使得该总线在航空电子系统中被快速广泛地使用。AS5643协议在IEEE-1394b总线协议的基础上通过增加限制的方法,满足了新一代飞机管理系统总线对于高带宽、高确定性和高可靠性的要求。分析了基于飞机管理系统总线的基本拓扑结构和AS5643协议,阐述了一种基于FPGA逻辑设计实现AS5643协议的解决方案。通过实验验证,表明设计解决方案满足设计指标,性能良好,实现了飞机管理系统总线机载环境的应用要求。; 马宁王宣明郑斐; 关键词：总线 IEEE-1394 FPGA

10BASE-T以太网物理介质连接单元的设计仿真: 2017年; 以太网技术占据了大量的局域网市场,是目前应用最广泛的网络技术,为实现以太网设备的国产化设计,自主设计以太网各个站点的物理介质连接单元(MAU)至关重要。本文对MAU进行简要描述,研究了10BASE-T的MAU功能的状态机;最后对MAU主要功能进行了仿真测试。结果表明:自主设计的10BASE-T的MAU为研制以太网奠定了基础。; 赵森郭蒙王世奎王宣明; 关键词：MAU 10BASE-T

一种CCDL的FPGA设计与实现被引量：5: 2014年; 多余度技术能够满足飞机管理系统中高安全性、确定性和可靠性的需求,而交叉通道数据链路(CCDL)是余度计算机之间进行数据和信息交换的重要途径,是保证余度飞机管理计算机正常运转的关键部件。文中基于三余度飞机管理计算机系统需求,给出CCDL硬件逻辑设计的体系架构,对CCDL的关键点进行分析,设计了一种在1394总线上进行点对点可靠传输、防止故障蔓延的交叉通道数据链路,并进行了FPGA实现和验证。实验结果表明,该设计能够高效可靠地满足系统的应用要求。; 魏艳艳田泽王宣明; 关键词：三余度可靠性

王宣明

合作作者

文献类型

领域

主题

机构

作者

传媒

年份

用户反馈

王宣明

合作作者

文献类型

领域

主题

机构

作者

传媒

年份

用户登录

用户反馈