發(fā)布時(shí)間：2017-09-18 07:26

  本文關(guān)鍵詞：基于PCI總線的主設(shè)備功能仿真與驗(yàn)證

  更多相關(guān)文章： PCI總線 圖形處理器 命令處理器 數(shù)據(jù)傳輸控制器 功能驗(yàn)證

【摘要】：隨著大規(guī)模集成電路技術(shù)的快速發(fā)展和廣泛應(yīng)用,集成電路對功能、時(shí)鐘頻率、功耗、穩(wěn)定性等指標(biāo)具有越來越高的要求。其中,電路功能的正確性是最基本也是最重要的要求,電路驗(yàn)證是確保其功能正確性的關(guān)鍵手段。本文在某款圖形處理器項(xiàng)目基礎(chǔ)上,對PCI主機(jī)接口的主設(shè)備功能進(jìn)行了驗(yàn)證。PCI主機(jī)接口是圖形處理器對外的通信接口,其內(nèi)部集成了命令處理器和數(shù)據(jù)傳輸控制器兩個(gè)主設(shè)備,它們通過發(fā)起PCI總線傳輸操作實(shí)現(xiàn)圖形處理器與外部主機(jī)之間的數(shù)據(jù)傳輸和解析等功能。主設(shè)備在圖形處理器中扮演著數(shù)據(jù)源入口關(guān)卡的重要角色,因此對主設(shè)備進(jìn)行完整的功能驗(yàn)證具有十分重要的意義。本文首先對命令處理器和數(shù)據(jù)傳輸控制器的功能進(jìn)行深入分析,提取出待測模塊的基本功能點(diǎn)。其次結(jié)合待測模塊已有的設(shè)計(jì)代碼對每個(gè)功能點(diǎn)進(jìn)行驗(yàn)證項(xiàng)的策劃,包括劃分具體的總線傳輸操作類型等。然后分析主設(shè)備驗(yàn)證環(huán)境的搭建需求,根據(jù)分析結(jié)果編寫主設(shè)備在總線操作中所需要的圖形繪制命令、圖形像素?cái)?shù)據(jù)以及用戶染色程序三種不同類型的二進(jìn)制源數(shù)據(jù)文件。此外,根據(jù)時(shí)序約束開發(fā)與主設(shè)備進(jìn)行交互操作的存儲管理單元和圖像處理單元的基本功能模型。緊接著在Linux環(huán)境下搭建待測模塊的驗(yàn)證平臺,完成待測模塊與模型間的互連和測試平臺的調(diào)試、激勵(lì)生成、仿真結(jié)果對比方法等,并編寫自動(dòng)化驗(yàn)證的運(yùn)行腳本。之后,選取動(dòng)態(tài)定向驗(yàn)證和隨機(jī)驗(yàn)證相結(jié)合的驗(yàn)證方法,并根據(jù)驗(yàn)證策劃表分別開發(fā)了50項(xiàng)命令處理器的驗(yàn)證用例和9項(xiàng)數(shù)據(jù)傳輸控制器的驗(yàn)證用例。最后通過仿真工具對命令處理和數(shù)據(jù)傳輸控制器分別進(jìn)行功能仿真與驗(yàn)證,自動(dòng)化監(jiān)測必要的標(biāo)志信號,并將仿真結(jié)果與參考文本源數(shù)據(jù)進(jìn)行一致性對比,得出仿真結(jié)論。在仿真工作完成后,使用腳本分別統(tǒng)計(jì)兩個(gè)主設(shè)備的功能覆蓋率和代碼覆蓋率,并對覆蓋率報(bào)告的結(jié)果進(jìn)行分析和改進(jìn)說明。在進(jìn)行仿真驗(yàn)證時(shí),通過對部分驗(yàn)證用例進(jìn)行修改并多次回歸驗(yàn)證使得待測模塊的覆蓋率逐步上升。最終驗(yàn)證結(jié)果顯示,命令處理器和數(shù)據(jù)傳輸控制器的功能覆蓋率均達(dá)到100%,命令處理器的語句覆蓋率和分支覆蓋率均達(dá)到96%以上,數(shù)據(jù)傳輸控制器的語句覆蓋率和分支覆蓋率均達(dá)到95%以上,滿足待測模塊的功能規(guī)格和驗(yàn)證要求。
【關(guān)鍵詞】：PCI總線 圖形處理器 命令處理器 數(shù)據(jù)傳輸控制器 功能驗(yàn)證
【學(xué)位授予單位】：西安電子科技大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2016
【分類號】：TP336;TP332
【目錄】：

• 摘要5-6
• ABSTRACT6-10
• 縮略語對照表10-13
• 第一章 緒論13-17
• 1.1 研究背景與意義13-14
• 1.2 PCI局部總線的發(fā)展?fàn)顩r14
• 1.3 課題來源14-15
• 1.4 工作內(nèi)容和結(jié)構(gòu)安排15-17
• 第二章 PCI總線協(xié)議分析17-27
• 2.1 PCI總線的信號與命令定義17-20
• 2.1.1 總線信號定義17-19
• 2.1.2 總線命令定義19-20
• 2.2 PCI總線操作類型分析20-25
• 2.2.1 總線基本操作20-21
• 2.2.2 總線讀操作21-23
• 2.2.3 總線寫操作23-24
• 2.2.4 總線配置空間操作24-25
• 2.3 PCI總線特點(diǎn)25-26
• 2.4 本章小結(jié)26-27
• 第三章 主設(shè)備驗(yàn)證環(huán)境需求27-39
• 3.1 主設(shè)備功能分析27-33
• 3.1.1 PCI總線轉(zhuǎn)換邏輯功能分析27-29
• 3.1.2 命令處理器功能分析29-31
• 3.1.3 數(shù)據(jù)傳輸控制器功能分析31-33
• 3.2 主設(shè)備功能點(diǎn)劃分33-35
• 3.2.1 命令處理器功能點(diǎn)劃分33-34
• 3.2.2 數(shù)據(jù)傳輸控制器功能點(diǎn)劃分34-35
• 3.3 主設(shè)備驗(yàn)證需求分析35-37
• 3.3.1 文本激勵(lì)35-36
• 3.3.2 主設(shè)備交互模型36
• 3.3.3 運(yùn)行腳本36-37
• 3.4 本章小結(jié)37-39
• 第四章 主設(shè)備的驗(yàn)證平臺搭建39-57
• 4.1 主設(shè)備驗(yàn)證方法對比選取39-41
• 4.1.1 功能驗(yàn)證方法對比分析40-41
• 4.1.2 功能驗(yàn)證方法選取41
• 4.2 主設(shè)備交互模型的開發(fā)41-50
• 4.2.1 存儲管理單元模型的開發(fā)41-46
• 4.2.2 圖像處理單元模型的開發(fā)46-50
• 4.3 主設(shè)備驗(yàn)證平臺的分析50-56
• 4.3.1 驗(yàn)證平臺的功能50-51
• 4.3.2 主設(shè)備的驗(yàn)證工具及流程51-52
• 4.3.3 主設(shè)備驗(yàn)證平臺搭建52-56
• 4.4 本章小結(jié)56-57
• 第五章 主設(shè)備功能仿真與驗(yàn)證57-73
• 5.1 主設(shè)備驗(yàn)證項(xiàng)策劃57-60
• 5.1.1 命令處理器的驗(yàn)證項(xiàng)劃分57-58
• 5.1.2 數(shù)據(jù)傳輸控制器的驗(yàn)證項(xiàng)劃分58-60
• 5.2 主設(shè)備仿真驗(yàn)證與結(jié)果分析60-71
• 5.2.1 主設(shè)備驗(yàn)證步驟60
• 5.2.2 命令處理器仿真驗(yàn)證與結(jié)果分析60-67
• 5.2.3 數(shù)據(jù)傳輸控制器仿真驗(yàn)證與結(jié)果分析67-71
• 5.3 主設(shè)備覆蓋率統(tǒng)計(jì)與分析71-72
• 5.4 本章小結(jié)72-73
• 第六章 總結(jié)與展望73-75
• 6.1 總結(jié)73
• 6.2 展望73-75
• 參考文獻(xiàn)75-77
• 致謝77-79
• 作者簡介79-80

【參考文獻(xiàn)】

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

1 朱華偉;稅奇軍;;基于異步FIFO的多時(shí)鐘域同步技術(shù)研究[J];四川文理學(xué)院學(xué)報(bào);2012年05期

2 王騏;王青萍;;基于PCI9054的DMA和突發(fā)數(shù)據(jù)傳輸實(shí)現(xiàn)[J];物聯(lián)網(wǎng)技術(shù);2011年03期

3 單天昌;陸達(dá);;基于FPGA的PCI接口DMA傳輸?shù)脑O(shè)計(jì)與實(shí)現(xiàn)[J];計(jì)算機(jī)技術(shù)與發(fā)展;2010年04期

4 譚亞軍;鄭瑞鋒;楊健;;集成電路中的多時(shí)鐘域同步設(shè)計(jì)方法探究[J];黑龍江科技信息;2009年03期

5 Antonio Di Rocco;;使能PCI總線仲裁器核的VHDL程序[J];電子設(shè)計(jì)技術(shù);2007年12期

6 馬玉英,馬義德;PCI總線傳輸?shù)慕K止方式探析[J];青海大學(xué)學(xué)報(bào)(自然科學(xué)版);2005年04期

7 孫廣彬,許媛媛,何金田,趙書俊;FPGA內(nèi)部時(shí)鐘系統(tǒng)間的FIFO數(shù)據(jù)接口[J];鄭州大學(xué)學(xué)報(bào)(理學(xué)版);2003年02期

8 張兢;PCI總線主控I/O加速器PCI9054[J];國外電子元器件;2002年01期

9 林勇,周曉雁;微機(jī)總線及其發(fā)展[J];微型機(jī)與應(yīng)用;1995年05期

，

本文編號：874184