基于ahb接口的usb2.0otgip核驗證

1、 分類號 密級 UDC 注 1 學(xué) 位 論 文 基于 基于 基于 基于 AHB 接口 接口 接口 接口的 的 的 的 USB2.0 OTG IP 核 核 核 核驗證 驗證 驗證 驗證 （題名和副題名） 王葉南 王葉南 王葉南 王葉南 指導(dǎo)教師姓名

2、 李曉峰 李曉峰 李曉峰 李曉峰 教授 教授 教授 教授 電子科技大學(xué) 電子科技大學(xué) 電子科技大學(xué) 電子科技大學(xué) 成都 成都 成都 成都 申請學(xué)位級別 碩士 碩士 碩士 碩士 專業(yè)名稱 通信與信息系統(tǒng) 通信與信息系統(tǒng) 通信與信息系統(tǒng) 通信與信息系統(tǒng) 論文提交日期 2010.4 論文答辯日期 2010.5 學(xué)

3、位授予單位和日期 電子科技大學(xué) 電子科技大學(xué) 電子科技大學(xué) 電子科技大學(xué) 答辯委員會主席 評閱人 2010 年 月 日 注 1：注明《國際十進(jìn)分類法 UDC》的類號 摘 要 I 摘 要 集成電路制造技術(shù)的發(fā)展把集成電路的設(shè)計帶入了片上系統(tǒng)（S

4、OC）時代。IP核的設(shè)計成為片上系統(tǒng)開發(fā)的重要部分。 基于 AHB 接口的 USB2.0 OTG IP 核的設(shè)計，能夠?qū)崿F(xiàn) USB 設(shè)備主從角色的切換。隨著 IP 設(shè)計復(fù)雜度的不斷提高，功能驗證的復(fù)雜度也越來越高，IP 設(shè)計的驗證與芯片設(shè)計成功與否有著密切的聯(lián)系。如何根據(jù)不同的 IP 設(shè)計，選擇合適的驗證方法，進(jìn)行高效率的驗證是一個很有價值的研究課題。 論文主要研究了 USB2.0 OTG IP 核設(shè)計的驗證。根據(jù) USB2.0 OTG

5、 IP 核的設(shè)計規(guī)格，提取詳細(xì)的驗證功能點，制定驗證計劃；搭建驗證平臺，將 Synopsys 的驗證 IP 嵌入到驗證平臺中，對其進(jìn)行配置后，可調(diào)用它的各種包級命令構(gòu)成不同的事務(wù)；驗證環(huán)境是平臺中除了待測模塊（DUT）的部分，根據(jù) IP 核的設(shè)計，驗證環(huán)境分為 ULPI 側(cè)和 AHB 側(cè)，這兩個環(huán)境相互獨立；驗證用例提取的粗細(xì)度要適合，既能覆蓋到所有功能點及錯誤邊界等情況，又不能過于細(xì)致增大工作量或過于稀疏遺漏掉某些功能點，根據(jù) IP

6、核可以充當(dāng)設(shè)備、主機(jī)和 OTG 的角色，分別提取驗證用例。由于驗證工作的文件很多，所以建立了驗證文件結(jié)構(gòu)圖以示驗證文件的存放，便于管理和查詢。 通過在驗證環(huán)境中嵌入驗證 IP，縮短了驗證環(huán)境的搭建時間。由于 USB 的傳輸是基于信息包的，各種 USB 事務(wù)處理是由特定格式的信息包組成，文中采用了事務(wù)級驗證方法對 USB2.0 OTG IP 核進(jìn)行了完備的驗證。最后在 FPGA 環(huán)境下進(jìn)行測試，IP 核達(dá)到了設(shè)計要求的各種傳輸規(guī)范。在驗證