检索结果-内蒙古大学图书馆

环境技术 2018年第4期36卷 39-43页

作者：阎芳刘旭红尤然马振洋于新海史春蕾中国民航大学民用航空器适航审定技术与管理研究中心天津市民用航空器适航与维修重点实验室天津300300 中国民航大学适航学院天津300300

电磁环境的日益复杂和航空电子技术的发展使得机载电子电气系统更容易受到高强辐射场(HIRF)的影响。功能危险性评估为A级的电子电气系统在开展HIRF防护合格审定时,必须进行飞机级HIRF防护符合性验证,这也是民用航空器电磁环境效应研究... 详细信息

电磁环境的日益复杂和航空电子技术的发展使得机载电子电气系统更容易受到高强辐射场(HIRF)的影响。功能危险性评估为A级的电子电气系统在开展HIRF防护合格审定时,必须进行飞机级HIRF防护符合性验证,这也是民用航空器电磁环境效应研究的重要内容。针对A级系统的飞机级验证方法—飞机级高电平试验进行研究,概述了HIRF防护的合格审定程序,研究了飞机级高电平试验环境的构建及校准方式,归纳总结了不同测试阶段的测试程序。

关键词：高强辐射场符合性验证飞机级高电平试验

来源：评论

学校读者我要写书评

暂无评论

基于SoC的信号跨时钟域传输验证方法研究

引用

电子技术应用 2017年第12期43卷 29-32页

作者：王鹏尤然刘旭红范毓洋田毅中国民航大学民用航空器适航审定技术与管理研究中心天津市民用航空器适航与维修重点实验室天津300300 中国民航大学适航学院天津300300

在SoC信号跨时钟域传输时,有可能会产生亚稳态等问题。到目前为止,对信号跨时钟域传输还没有一套完整且通用的验证方法。因此,在传统SoC设计和验证仿真工具的基础上,形成了关于信号跨时钟域传输的一整套验证方法。其中包括CDC结构分析... 详细信息

在SoC信号跨时钟域传输时,有可能会产生亚稳态等问题。到目前为止,对信号跨时钟域传输还没有一套完整且通用的验证方法。因此,在传统SoC设计和验证仿真工具的基础上,形成了关于信号跨时钟域传输的一整套验证方法。其中包括CDC结构分析、基于断言的CDC协议验证、亚稳态注入分析三部分。通过此套方法可以在设计初期发现设计中的缺陷,提高设计的可靠性。

关键词：亚稳态跨时钟域验证

来源：评论

学校读者我要写书评

暂无评论

基于 SVA 的跨时钟域协议验证方法

引用

微电子学与计算机 2015年第9期32卷 23-27,32页

作者：范毓洋刘万和田毅中国民航大学民用航空器适航审定技术与管理研究中心天津市民用航空器适航与维修重点实验室天津300300 中国民航大学安全科学与工程学院天津300300

现代SoC设计不可避免会遇到跨时钟域的问题,分析了五种常用典型跨时钟域同步电路和各常用典型同步电路的协议,针对跨时钟域电路难以验证的问题,提出了基于SystemVerilog断言的跨时钟域协议验证方法.通过采用SystemVerilog断言定义各常... 详细信息

现代SoC设计不可避免会遇到跨时钟域的问题,分析了五种常用典型跨时钟域同步电路和各常用典型同步电路的协议,针对跨时钟域电路难以验证的问题,提出了基于SystemVerilog断言的跨时钟域协议验证方法.通过采用SystemVerilog断言定义各常用典型跨时钟域电路的协议,使得跨时钟域同步电路的传输协议在功能仿真中得到验证.仿真结果表明此方法能够完成跨时钟域电路协议验证.

关键词：亚稳态跨时钟域协议验证断言

来源：评论

学校读者我要写书评

暂无评论

基于SystemVerilog可重用测试平台的实现

引用

电子技术应用 2015年第2期41卷 61-64页

作者：王鹏刘万和刘锐田毅中国民航大学民用航空器适航审定技术与管理研究中心天津市民用航空器适航与维修重点实验室天津300300 中国民航大学安全科学与工程学院天津300300

对于中小型设计,传统的验证效率低、可重用性差,而基于方法学的高级验证测试平台搭建较繁琐,验证流程不太灵活。以ARINC429收发器IP核为验证对象,采用System Verilog语言,通过层次化设计,改善工程组织架构,运用虚接口与回调等关键技术,... 详细信息

对于中小型设计,传统的验证效率低、可重用性差,而基于方法学的高级验证测试平台搭建较繁琐,验证流程不太灵活。以ARINC429收发器IP核为验证对象,采用System Verilog语言,通过层次化设计,改善工程组织架构,运用虚接口与回调等关键技术,实现了一种可重用测试平台。将不同的测试案例在测试平台上运行,结合断言与覆盖率驱动等验证技术完成了对ARINC429收发器IP核的功能验证,代码覆盖率和功能覆盖率均达到100%。实践表明,该测试平台具有良好的可重用性、易操作性,验证效率较高。

关键词：验证 SystemVerilog 测试平台可重用

来源：评论

学校读者我要写书评

暂无评论

机载软件数据质量评价参数及验证方法

引用

电讯技术 2014年第7期54卷 990-995页

作者：阎芳谢文光赵长啸王鹏中国民航大学天津市民用航空器适航与维修重点实验室天津300300 中国民航大学民用航空器适航审定技术与管理研究中心天津300300

通过分析影响机载数据质量的因素,建立了机载软件数据传输模型。提出了机载软件数据质量的定性评价方法,按照机载软件对于数据的需求及相关工业标准要求,总结了层次化的机载软件数据质量评价参数。根据不同安全关键等级的数据需求,提出... 详细信息

通过分析影响机载数据质量的因素,建立了机载软件数据传输模型。提出了机载软件数据质量的定性评价方法,按照机载软件对于数据的需求及相关工业标准要求,总结了层次化的机载软件数据质量评价参数。根据不同安全关键等级的数据需求,提出了针对性的数据质量确认、验证方法及其实现。本研究对于机载软件数据库的审定和机载软件数据质量的验证有一定的理论价值。

关键词：航空电子适航机载软件安全性评估验证方法数据质量

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：