本文關(guān)鍵詞：基于VMM的USB3.0物理層數(shù)字部分的驗(yàn)證

  更多相關(guān)文章： USB3.0的物理層 VMM驗(yàn)證 場(chǎng)景型激勵(lì)

【摘要】：隨著科技的進(jìn)步，電子類產(chǎn)品種類日新月異，功能不斷強(qiáng)大。隨之而來(lái)，這些產(chǎn)品內(nèi)部的芯片也越來(lái)越復(fù)雜。不僅設(shè)計(jì)不斷面臨著挑戰(zhàn)，驗(yàn)證同樣壓力倍增。并且，面對(duì)日趨復(fù)雜的設(shè)計(jì)，驗(yàn)證正在成為芯片設(shè)計(jì)開(kāi)發(fā)中工作量最大的部分。因此，IC公司逐漸將目光由傳統(tǒng)的基于verilog的驗(yàn)證方法轉(zhuǎn)移到更具有重用性，擴(kuò)展性，，高覆蓋率的基于SystemVerilog的驗(yàn)證方法上。VMM就是其中最前沿的高級(jí)驗(yàn)證方法之一。 多媒體時(shí)代的來(lái)臨帶來(lái)了高帶寬的數(shù)據(jù)傳輸需求。因此，USB不斷地進(jìn)行升級(jí)。USB3.0帶寬已提升為5Gbps，是USB1.1最高傳輸位速率的400多倍。越來(lái)越多的電子設(shè)備開(kāi)始攜帶USB3.0接口。 本文基于synopsys開(kāi)發(fā)的VMM驗(yàn)證方法，對(duì)USB3.0中的物理層數(shù)字部分進(jìn)行驗(yàn)證，搭建了一個(gè)結(jié)構(gòu)清晰、可重用、自對(duì)比的驗(yàn)證平臺(tái)。同時(shí)，本文分析了物理層數(shù)字部分的功能點(diǎn)，對(duì)數(shù)據(jù)鏈路上可能出現(xiàn)的錯(cuò)誤進(jìn)行了功能性的覆蓋率檢測(cè)，并編寫相關(guān)的場(chǎng)景型激勵(lì)模型，完成了對(duì)物理層數(shù)字部分相關(guān)功能的仿真驗(yàn)證。功能覆蓋率達(dá)到100%，條件覆蓋率達(dá)到96.89%，行覆蓋率達(dá)到98.24%，跳轉(zhuǎn)覆蓋率達(dá)到97.29%。 本文描述了功能覆蓋率、自對(duì)比功能、層次化驗(yàn)證的使用。闡述功能覆蓋率導(dǎo)向、自對(duì)比功能和層次化驗(yàn)證在搭建驗(yàn)證平臺(tái)中的優(yōu)勢(shì)。并且，對(duì)USB3.0中的物理層數(shù)字部分進(jìn)行功能性的描述。
【關(guān)鍵詞】：USB3.0的物理層 VMM驗(yàn)證 場(chǎng)景型激勵(lì)
【學(xué)位授予單位】：西安電子科技大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2014
【分類號(hào)】：TP334.7
【目錄】：

• 摘要3-4
• Abstract4-7
• 第一章 緒論7-11
• 1.1 課題的背景及研究意義7-8
• 1.1.1 USB 的發(fā)展7
• 1.1.2 驗(yàn)證方法的更新7-8
• 1.2 課題來(lái)源及目的8
• 1.3 本文的研究?jī)?nèi)容與章節(jié)安排8-11
• 第二章 VMM 驗(yàn)證方法學(xué)11-15
• 2.1 SystemVerilog 概述11-12
• 2.2 VMM 驗(yàn)證架構(gòu)概述12-14
• 2.3 本章小結(jié)14-15
• 第三章 物理層功能架構(gòu)15-39
• 3.1 USB3.0 簡(jiǎn)介15-17
• 3.1.1 USB3.0 物理架構(gòu)15-16
• 3.1.2 USB3.0 傳輸線16-17
• 3.2 物理層架構(gòu)17-21
• 3.2.1 物理層功能概述17-18
• 3.2.2 數(shù)據(jù)路徑18-19
• 3.2.3 物理層接口信號(hào)描述19-21
• 3.3 物理層功能詳解21-34
• 3.3.1 時(shí)鐘21-22
• 3.3.2 復(fù)位22
• 3.3.3 功耗管理22-23
• 3.3.4 接收器檢測(cè)23-24
• 3.3.5 低頻周期性信號(hào) (LFPS)24-25
• 3.3.6 TXONESZEROS25
• 3.3.7 時(shí)鐘容限補(bǔ)償25-27
• 3.3.8 錯(cuò)誤檢測(cè)27-30
• 3.3.9 回環(huán)模式30-33
• 3.3.10 極性反轉(zhuǎn)33-34
• 3.3.11 控制信號(hào)總結(jié)34
• 3.4 數(shù)字部分劃分34-37
• 3.4.1 數(shù)字部分功能35-36
• 3.4.2 數(shù)字部分框圖36-37
• 3.4.3 數(shù)字部分接口信號(hào)37
• 3.5 本章小結(jié)37-39
• 第四章 模塊級(jí)驗(yàn)證環(huán)境39-77
• 4.1 功能點(diǎn)提取39-44
• 4.2 驗(yàn)證架構(gòu)44-46
• 4.3 驗(yàn)證平臺(tái)模塊解析46-72
• 4.3.1 驗(yàn)證平臺(tái)結(jié)構(gòu)47
• 4.3.2 驗(yàn)證平臺(tái)構(gòu)件47-72
• 4.4 驗(yàn)證方法72-76
• 4.4.1 驗(yàn)證路徑72-74
• 4.4.2 驗(yàn)證舉例74-76
• 4.5 本章小結(jié)76-77
• 第五章 驗(yàn)證結(jié)果77-91
• 5.1 功能驗(yàn)證結(jié)果77-87
• 5.2 覆蓋率統(tǒng)計(jì)87-89
• 5.2.1 功能覆蓋率87-88
• 5.2.2 代碼覆蓋率88-89
• 5.3 本章小結(jié)89-91
• 第六章 總結(jié)及展望91-93
• 6.1 總結(jié)91
• 6.2 不足91-92
• 6.3 展望92-93
• 致謝93-95
• 參考文獻(xiàn)95-97

【參考文獻(xiàn)】

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

1 范楨;歐陽(yáng)典勇;;時(shí)鐘電路輻射騷擾與擴(kuò)頻技術(shù)[J];安全與電磁兼容;2007年01期

2 李宥謀;;8B/10B編碼器的設(shè)計(jì)及實(shí)現(xiàn)[J];電訊技術(shù);2005年06期

3 黃輝;;USB3.0技術(shù)發(fā)展和展望[J];大眾硬件;2008年10期

4 胡為東;;USB 3.0物理層測(cè)試中的一致性模式和環(huán)回模式介紹[J];國(guó)外電子測(cè)量技術(shù);2011年08期

5 王宗超;倪凱;王偉能;王鴻鈞;趙詣;;新一代高速串行接口USB3.0介紹[J];記錄媒體技術(shù);2010年02期

6 李玉偉;潘明海;;8B/10B編碼對(duì)高速傳輸?shù)挠绊懛治鯷J];信息安全與通信保密;2011年03期

7 林錦棠;;8B10B編解碼器在PCI Express總線中的實(shí)現(xiàn)[J];微計(jì)算機(jī)信息;2008年33期

8 徐進(jìn);馬琪;;USB 3.0中8b/10b編解碼器的設(shè)計(jì)[J];現(xiàn)代電子技術(shù);2011年18期

9 鐘文楓;;下一代芯片設(shè)計(jì)與驗(yàn)證語(yǔ)言：SystemVerilog(驗(yàn)證篇)[J];電子設(shè)計(jì)應(yīng)用;2008年12期

10 張昌駿;;USB3.0的物理層接收端測(cè)試方案[J];電子測(cè)試;2009年10期

本文編號(hào)：735873