刘万和
- 作品数：6 被引量：32H指数：3
- 供职机构：中国民航大学更多>>
- 发文基金：中央高校基本科研业务费专项资金国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：电子电信航空宇航科学技术自动化与计算机技术更多>>
- 机载复杂电子硬件跨时钟域同步电路验证方法研究
- 在民航客机中,电子硬件在与飞机安全性相关的关键功能部件中的使用越来越多,这给飞机的安全性和审定方面带来了新的挑战。由于电子硬件复杂性的增加,电子硬件设计差错也变得更加难以控制,飞机的功能越来越容易受到电子硬件设计错误的危...
- 刘万和
- 关键词：亚稳态MTBF断言FPGA
- 文献传递
- 综合模块化航空电子系统可靠性评估方法研究被引量：13
- 2015年
- 综合模块化航空电子(IMA)系统采用资源共享的系统架构,在提供更加复杂强大的航电功能的同时也带来了更复杂的故障增殖模式,针对此问题提出了基于AADL和GSPN的可靠性评估方法。首先采用AADL语言对系统的架构及故障信息进行描述,建立其AADL可靠性模型,为了进一步分析其故障动态行为,研究了AADL可靠性模型向GSPN模型转化规则,通过对GSPN模型的分析来评估IMA系统可靠性。最后以IMA系统显示功能为例进行了可靠性评估,验证了该方法的有效性,并且通过实验对比的方式给出了显示功能架构的选择建议。
- 王鹏刘锐刘万和阎芳
- 关键词：广义随机PETRI网可靠性
- 基于SystemVerilog可重用测试平台的实现被引量：11
- 2015年
- 对于中小型设计,传统的验证效率低、可重用性差,而基于方法学的高级验证测试平台搭建较繁琐,验证流程不太灵活。以ARINC429收发器IP核为验证对象,采用System Verilog语言,通过层次化设计,改善工程组织架构,运用虚接口与回调等关键技术,实现了一种可重用测试平台。将不同的测试案例在测试平台上运行,结合断言与覆盖率驱动等验证技术完成了对ARINC429收发器IP核的功能验证,代码覆盖率和功能覆盖率均达到100%。实践表明,该测试平台具有良好的可重用性、易操作性,验证效率较高。
- 王鹏刘万和刘锐田毅
- 关键词：SYSTEMVERILOG可重用
- 基于 SVA 的跨时钟域协议验证方法被引量：2
- 2015年
- 现代SoC设计不可避免会遇到跨时钟域的问题,分析了五种常用典型跨时钟域同步电路和各常用典型同步电路的协议,针对跨时钟域电路难以验证的问题,提出了基于SystemVerilog断言的跨时钟域协议验证方法.通过采用SystemVerilog断言定义各常用典型跨时钟域电路的协议,使得跨时钟域同步电路的传输协议在功能仿真中得到验证.仿真结果表明此方法能够完成跨时钟域电路协议验证.
- 范毓洋刘万和田毅
- 关键词：亚稳态断言
- 形式化方法在机载电子硬件研制中的应用研究被引量：2
- 2015年
- 详细设计规范是机载电子硬件适航性设计流程中的关键文档。通过对形式化方法特点分析,给出基于模型检验的设计规范提取步骤,以提高设计的正确性和完整性。以ARINC429总线传输模块设计为例,基于形式化方法完成正向设计过程。试验结果表明,基于形式化方法的设计流程能够有效帮助制定详细设计规范并在后期提高验证效率,进而缩减研制周期。
- 金志威刘万和薛茜男田毅
- 关键词：形式化方法
- 基于FPGA的亚稳态参数测量方法被引量：4
- 2016年
- 由于FPGA在高安全领域应用中需对跨时钟域电路可靠性(MTBF)进行评估,而亚稳态参数τ值是影响跨时钟域电路MTBF的关键参数.本文提出一种步进式测量FPGA器件亚稳态参数τ值的方法;然后以FPGA内部的数字时间管理模块为基础设计测试电路.通过对典型FPGA芯片进行实验,结果分析表明采用该方法能够有效测试出FPGA亚稳态参数τ和T_w值,且操作简便快捷.
- 田毅范毓洋李哲玮刘万和薛茜男
- 关键词：FPGA亚稳态CDCDCM
