摘要：针对航空领域传统的功能验证方法验证效率低、完备性差等问题,本文介绍了基于System Verilog的先进的功能验证方法学,并且详细阐述了搭建验证平台的方法。最后以航空无线电管理面板的ARINC模块为例,搭建了分层验证平台,并给出了功能覆盖率结果。结果表明方法可用性与完备性,基于System Verilog的先进的功能验证方法学对于未来航空电子组件验证具有重要意义。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社