發(fā)布時間：2024-01-20 17:18

　　ARINC429總線是全球航空電子系統(tǒng)中最常用的通訊總線之一,本課題所驗證的ARINC429總線接口模塊屬于SoC上的外設(shè)接口模塊,通過APB接口與CPU進行通信,根據(jù)ARINC429總線協(xié)議外接A/D和D/A電路接收差分比特流和發(fā)送差分比特流。對ARINC429總線接口模塊進行高效、完備的功能驗證對于保證航空安全具有重要意義,而在當(dāng)前工藝制程愈發(fā)先進的背景下,SoC功能復(fù)雜度以及集成規(guī)模不斷提高,傳統(tǒng)的基于Verilog HDL的驗證平臺已無法滿足日益增長的驗證需求。本文以對SoC上的ARINC429總線接口模塊進行模塊級驗證為背景,分析對比了當(dāng)前主流驗證語言和驗證方法學(xué)的優(yōu)劣,深入研究了當(dāng)前主流的UVM驗證平臺結(jié)構(gòu)以及UVM驗證方法學(xué)的機制和優(yōu)勢,選擇基于UVM搭建結(jié)構(gòu)抽象化、自動化程度高、可重用性強的驗證平臺進行模塊級驗證。本文深入分析了ARINC429總線接口模塊的結(jié)構(gòu)和功能,對其各個子模塊的工作原理進行了研究,在此基礎(chǔ)上提取了驗證功能點。針對功能點的驗證需求,采用面向?qū)ο缶幊碳笆聞?wù)級建模的思想設(shè)計了平臺的子環(huán)境、參考模型、計分板、斷言、功能覆蓋率等組件,實現(xiàn)了基于UVM的AR...

【文章頁數(shù)】：100 頁

【學(xué)位級別】：碩士

本文編號：3881236