基于System Verilog的航空电子组件验证平台的搭建  

作　　者：顾振华[1] 吴正茂[1] 李思海[1] 吴勇[1] 任斌斌[1] 

机构地区：[1]三亚航空旅游职业学院机电工程系

出　　处：《黑龙江科技信息》2016年第14期143-145,共3页Heilongjiang Science and Technology Information

基　　金：海南省自然科学基金(20166236)

摘　　要：针对航空领域传统的功能验证方法验证效率低、完备性差等问题,本文介绍了基于System Verilog的先进的功能验证方法学,并且详细阐述了搭建验证平台的方法。最后以航空无线电管理面板的ARINC模块为例,搭建了分层验证平台,并给出了功能覆盖率结果。结果表明方法可用性与完备性,基于System Verilog的先进的功能验证方法学对于未来航空电子组件验证具有重要意义。In order to solve the problem of low efficiency and completeness of traditional method of functional verification in the field of aviation, it is introduced that VMM for SystemVerilog and the method of how to build Verification Platform. Finally, it is built that hierarchical verification platform of ARINC module of Aeronautical radio management paneland the result of functional coverage is given. The results show that the method is usability and sigmacompleteness. Verification methodology based on SystemVerilog has a certain significance for future verification of avionics component .

关 键 词：SYSTEM VERILOG 功能验证 ARINC模块 验证平台 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]