作者:顾振华; 吴正茂; 李思海; 吴勇; 任斌斌systemverilog功能验证arinc模块验证平台
摘要:针对航空领域传统的功能验证方法验证效率低、完备性差等问题,本文介绍了基于System Verilog的先进的功能验证方法学,并且详细阐述了搭建验证平台的方法。最后以航空无线电管理面板的ARINC模块为例,搭建了分层验证平台,并给出了功能覆盖率结果。结果表明方法可用性与完备性,基于System Verilog的先进的功能验证方法学对于未来航空电子组件验证具有重要意义。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社