本文關鍵詞：AFDX端系統(tǒng)設計及UVM應用研究

  更多相關文章： 端系統(tǒng) FPGA UVM 驗證

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

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

【參考文獻】

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

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

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

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

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

2 魏瀟;AFDX交換機路由警管模塊的設計與驗證[D];西安電子科技大學;2013年

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

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

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

6 陳鵬;EPA網(wǎng)絡芯片驗證平臺的設計與實現(xiàn)[D];浙江大學;2011年

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

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

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

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

，

本文編號：1066353