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

来源：计算机测量与控制杂志2014年第6期北京时间：

作者：王鹏,邵伟,姜承翔,田毅,薛茜男

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

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

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