基于SystemVerilog的机载应答机验证技术的研究

• 作者: 李宏 田毅 薛茜男 马腾达
• 来源期刊: 电子器件
• 学科: 航空航天
• 关键词: 硬件 验证 正态分布 SystemVerilog
• 年，卷（期）: 2013,（4）
• 所属期刊栏目: 电子电路设计分析及应用
• 页码范围: 535-539
• 页数: 5页
• 分类号: V249.324
• 字数: 3291字
• 语种: 中文
• DOI: 10.3969/j.issn.1005-9490.2013.04.024

摘要

机载应答机对飞机安全有重大的影响,应当在功能仿真阶段模拟真实信号的脉冲宽度(含阈值)以对其中的可编程逻辑器件进行严格验证.首先研究引用标准正态分布随机生成脉冲宽度和间隔,并按照实际应用改进了正态分布算法.然后在对电子器件及IP核评估的基础上,通过SystemVerilog验证语言搭建验证平台,并使用改进后的算法生成验证激励.最后在某型应答机验证过程进行了应用,达到了高效、准确验证的目的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马腾达	中国民航大学航空自动化学院	10	27	3.0	5.0
2	田毅		1	0	0.0	0.0
6	李宏	中国民航大学航空自动化学院	4	7	2.0	2.0
7	薛茜男		1	0	0.0	0.0