基于ARINC629的层次化验证平台设计

• 作者: 姜承翔 王鹏 田毅 薛茜男 邵伟
• 来源期刊: 计算机测量与控制
• 关键词: SystemVerilog语言 功能覆盖率 断言 ARINC629航空数据总线
• 年，卷（期）: 2014,（6）
• 所属期刊栏目: 试验与评价技术
• 页码范围: 1827-1829
• 页数: 3页
• 分类号: TN47
• 语种: 中文

摘要

结合约束随机、覆盖率驱动及断言等多种验证方法,对层次化验证平台的搭建方法进行了研究;以对ARINC629航空数据总线接口控制器的验证过程为例,介绍了基于System Verilog的层次化验证平台的搭建过程及其使用方法;根据验证后覆盖率报告,证明各项功能均已达到其设计需求,且实现率为100％;验证结果表明该平台和传统验证方法相比极大地提高了验证效率,平台的搭建方法和结构具有一定的通用性,更改其数据生成模块即可用于其他类似设计的验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王鹏	中国民航大学天津市民用航空器适航与维修重点实验室	76	158	6.0	8.0
3	田毅	中国民航大学天津市民用航空器适航与维修重点实验室	18	51	4.0	6.0
4	薛茜男	中国民航大学天津市民用航空器适航与维修重点实验室	13	34	4.0	4.0
7	邵伟	中国民航大学安全科学与工程学院	2	5	1.0	2.0
8	姜承翔	中国民航大学安全科学与工程学院	2	9	2.0	2.0