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

Design of Hierarchy Testbench Based on ARINC629

摘要:

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

Abstract:

A method to build a Hierarchy Testbench is presented in this paper, which uses constraint-random, coverage-driven, assertion-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, better than the traditional verification method. The methodology and the structure can be used in other similar design, with only changing its generation module.