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

摘要：

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

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

所属期刊栏目：22

分类号：TN47(微电子学、集成电路（IC）)

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

在线出版日期：2015-01-20（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：1827-1829