基于ARINC629的层次化验证平台设计 |
| |
引用本文: | 王鹏,邵伟,姜承翔,田毅,薛茜男.基于ARINC629的层次化验证平台设计[J].应用声学,2014,22(6):1827-1829. |
| |
作者姓名: | 王鹏 邵伟 姜承翔 田毅 薛茜男 |
| |
作者单位: | 中国民航大学 天津市民用航空器适航与维修重点实验室,天津 300300 ;民用飞机模拟飞行国家重点实验室,上海 200232;中国民航大学 安全科学与工程学院,天津 300300;中国民航大学 安全科学与工程学院,天津 300300;中国民航大学 天津市民用航空器适航与维修重点实验室,天津 300300;中国民航大学 天津市民用航空器适航与维修重点实验室,天津 300300 |
| |
基金项目: | 国家自然科学基金委员会与中国民用航空局联合资助项目(U1333120);中央高校基本科研业务费项目(312013SY53);中国民航大学科研启动基金项目(2012QD26X)。 |
| |
摘 要: | 结合约束随机、覆盖率驱动及断言等多种验证方法,对层次化验证平台的搭建方法进行了研究;以对ARINC629航空数据总线接口控制器的验证过程为例,介绍了基于System Verilog的层次化验证平台的搭建过程及其使用方法;根据验证后覆盖率报告,证明各项功能均已达到其设计需求,且实现率为100%;验证结果表明该平台和传统验证方法相比极大地提高了验证效率,平台的搭建方法和结构具有一定的通用性,更改其数据生成模块即可用于其他类似设计的验证。
|
关 键 词: | SystemVerilog语言 功能覆盖率 断言 ARINC629航空数据总线 |
收稿时间: | 2013/10/21 0:00:00 |
修稿时间: | 1/9/2014 12:00:00 AM |
|
| 点击此处可从《应用声学》浏览原始摘要信息 |
| 点击此处可从《应用声学》下载免费的PDF全文 |
|