With the rapid development of avionics systems, there is an increasing demand for high-performance communication buses. The ARINC429 bus, a critical communication protocol widely adopted in the aviation field, plays a vital role in ensuring flight safety due to its reliability and accuracy. However, traditional verification methods struggle to meet the demands for efficient and comprehensive functional verification of ARINC429 interface modules, especially in highly integrated System on Chip (SoC) designs. This study proposes a UVM-based verification approach driven by functional coverage to address these challenges. By utilizing a coverage-driven iterative verification process, our method systematically identifies and fills verification gaps, thereby significantly improving the quality and efficiency of verification. Experimental results demonstrate that our approach significantly enhances the functional, code, and branch coverage rates, confirming the effectiveness of our method in achieving comprehensive coverage and efficient verification. This research provides a robust framework for the functional verification of ARINC429 interface modules, contributing to the reliability and safety of avionics systems.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Functional Coverage-Driven UVM-Based ARINC429 Verification

  • Kunlong Zha,
  • Xiaoxue Wu,
  • Qi Yang,
  • Xiaobing Sun

摘要

With the rapid development of avionics systems, there is an increasing demand for high-performance communication buses. The ARINC429 bus, a critical communication protocol widely adopted in the aviation field, plays a vital role in ensuring flight safety due to its reliability and accuracy. However, traditional verification methods struggle to meet the demands for efficient and comprehensive functional verification of ARINC429 interface modules, especially in highly integrated System on Chip (SoC) designs. This study proposes a UVM-based verification approach driven by functional coverage to address these challenges. By utilizing a coverage-driven iterative verification process, our method systematically identifies and fills verification gaps, thereby significantly improving the quality and efficiency of verification. Experimental results demonstrate that our approach significantly enhances the functional, code, and branch coverage rates, confirming the effectiveness of our method in achieving comprehensive coverage and efficient verification. This research provides a robust framework for the functional verification of ARINC429 interface modules, contributing to the reliability and safety of avionics systems.