本文關(guān)鍵詞：AFDX端系統(tǒng)設(shè)計(jì)及UVM應(yīng)用研究

  更多相關(guān)文章： 端系統(tǒng) FPGA UVM 驗(yàn)證

【摘要】：AFDX端系統(tǒng)是新一代航空數(shù)據(jù)總線AFDX系統(tǒng)中重要的組成部分,是實(shí)現(xiàn)子系統(tǒng)與AFDX網(wǎng)絡(luò)建立通訊連接和子系統(tǒng)間互通消息的關(guān)鍵技術(shù)。隨著AFDX系統(tǒng)在新推出機(jī)型上的廣泛應(yīng)用,對(duì)端系統(tǒng)的設(shè)計(jì)和驗(yàn)證的研究變得越來(lái)越重要。本文針對(duì)AFDX端系統(tǒng)進(jìn)行硬件電路設(shè)計(jì),同時(shí)搭建基于UVM方法學(xué)的驗(yàn)證平臺(tái)對(duì)其進(jìn)行驗(yàn)證。在對(duì)端系統(tǒng)進(jìn)行硬件電路設(shè)計(jì)時(shí),選擇W5100網(wǎng)絡(luò)模塊完成端系統(tǒng)和網(wǎng)絡(luò)之間的數(shù)據(jù)通信功能,使用FPGA最小系統(tǒng)板完成對(duì)數(shù)據(jù)收發(fā)和W5100芯片狀態(tài)的控制。搭建基于UVM的層次化驗(yàn)證平臺(tái),同時(shí)結(jié)合約束隨機(jī)測(cè)試、線程同步技術(shù)和SVA斷言等多項(xiàng)業(yè)界先進(jìn)的驗(yàn)證技術(shù),對(duì)端系統(tǒng)進(jìn)行RTL級(jí)的驗(yàn)證。在驗(yàn)證過(guò)程中收集并分析覆蓋率數(shù)據(jù),根據(jù)覆蓋率分析報(bào)告完成UVM驗(yàn)證平臺(tái)在實(shí)際驗(yàn)證中的應(yīng)用研究。傳統(tǒng)的驗(yàn)證平臺(tái)結(jié)構(gòu)簡(jiǎn)單,可重用性差,驗(yàn)證效率低。本文搭建的UVM驗(yàn)證平臺(tái)將驗(yàn)證的職能進(jìn)行了細(xì)化和分離,這樣只需對(duì)平臺(tái)的某些職能模塊進(jìn)行修改就可以對(duì)不同的待測(cè)設(shè)計(jì)進(jìn)行驗(yàn)證,極大地增強(qiáng)了平臺(tái)的可重用性。使用約束隨機(jī)測(cè)試和SVA斷言技術(shù),能在驗(yàn)證過(guò)程中節(jié)省大量的時(shí)間和精力,提高了平臺(tái)的驗(yàn)證質(zhì)量和驗(yàn)證效率。
【關(guān)鍵詞】：端系統(tǒng) FPGA UVM 驗(yàn)證
【學(xué)位授予單位】：中國(guó)民航大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2015
【分類號(hào)】：V243
【目錄】：

• 摘要5-6
• ABSTRACT6-9
• 第一章 緒論9-13
• 1.1 課題研究的背景及意義9-10
• 1.2 國(guó)內(nèi)外現(xiàn)狀10-11
• 1.3 論文的主要內(nèi)容及結(jié)構(gòu)11-13
• 第二章 端系統(tǒng)設(shè)計(jì)13-23
• 2.1 AFDX網(wǎng)絡(luò)及端系統(tǒng)的介紹13-14
• 2.2 端系統(tǒng)總體設(shè)計(jì)說(shuō)明14-15
• 2.3 硬件電路設(shè)計(jì)15-18
• 2.3.1 FPGA芯片選型15
• 2.3.2 最小系統(tǒng)設(shè)計(jì)15-17
• 2.3.3 網(wǎng)絡(luò)通信電路設(shè)計(jì)17-18
• 2.4 W5100網(wǎng)絡(luò)模塊配置18-22
• 2.4.1 網(wǎng)絡(luò)連接模式設(shè)置18-20
• 2.4.2 收發(fā)命令設(shè)置20-21
• 2.4.3 端口狀態(tài)讀取及收發(fā)控制模塊設(shè)計(jì)21-22
• 2.5 本章小結(jié)22-23
• 第三章 基于UVM的驗(yàn)證平臺(tái)搭建23-40
• 3.1 驗(yàn)證流程的制定23-25
• 3.2 驗(yàn)證語(yǔ)言及工具的選取25-26
• 3.2.1 驗(yàn)證語(yǔ)言選取25-26
• 3.2.2 驗(yàn)證工具選取26
• 3.3 驗(yàn)證平臺(tái)的搭建26-33
• 3.3.1 驗(yàn)證平臺(tái)的總體結(jié)構(gòu)27-28
• 3.3.2 驗(yàn)證平臺(tái)的結(jié)構(gòu)實(shí)現(xiàn)28-29
• 3.3.3 驗(yàn)證平臺(tái)各組件的實(shí)現(xiàn)29-33
• 3.4 使用的驗(yàn)證技術(shù)33-39
• 3.4.1 定向測(cè)試33-34
• 3.4.2 約束隨機(jī)測(cè)試34-36
• 3.4.3 線程同步技術(shù)36-37
• 3.4.4 SVA斷言技術(shù)37-39
• 3.5 本章小結(jié)39-40
• 第四章 端系統(tǒng)的功能驗(yàn)證及覆蓋率分析40-47
• 4.1 代碼規(guī)則檢查40-41
• 4.2 仿真分析及板級(jí)測(cè)試41-43
• 4.3 覆蓋率分析43-46
• 4.3.1 覆蓋率介紹43-45
• 4.3.2 收集覆蓋率數(shù)據(jù)并分析45-46
• 4.4 本章小結(jié)46-47
• 第五章 結(jié)論47-49
• 5.1 論文總結(jié)47
• 5.2 展望47-49
• 參考文獻(xiàn)49-52
• 致謝52-53
• 作者簡(jiǎn)介53

【參考文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前2條

1 尹路;王勇;郭利鋒;;基于FPGA的AFDX協(xié)議處理芯片設(shè)計(jì)[J];計(jì)算機(jī)工程與應(yīng)用;2011年21期

2 李哲;田澤;楊峰;張榮華;王治;;基于AFDX網(wǎng)絡(luò)終端系統(tǒng)SoC的FPGA原型驗(yàn)證[J];航空計(jì)算技術(shù);2010年02期

中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫(kù) 前10條

1 薛磊;基于通信行為證據(jù)鏈的木馬檢測(cè)系統(tǒng)[D];南京郵電大學(xué);2013年

2 魏瀟;AFDX交換機(jī)路由警管模塊的設(shè)計(jì)與驗(yàn)證[D];西安電子科技大學(xué);2013年

3 劉建平;AFDX端系統(tǒng)協(xié)議棧虛擬鏈路層的應(yīng)用研究[D];哈爾濱工業(yè)大學(xué);2012年

4 趙攀峰;Java卡代碼覆蓋率度量技術(shù)的研究與實(shí)現(xiàn)[D];北京交通大學(xué);2012年

5 孫盟哲;基于斷言的PCI總線控制器核功能驗(yàn)證研究[D];哈爾濱工程大學(xué);2012年

6 陳鵬;EPA網(wǎng)絡(luò)芯片驗(yàn)證平臺(tái)的設(shè)計(jì)與實(shí)現(xiàn)[D];浙江大學(xué);2011年

7 何曄;AFDX航空通信網(wǎng)絡(luò)協(xié)議研究及FPGA實(shí)現(xiàn)[D];哈爾濱工業(yè)大學(xué);2011年

8 羅西;基于FPGA的AFDX端系統(tǒng)設(shè)計(jì)[D];中南大學(xué);2011年

9 胡晉彬;數(shù)據(jù)路由系統(tǒng)基于System Verilog語(yǔ)言的驗(yàn)證[D];北京交通大學(xué);2010年

10 葉茂;基于VMM的驗(yàn)證平臺(tái)的研究與實(shí)現(xiàn)[D];華中科技大學(xué);2008年

，

本文編號(hào)：1066353