本文關(guān)鍵詞：基于VMM的光纖通道驗證平臺研究，，由筆耕文化傳播整理發(fā)布。

【摘要】：隨著集成電路的復(fù)雜程度越來越大,尤其是在SoC技術(shù)和IP復(fù)用技術(shù)日趨成熟的情況下,怎樣能夠有效的驗證芯片的功能就變得至關(guān)重要。在如此背景下,對驗證的需求也變得越來越大,VMM驗證方法學(xué)也據(jù)此背景而被提出來,具有相當(dāng)大的理論以及實際意義。本文對VMM驗證方法學(xué)作出了較為深入的研究。首先歸納并總結(jié)出SystemVerilog七個特點并進行了逐一的介紹:受約束的隨機激勵、可重復(fù)利用性、接口(interface)、特定的內(nèi)部連接機制、測試案例和功能覆蓋率、與軟件語言的接口(DPI)以及斷言。然后對VMM驗證方法學(xué)所提出的分層次的基本架構(gòu)以及架構(gòu)內(nèi)各個模塊的具體功能進行了詳細(xì)介紹。VMM驗證方法學(xué)提供了標(biāo)準(zhǔn)庫,驗證者只需要對這些基本庫進行擴展就能實現(xiàn)更加具體的功能,本文也對該標(biāo)準(zhǔn)庫進行了較為詳細(xì)的介紹。本文搭建了基于VMM的光纖通道的驗證平臺,對于被測程序即光纖通道點對點模塊設(shè)計的了解也是驗證所必須的。在介紹完VMM驗證方法學(xué)后,本文對被測程序的整體模塊以及內(nèi)部具體分模塊的實現(xiàn)方案進行了詳細(xì)的介紹。驗證平臺需要用到被測程序?qū)α髁康目刂频冉涌?所以對于被測程序分模塊對外的接口本論文也進行了較為詳細(xì)的陳述根據(jù)被測設(shè)計的具體功能,對光纖通道點對點設(shè)計的分層次驗證環(huán)境進行了總體方案的提出以及具體模塊的詳細(xì)設(shè)計。對數(shù)據(jù)類、接口、配置類、發(fā)生器、驅(qū)動器、監(jiān)視器、回調(diào)、記分板以及環(huán)境類的具體實現(xiàn)方案進行了詳細(xì)的說明。最后本文介紹了基于此驗證環(huán)境所提出的驗證方案以及根據(jù)此驗證方案所編寫的測試案例,并對驗證工具的運行進行了比較詳細(xì)的說明,使用VCS進行了仿真,分析了仿真出來的結(jié)果。通過自己的切身體驗發(fā)現(xiàn)VMM確實能夠大大的提高工作效率。使用VMM驗證方法學(xué)搭建的驗證環(huán)境具有很高的可重復(fù)利用性,也能利用到其他類似的被測程序中,通過擴展以及測試案例的編寫,使其能夠驗證更多的功能。
【關(guān)鍵詞】：驗證方法學(xué) FC光纖通道 驗證平臺 功能驗證
【學(xué)位授予單位】：電子科技大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2015
【分類號】：TN929.11
【目錄】：

• 摘要5-6
• ABSTRACT6-10
• 第一章 緒論10-13
• 1.1 選題依據(jù)及研究意義10-11
• 1.2 國內(nèi)外研究現(xiàn)狀和發(fā)展態(tài)勢11
• 1.3 課題內(nèi)容及論文結(jié)構(gòu)11-13
• 第二章 VMM驗證方法學(xué)13-24
• 2.1 SystemVerilog簡介13-19
• 2.1.1 受約束的隨機激勵13-14
• 2.1.2 可重復(fù)利用性14
• 2.1.3 接口（interface）14-15
• 2.1.4 特定的內(nèi)部連接機制15-16
• 2.1.5 測試案例和功能覆蓋率16-18
• 2.1.6 與軟件語言的接18
• 2.1.7 斷言(SVA)18-19
• 2.2 VMM驗證方法學(xué)19-22
• 2.2.1 VMM驗證方法學(xué)架構(gòu)19-21
• 2.2.2 VMM驗證方法學(xué)的不同階段21-22
• 2.3 VMM標(biāo)準(zhǔn)庫介紹22-23
• 2.4 本章小結(jié)23-24
• 第三章 光纖通道點對點的實現(xiàn)及驗證環(huán)境的整體設(shè)計24-43
• 3.1 FC模塊點對點整體設(shè)計方案24-27
• 3.1.1 FC模塊架構(gòu)設(shè)計24-25
• 3.1.2 FC發(fā)送端數(shù)據(jù)流25-26
• 3.1.3 FC接收端數(shù)據(jù)流26-27
• 3.2 接收通道27-32
• 3.2.1 有序集檢測27-29
• 3.2.2 幀接收控制邏輯29-32
• 3.3 發(fā)送通道32-36
• 3.3.1 幀發(fā)送引擎32-35
• 3.3.2 CRC檢驗35
• 3.3.3 發(fā)送狀態(tài)機35-36
• 3.4 端口狀態(tài)機36-40
• 3.5 流量控制40-42
• 3.7 本章小結(jié)42-43
• 第四章 光纖通道驗證環(huán)境總體及模塊設(shè)計43-61
• 4.1 FC光纖通道驗證環(huán)境的整體設(shè)計43-44
• 4.2 數(shù)據(jù)類的設(shè)計44-46
• 4.3 接口的設(shè)計46-48
• 4.4 配置類的設(shè)計48-49
• 4.5 發(fā)生器的設(shè)計49-51
• 4.6 驅(qū)動器的設(shè)計51-54
• 4.6.1 驅(qū)動器的運行51-53
• 4.6.2 發(fā)送函數(shù)53-54
• 4.7 監(jiān)視器的設(shè)計54-57
• 4.7.1 監(jiān)視器的運行54-55
• 4.7.2 解析函數(shù)55-56
• 4.7.3 接收幀數(shù)據(jù)函數(shù)56-57
• 4.8 回調(diào)的設(shè)計57-58
• 4.9 記分板的設(shè)計58-59
• 4.10 環(huán)境類的設(shè)計59-60
• 4.11 本章小結(jié)60-61
• 第五章 測試案例及結(jié)果分析61-73
• 5.1 驗證工具介紹61
• 5.2 測試案例程序以及頂層模塊61-64
• 5.3 驗證的運行64-66
• 5.4 VCS運行結(jié)果及分析66-72
• 5.4.1 配置66
• 5.4.2 幀信息的生成66-67
• 5.4.3 發(fā)生器的建立及幀數(shù)據(jù)的生成67-68
• 5.4.4 驅(qū)動器的運行狀態(tài)68-70
• 5.4.5 監(jiān)視器的接收70-71
• 5.4.6 記分板的對比71
• 5.4.7 wrap_up及總結(jié)71-72
• 5.4.8 代碼覆蓋率72
• 5.5 本章小結(jié)72-73
• 第六章 總結(jié)與展望73-75
• 6.1 論文總結(jié)73
• 6.2 不足與改進73-75
• 致謝75-76
• 參考文獻76-78
• 攻碩期間研究成果78-79

【相似文獻】

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

1 ;理解光纖通道域[J];每周電腦報;2007年41期

2 羅昕;張延園;;高性能光纖通道上實現(xiàn)1553B協(xié)議的研究[J];計算機測量與控制;2008年08期

3 李蘭蘭;;淺談光纖通道技術(shù)[J];福建電腦;2012年02期

4 唐勇,潘龍法,徐端頤;光纖通道──連接未來網(wǎng)絡(luò)和通道的橋梁[J];電子計算機與外部設(shè)備;1998年05期

5 ;光纖通道技術(shù)一瞥[J];中國計算機用戶;1998年50期

6 ;建立光纖通道標(biāo)準(zhǔn)[J];每周電腦報;1998年27期

7 魯爾;;第5代光纖通道——新名稱意義何在[J];計算機與網(wǎng)絡(luò);2013年24期

8 ;第六代光纖通道協(xié)議[J];辦公自動化;2014年05期

9 何寧,熊劍平,蔣昌龍;高速數(shù)據(jù)傳輸接口—光纖通道[J];電訊技術(shù);2001年01期

10 高昆,凡叔軍,徐海錚,潘龍法;光纖通道應(yīng)用系統(tǒng)的設(shè)計方法[J];光電工程;2004年11期

中國重要會議論文全文數(shù)據(jù)庫 前10條

1 徐振;;高頻保護更換為光纖通道的若干問題[A];第十五屆華東六省一市電機工程（電力）學(xué)會輸配電技術(shù)研討會論文集[C];2007年

2 張科;涂曉東;;光纖通道協(xié)議中運行差距計算[A];2008通信理論與技術(shù)新進展——第十三屆全國青年通信學(xué)術(shù)會議論文集（上）[C];2008年

3 周游;郗紅梅;;基于光纖通道技術(shù)的航空測試數(shù)據(jù)整合系統(tǒng)研究[A];2012航空試驗測試技術(shù)學(xué)術(shù)交流會論文集[C];2012年

4 張浩華;;基于光纖通道技術(shù)的存儲區(qū)域網(wǎng)應(yīng)用研究[A];中國復(fù)合材料學(xué)會2004年年會論文集[C];2004年

5 熊劍平;馬騁;何寧;王玉英;楊進;賈惠波;;基于光纖通道(FC)協(xié)議的高速遠程通訊測控鏈路設(shè)計[A];大珩先生九十華誕文集暨中國光學(xué)學(xué)會2004年學(xué)術(shù)大會論文集[C];2004年

6 羅燁;涂曉東;丁林;;基于PCI-Express接口的光纖通道協(xié)議處理卡驅(qū)動的研究與實現(xiàn)[A];2009通信理論與技術(shù)新發(fā)展——第十四屆全國青年通信學(xué)術(shù)會議論文集[C];2009年

7 李霖;邱昆;;基于光纖通道協(xié)議的LVDS光纖傳輸系統(tǒng)的接收端設(shè)計與實現(xiàn)[A];2008年中國西部青年通信學(xué)術(shù)會議論文集[C];2008年

8 丁林;涂曉東;;光纖通道HBA卡DMA引擎的設(shè)計與實現(xiàn)[A];中國通信學(xué)會第六屆學(xué)術(shù)年會論文集（上）[C];2009年

9 閆大振;;繼電保護光纖通道的調(diào)試及安裝工藝[A];華東六省一市電機工程（電力）學(xué)會輸配電技術(shù)研討會2002年年會山東電機工程學(xué)會交流論文集[C];2002年

10 屈俊宏;;利用延時誤碼仿真儀的繼電保護光纖通道仿真測試[A];2010年云南電力技術(shù)論壇論文集（文摘部分）[C];2010年

中國重要報紙全文數(shù)據(jù)庫 前10條

1 沈建苗　編譯;軟件定義世界 光纖通道何去何從[N];計算機世界;2014年

2 任金江 博士;光纖通道高速存儲[N];中國計算機報;2001年

3 謝剛;光纖通道標(biāo)準(zhǔn)[N];中國計算機報;2001年

4 國雁萌;光纖通道重新崛起[N];中國計算機報;2002年

5 清水編譯;光纖通道仍是“重量級冠軍”[N];計算機世界;2006年

6 LSI邏輯公司 Steve Looby;光纖通道漸變中[N];網(wǎng)絡(luò)世界;2005年

7 米笑;試制4G光纖通道產(chǎn)品[N];中國計算機報;2003年

8 沈建苗 編譯;光纖通道 風(fēng)光不再[N];計算機世界;2012年

9 本報記者 郭平;光纖通道：一切由需求決定[N];計算機世界;2014年

10 ;Brocade迎接整合之年[N];中國計算機報;2004年

中國博士學(xué)位論文全文數(shù)據(jù)庫 前1條

1 童薇;高效光纖存儲通道技術(shù)研究[D];華中科技大學(xué);2011年

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

1 余輝;FC-AE-1553節(jié)點卡軟件設(shè)計與實現(xiàn)[D];電子科技大學(xué);2015年

2 周興潤;基于VMM的光纖通道驗證平臺研究[D];電子科技大學(xué);2015年

3 鄒少義;在以太網(wǎng)上運行光纖通道的研究與設(shè)計實現(xiàn)[D];電子科技大學(xué);2009年

4 任星偉;光纖通道仲裁環(huán)的優(yōu)化與仿真[D];電子科技大學(xué);2009年

5 劉娟;光纖通道的核心技術(shù)研究與實現(xiàn)[D];西安石油大學(xué);2010年

6 周建濤;基于光纖通道的通信系統(tǒng)的研究與實現(xiàn)[D];西北工業(yè)大學(xué);2007年

7 陳偉娜;基于光纖通道技術(shù)的易迅空間系統(tǒng)[D];暨南大學(xué);2007年

8 宋少峰;光纖通道在航空計算領(lǐng)域的研究和應(yīng)用[D];西北工業(yè)大學(xué);2007年

9 高金鵬;以太網(wǎng)光纖通道協(xié)議通用服務(wù)的設(shè)計與實現(xiàn)[D];北京郵電大學(xué);2013年

10 王偉;基于光纖通道的多總線融合技術(shù)研究[D];西安電子科技大學(xué);2014年

  本文關(guān)鍵詞：基于VMM的光纖通道驗證平臺研究，由筆耕文化傳播整理發(fā)布。

本文編號：404444