本文選題：USB3.0 + 設(shè)備控制器��； 參考：《合肥工業(yè)大學(xué)》2013年碩士論文

【摘要】：正如USB2.0取代USB1.1的潮流誰都無法阻擋一樣， USB3.0必將逐步取代USB2.0成為最為通用的USB接口。USB3.0巨大的市場前景引起國內(nèi)外眾多企業(yè)和研究機構(gòu)積極進行相關(guān)產(chǎn)品的研發(fā)。目前，USB3.0技術(shù)在國外已逐漸普及，而國內(nèi)這方面技術(shù)還不成熟，雖然有不少企業(yè)積極參與，但具有真正自主知識產(chǎn)權(quán)的USB3.0核心技術(shù)產(chǎn)品非常少。 本文依托于科研項目“USB3.0設(shè)備控制器IP/USB3.0通用設(shè)備控制器/USB3.0U盤控制器”，針對一款自主設(shè)計的USB3.0設(shè)備控制器IP核，深入研究了功能驗證相關(guān)方法理論和USB3.0相關(guān)協(xié)議規(guī)范，旨在完成該IP核控制端點部分的RTL功能驗證工作。主要工作如下： 1、本文在對黑盒、白盒和灰盒三種功能驗證手段，以及基于仿真的驗證技術(shù)、靜態(tài)分析技術(shù)和形式化驗證技術(shù)等三種涉及功能驗證方面的主流驗證技術(shù)進行了研究分析后，總結(jié)了不同驗證手段和驗證技術(shù)存在的優(yōu)缺點及其適用范圍，得出灰盒驗證手段及基于軟件仿真的功能驗證方法適合本項目現(xiàn)階段的驗證工作。 2、本文對USB3.0相關(guān)協(xié)議規(guī)范進行了深入研究，包括USB3.0的體系結(jié)構(gòu)、傳輸基本單位、傳輸類型、端點及物理層接口規(guī)范PIPE等，總結(jié)了相關(guān)知識，從總體和細節(jié)上把握設(shè)計規(guī)范。 3、將驗證理論和協(xié)議規(guī)范的研究所得應(yīng)用到IP核控制端點的RTL功能驗證當(dāng)中。根據(jù)項目的實際情況，對基于軟件仿真的功能驗證方法流程進行優(yōu)化，再根據(jù)USB3.0相關(guān)協(xié)議規(guī)范，對IP核控制端點部分進行RTL功能驗證。論文提出了一種驗證平臺的搭建方式及一套完整的驗證流程，從驗證平臺的搭建出發(fā)，，分控制傳輸?shù)脑O(shè)置、數(shù)據(jù)、狀態(tài)三個階段來完成控制端點的功能驗證。驗證平臺采用標(biāo)準(zhǔn)的USB3.0PIPE接口，將驗證組件模塊化，分離了驗證架構(gòu)和激勵產(chǎn)生機制，并實現(xiàn)了對驗證結(jié)果的自動檢查，從而增強了驗證平臺的可重用性、可擴展性和可靠性。驗證涵蓋了控制端點功能驗證的三個方面：標(biāo)準(zhǔn)設(shè)備請求、包和重傳機制，實現(xiàn)了對IP核控制端點部分待驗證功能點的完備覆蓋，并達到了100%的代碼覆蓋率。
[Abstract]:Just as no one can stop the trend that USB2.0 replaces USB1.1, USB3.0 will gradually replace USB2.0 as the most common USB interface. The huge market prospect of USB3.0 has aroused many enterprises and research institutions at home and abroad to actively carry out research and development of related products. At present, USB3.0 technology has been gradually popularized in foreign countries, but this technology is not mature in China. Although there are many enterprises actively participate, there are very few USB3.0 core technology products with real independent intellectual property rights. Based on the scientific research project "USB 3.0 device Controller IP / USB 3.0 Universal device Controller / USB 3.0 U disk Controller", this paper deeply studies the theory of function verification method and USB3.0 protocol specification for an independent design of USB 3.0 device controller IP core. In order to complete the IP core control endpoint part of the RTL function verification work. The main work is as follows: 1. In this paper, three functional verification methods, black box, white box and gray box, as well as the verification technology based on simulation, are introduced. After the research and analysis of three kinds of popular verification techniques, static analysis and formal verification, the advantages and disadvantages of different verification methods and verification techniques and their application scope are summarized. The grey box verification method and the function verification method based on software simulation are found to be suitable for the verification work of this project at this stage. 2. In this paper, the related protocol specification of USB3.0 is deeply studied, including the architecture of USB3.0, the basic unit of transmission, Transport type, endpoint and physical layer interface specification pipe, etc., summarized the relevant knowledge, The verification theory and protocol specification are applied to the RTL functional verification of IP core control endpoints. According to the actual situation of the project, the flow of the function verification method based on software simulation is optimized, and then the RTL function verification of the IP core control endpoint is carried out according to the USB3.0 protocol specification. This paper presents a verification platform and a complete verification process, starting from the construction of the verification platform, control the transmission of three stages, data, state to complete the functional verification of the control endpoint. The verification platform adopts the standard USB3.0 pipeline interface, modularizes the verification components, separates the verification architecture from the incentive generation mechanism, and realizes the automatic checking of the verification results, which enhances the reusability, expansibility and reliability of the verification platform. The verification covers three aspects of the functional verification of the control endpoint: standard device request, packet and retransmission mechanism. The complete coverage of the IP core control endpoint is achieved, and the code coverage is 100%.
【學(xué)位授予單位】：合肥工業(yè)大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2013
【分類號】：TP334.7

【相似文獻】

相關(guān)期刊論文 前10條

1 劉越,陳常嘉,張寶賢,張駿溫;IP網(wǎng)絡(luò)中的兩種路由模型[J];鐵道學(xué)報;1999年05期

2 Stephen Von Rump;視頻通信的未來趨勢[J];電信科學(xué);2000年03期

3 黃東霖;基于IP的多媒體通信平臺——H.323系統(tǒng)應(yīng)用的探討[J];電信科學(xué);2000年06期

4 付海濤,彭雷震,喬華;VLAN技術(shù)在提高網(wǎng)絡(luò)傳輸中的應(yīng)用[J];計算機工程;2000年S1期

5 溫蜀山,李樂民,孫海榮;寬帶IP網(wǎng)絡(luò)發(fā)展研究[J];四川通信技術(shù);2000年01期

6 ;以MPLS技術(shù)支持全新虛擬專用網(wǎng)[J];現(xiàn)代電信科技;2000年01期

7 韓鼎金;北京市電信公司IP網(wǎng)絡(luò)現(xiàn)狀及發(fā)展[J];電信建設(shè);2001年05期

8 齊江,喬耀軍,遲楠,唐威,陳樹強;基于WDM寬帶無源光網(wǎng)絡(luò)中IP業(yè)務(wù)的接入[J];高技術(shù)通訊;2001年02期

9 王曉東,高振明,陳默;基于IP網(wǎng)的多媒體會議系統(tǒng)的設(shè)計與實現(xiàn)[J];計算機與網(wǎng)絡(luò);2001年04期

10 季曉飛,范戈;一種半雙工EPON接入方案[J];光通信技術(shù);2002年05期

相關(guān)會議論文 前10條

1 李益全;張繼華;楊傳仁;;一種小規(guī)模LCD驅(qū)動電路IP核的設(shè)計[A];2005中國通信集成電路技術(shù)與應(yīng)用研討會論文集[C];2005年

2 項黎;陳險峰;;IP影像板的使用與保養(yǎng)[A];2010中華醫(yī)學(xué)會影像技術(shù)分會第十八次全國學(xué)術(shù)大會論文集[C];2010年

3 王力緯;羅宏偉;;IP核質(zhì)量與可靠性評測流程研究[A];2010第十五屆可靠性學(xué)術(shù)年會論文集[C];2010年

4 羅建虹;杜雪芳;;網(wǎng)絡(luò)IP化演進中的傳送網(wǎng)與數(shù)據(jù)網(wǎng)維護融合初探[A];湖北省通信學(xué)會、武漢通信學(xué)會2009年學(xué)術(shù)年會論文集[C];2009年

5 顏哲;田澤;韓煒;;多標(biāo)準(zhǔn)視頻顯示控制器IP核的設(shè)計與實現(xiàn)[A];第十五屆計算機工程與工藝年會暨第一屆微處理器技術(shù)論壇論文集（A輯）[C];2011年

6 向九松;季鴻宇;柏林;;精品IP綜合承載網(wǎng)構(gòu)建思路探討[A];中國通信學(xué)會信息通信網(wǎng)絡(luò)技術(shù)委員會2011年年會論文集（上冊）[C];2011年

7 宋軍;;IP網(wǎng)絡(luò)和光網(wǎng)絡(luò)統(tǒng)一調(diào)度關(guān)鍵技術(shù)研究[A];中國通信學(xué)會信息通信網(wǎng)絡(luò)技術(shù)委員會2011年年會論文集（上冊）[C];2011年

8 王培國;鄭軍;;IP多媒體子系統(tǒng)及其增值業(yè)務(wù)分析[A];四川省通信學(xué)會Ip應(yīng)用與增值電信技術(shù)會議論文集[C];2011年

9 李幼平;;IP網(wǎng)絡(luò)標(biāo)度的涌現(xiàn)與平抑[A];第六屆全國網(wǎng)絡(luò)科學(xué)論壇暨第二屆全國混沌應(yīng)用研討會論文集[C];2010年

10 夏勇;何晶;張偉;;一種融合網(wǎng)絡(luò)寬帶IP互動電視技術(shù)方案[A];中國新聞技術(shù)工作者聯(lián)合會2011年學(xué)術(shù)年會論文集（下篇）[C];2011年

相關(guān)重要報紙文章 前10條

1 記者 邢小萍;H3C連續(xù)9個季度位列國內(nèi)IP存儲市場榜首[N];網(wǎng)絡(luò)世界;2009年

2 ;CNTV IP電視事業(yè)部總監(jiān)張宇霞：盡快建立開放合理的產(chǎn)業(yè)鏈[N];人民郵電;2010年

3 顧笑冰;阿朗領(lǐng)跑IP路由器市場[N];人民郵電;2009年

4 逢丹;DSN引導(dǎo)電信網(wǎng)IP化[N];通信產(chǎn)業(yè)報;2009年

5 ;IP的價值——商機[N];網(wǎng)絡(luò)世界;2001年

6 李彤;傳送網(wǎng)升級需順應(yīng)全IP化潮流[N];人民郵電;2009年

7 本報記者 馮曉偉　李映;IP核“架空”設(shè)計業(yè)質(zhì)量標(biāo)準(zhǔn)應(yīng)統(tǒng)一[N];中國電子報;2010年

8 鋒;科信通訊送IP VPN進中國[N];中國計算機報;2001年

9 記者 張銘;一個號碼就可打IP[N];上海金融報;2000年

10 ;面向移動IP化及全業(yè)務(wù)中興發(fā)布下一代光傳送網(wǎng)方案[N];人民郵電;2009年

相關(guān)博士學(xué)位論文 前10條

1 殷燎;面向SoC的IP核及嵌入式處理器功能驗證方法研究[D];浙江大學(xué);2010年

2 王亞剛;IP路由器系統(tǒng)芯片關(guān)鍵技術(shù)研究[D];西安電子科技大學(xué);2012年

3 李可;IP網(wǎng)絡(luò)流量規(guī)劃關(guān)鍵問題研究[D];電子科技大學(xué);2012年

4 秦字興;中國電信市場環(huán)境下的中顆粒IP網(wǎng)絡(luò)工程成本模型[D];北京郵電大學(xué);2010年

5 劉銀龍;無線異構(gòu)IP網(wǎng)絡(luò)的移動性管理研究[D];北京郵電大學(xué);2011年

6 卜佑軍;IP網(wǎng)多路徑數(shù)據(jù)傳輸關(guān)鍵技術(shù)研究[D];解放軍信息工程大學(xué);2012年

7 包力爾;移動IP中的切換及移動性管理研究[D];華中科技大學(xué);2010年

8 晏堅;低軌衛(wèi)星星座網(wǎng)絡(luò)IP路由技術(shù)研究[D];清華大學(xué);2010年

9 喬焰;基于主動探測的IP網(wǎng)故障診斷與丟包率推理方法[D];北京郵電大學(xué);2012年

10 楊波;基于公鑰自證明路由通告驗證的IP前綴劫持防范機制研究[D];江西財經(jīng)大學(xué);2012年

相關(guān)碩士學(xué)位論文 前10條

1 王杰;USB3.0設(shè)備控制器IP核控制端點的RTL功能驗證[D];合肥工業(yè)大學(xué);2013年

2 凌波;數(shù)字IP軟核RTL級設(shè)計方法研究[D];北京交通大學(xué);2012年

3 陳新;FLASH控制器IP的功能驗證研究[D];西安電子科技大學(xué);2010年

4 邱浩鑫;非易失性存儲器IP的功能研究與設(shè)計[D];電子科技大學(xué);2010年

5 古天野;基于效用函數(shù)的移動IP切換策略沖突消解機制的研究[D];吉林大學(xué);2010年

6 周翔;利用網(wǎng)絡(luò)偵測技術(shù)實現(xiàn)IP網(wǎng)絡(luò)規(guī)劃[D];復(fù)旦大學(xué);2010年

7 沈文光;廣東移動2G網(wǎng)絡(luò)軟交換設(shè)備IP化改造探討[D];北京郵電大學(xué);2010年

8 王蕊;電信運營商呼叫中心IP化改造研究[D];北京郵電大學(xué);2010年

9 李祺;昆明電信IP綜合承載網(wǎng)網(wǎng)絡(luò)結(jié)構(gòu)分析與設(shè)計[D];北京郵電大學(xué);2010年

10 許一;IP網(wǎng)絡(luò)質(zhì)量評估系統(tǒng)的數(shù)據(jù)采集及分析方法研究[D];北京郵電大學(xué);2010年

本文編號：2030548