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

Design of Hierarchy Testbench Based on ARINC629

作　　者：王鹏 邵伟[3] 姜承翔 田毅[1] 薛茜男[1] 

机构地区：[1]中国民航大学天津市民用航空器适航与维修重点实验室,天津300300 [2]民用飞机模拟飞行国家重点实验室,上海200232 [3]中国民航大学安全科学与工程学院,天津300300

出　　处：《计算机测量与控制》2014年第6期1827-1829,共3页Computer Measurement &Control

基　　金：国家自然科学基金委员会与中国民用航空局联合资助项目(U1333120);中央高校基本科研业务费项目(312013SY53);中国民航大学科研启动基金项目(2012QD26X)

摘　　要：结合约束随机、覆盖率驱动及断言等多种验证方法,对层次化验证平台的搭建方法进行了研究;以对ARINC629航空数据总线接口控制器的验证过程为例,介绍了基于System Verilog的层次化验证平台的搭建过程及其使用方法;根据验证后覆盖率报告,证明各项功能均已达到其设计需求,且实现率为100%;验证结果表明该平台和传统验证方法相比极大地提高了验证效率,平台的搭建方法和结构具有一定的通用性,更改其数据生成模块即可用于其他类似设计的验证。A method to build a Hierarchy Testbench is presented in this paper, which uses constraint--random, coverage--driven, asser- tion-based methodology. According to the coverage report after verification, it proved all the functions have been reached perfectly. The verification of ARINC629 interface controller proved it to be more efficient, with explaining the design and application of this testbench, bet- ter than the traditional verification method. The methodology and the structure can be used in other similar design, with only changing its generation module.

关 键 词：SystemVerilog语言 功能覆盖率 断言 ARINC629航空数据总线 

分 类 号：TN47[电子电信—微电子学与固体电子学]