基于UVM的ARINC429总线接口模块验证平台的设计与实现

发布时间：2024-01-20 17:18

　　ARINC429总线是全球航空电子系统中最常用的通讯总线之一,本课题所验证的ARINC429总线接口模块属于SoC上的外设接口模块,通过APB接口与CPU进行通信,根据ARINC429总线协议外接A/D和D/A电路接收差分比特流和发送差分比特流。对ARINC429总线接口模块进行高效、完备的功能验证对于保证航空安全具有重要意义,而在当前工艺制程愈发先进的背景下,SoC功能复杂度以及集成规模不断提高,传统的基于Verilog HDL的验证平台已无法满足日益增长的验证需求。本文以对SoC上的ARINC429总线接口模块进行模块级验证为背景,分析对比了当前主流验证语言和验证方法学的优劣,深入研究了当前主流的UVM验证平台结构以及UVM验证方法学的机制和优势,选择基于UVM搭建结构抽象化、自动化程度高、可重用性强的验证平台进行模块级验证。本文深入分析了ARINC429总线接口模块的结构和功能,对其各个子模块的工作原理进行了研究,在此基础上提取了验证功能点。针对功能点的验证需求,采用面向对象编程及事务级建模的思想设计了平台的子环境、参考模型、计分板、断言、功能覆盖率等组件,实现了基于UVM的AR...

【文章页数】：100 页

【学位级别】：硕士

本文编号：3881236