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

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

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

【相似文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

中國(guó)重要報(bào)紙全文數(shù)據(jù)庫(kù) 前10條

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

2 任金江 博士;光纖通道高速存儲(chǔ)[N];中國(guó)計(jì)算機(jī)報(bào);2001年

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

4 國(guó)雁萌;光纖通道重新崛起[N];中國(guó)計(jì)算機(jī)報(bào);2002年

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

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

7 米笑;試制4G光纖通道產(chǎn)品[N];中國(guó)計(jì)算機(jī)報(bào);2003年

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

9 本報(bào)記者 郭平;光纖通道：一切由需求決定[N];計(jì)算機(jī)世界;2014年

10 ;Brocade迎接整合之年[N];中國(guó)計(jì)算機(jī)報(bào);2004年

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

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

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

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

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

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

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

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

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

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

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

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

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

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

本文編號(hào)：404444