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

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

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

本文編號：3881236