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

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

ARINC 629总线实际应用及排故分析

ARINC 629总线是航空电子系统中最常见的通信总线之一,广泛应用于波音等飞机上,本文主要介绍了ARINC 629总线与飞机系统之间的交联,并结合实际工作经验就几个常见的ARINC 629总线故障进行分析。