本文關鍵詞：基于UVM的MHL-to-HDMI Dongle音頻模塊的驗證

  更多相關文章： UVM驗證方法學 HDMI接口規(guī)范 AUDIO模塊 模塊級驗證平臺

【摘要】：集成電路技術發(fā)展至今,在單個芯片中已經(jīng)集成了幾十億個微電子元器件。在這種大環(huán)境下,如何才能保證設計的正確性和一致性,如何才能為設計團隊提供最方便的驗證手段,這是驗證工程師所面臨的一個嚴峻考驗,也是現(xiàn)代芯片能否設計成功的關鍵所在。越來越多的人員投入到驗證工作,促使了UVM(Universal Verification Methodology,通用驗證方法學)驗證方法學的產(chǎn)生。本文對UVM的驗證架構以及其主要的UVC(Universal Verification Component,通用驗證組件)的分類、結構和功能進行了詳盡的研究。本文中的待測設計為基于HDMI(High Definition Multimedia Interface,高清晰度多媒體接口)接口規(guī)范的MHL-to-HDMI Dongle芯片中的AUDIO(音頻)功能模塊。如何利用UVM的思想,并使用System Verilog驗證語言,搭建出AUDIO模塊的可復用模塊級驗證環(huán)境,是論文的核心工作。本文對AUDIO模塊的功能、外圍結構及其遵守的HDMI接口規(guī)范進行了分析,并分解出測試點。根據(jù)UVM思想,本文制定了AUDIO模塊驗證平臺的實現(xiàn)策略,并完成了各驗證組件的搭建工作。測試用例的開發(fā),序列庫的建立,功能強大的驅動器的實現(xiàn)以及輸入輸出數(shù)據(jù)的對比機制是論文的重中之重。在仿真過程中,本文分析了具有代表性測試用例的仿真結果,最終確定AUDIO模塊的功能正確無誤。并對代碼覆蓋率和功能覆蓋率進行了分析,前者總評分達到96%,后者達到100%,已滿足項目要求。本驗證平臺可復用到子系統(tǒng)和系統(tǒng)級驗證平臺,并且用較少的測試用例和較短的時間完成了驗證任務。
【關鍵詞】：UVM驗證方法學 HDMI接口規(guī)范 AUDIO模塊 模塊級驗證平臺
【學位授予單位】：西安電子科技大學
【學位級別】：碩士
【學位授予年份】：2016
【分類號】：TN407
【目錄】：

• 摘要5-6
• ABSTRACT6-10
• 符號對照表10-11
• 縮略語對照表11-15
• 第一章 緒論15-19
• 1.1 選題背景和意義15
• 1.2 課題來源15-17
• 1.3 內容編排17-19
• 第二章 HDMI技術規(guī)范19-31
• 2.1 HDMI系統(tǒng)連接結構19-20
• 2.2 HDMI接口規(guī)范中信號傳輸周期20-25
• 2.2.1 控制周期21-22
• 2.2.2 有效視頻周期22
• 2.2.3 數(shù)據(jù)島周期22-25
• 2.3 數(shù)據(jù)包結構定義及其類型25-27
• 2.4 音頻時鐘再生27-30
• 2.5 本章小結30-31
• 第三章 UVM驗證方法學31-43
• 3.1 UVM驗證方法學概述31
• 3.2 UVM驗證驗證平臺組件31-35
• 3.2.1 UVM驗證環(huán)境樹形結構32-33
• 3.2.2 Driver（驅動器）33-34
• 3.2.3 Sequencer（序列器）34
• 3.2.4 Monitor（監(jiān)視器）34
• 3.2.5 Agent（代理器）34
• 3.2.6 Reference model（參考模型）34-35
• 3.2.7 Scoreboard（計分板）35
• 3.3 UVM驗證環(huán)境運行機制35-42
• 3.3.1 UVM sequence機制35-37
• 3.3.2 UVM phase機制37-39
• 3.3.3 UVM config_db機制39-40
• 3.3.4 UVM factory機制40
• 3.3.5 UVM register model機制40-42
• 3.4 本章小結42-43
• 第四章 MHL-to-HDMI Dongle芯片音頻模塊驗證平臺實現(xiàn)43-81
• 4.1 AUDIO模塊功能及外圍環(huán)境分析43-45
• 4.2 功能測試點提取45-46
• 4.3 AUDIO模塊模塊級UVM驗證平臺總體結構46-48
• 4.4 audio_tx_uvc48-59
• 4.4.1 audio_transaction48-50
• 4.4.2 audio_tx_config50-53
• 4.4.3 audio_tx_sequence_lib53-54
• 4.4.4 audio_tx_uvc.driver54-58
• 4.4.5 audio_tx_uvc.monitor58-59
• 4.5 mcu_uvc59-65
• 4.5.1 mcu_transaction與mcu_if60
• 4.5.2 mcu_config60-61
• 4.5.3 audio_reg_sequence_lib61-62
• 4.5.4 mcu_uvc.driver62-63
• 4.5.5 mcu_uvc.monitor63-65
• 4.6 audio_rx_uvc65-73
• 4.6.1 spdif_i2s_transaction和audio_rx_if65
• 4.6.2 SPDIF音頻格式和I2S音頻格式65-67
• 4.6.3 audio_rx_config67
• 4.6.4 audio_rx_uvc.monitor67-73
• 4.7 module_uvc73-78
• 4.7.1 寄存器模型及其相關組件74
• 4.7.2 virtual_sequencer與audio_reg_sequencer74-75
• 4.7.3 audio_virtual_sequence_lib75-76
• 4.7.4 module_uvc.scoreboard76-78
• 4.8 驗證舉例78-79
• 4.9 本章小結79-81
• 第五章 基于UVM驗證方法學的音頻模塊驗證結果與分析81-97
• 5.1 驗證環(huán)境的目錄結構81-82
• 5.2 測試用例82-89
• 5.2.1 基本測試用例82-87
• 5.2.2 特殊測試用例87-89
• 5.3 代碼覆蓋率結果與分析89-93
• 5.4 功能覆蓋率結果與分析93-95
• 5.5 本章小結95-97
• 第六章 總結與展望97-99
• 6.1 總結97
• 6.2 展望97-99
• 參考文獻99-101
• 致謝101-103
• 作者簡介103-104

【相似文獻】

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

1 屈玉峰;郭亮;馮根寶;;搭建基于E語言參考模型的驗證平臺[J];中國集成電路;2005年09期

2 詹文法,馬俊,張溯,許修兵;一種可重用的驗證平臺結構[J];微機發(fā)展;2005年03期

3 詹文法;李麗;程作仁;張溯;;一種基于總線的可重用驗證平臺研究[J];電子技術應用;2006年05期

4 期彤;;新思科技設計系統(tǒng)、驗證平臺雙線出擊[J];電子設計應用;2009年05期

5 張健;黃蓓;王玉艷;;交換控制電路功能驗證平臺設計[J];計算機工程;2006年16期

6 萬超;申敏;張亞楠;;通道在層次化驗證平臺中的應用[J];電子測試;2007年05期

7 袁艷;申敏;;覆蓋率技術的提高在RVM層次化驗證方法中的應用[J];電子測試;2008年01期

8 宋秀蘭;吳曉波;;高性能驗證平臺設計與搭建[J];電子器件;2008年06期

9 劉芳;謝崢;連志斌;王新安;;一種可重構的通用總線接口驗證平臺的研究及實現(xiàn)[J];電子器件;2011年03期

10 王紅衛(wèi);占楊林;梁利平;;以覆蓋率為導向的自動化驗證平臺[J];電子測試;2013年05期

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

1 王立勝;王秉臣;朱波;朱智超;賴安學;;基于大型飛行器的信息系統(tǒng)仿真驗證平臺設計[A];中國宇航學會深空探測技術專業(yè)委員會第十屆學術年會論文集[C];2013年

2 華靜;;虛擬化技術構建金融云業(yè)務驗證平臺[A];2013年中國通信學會信息通信網(wǎng)絡技術委員會年會論文集[C];2013年

3 徐文進;田澤;;基于AFDX-ES SOC驗證平臺的向量中斷控制器驗證研究[A];第十六屆計算機工程與工藝年會暨第二屆微處理器技術論壇論文集[C];2012年

4 淮治華;田澤;趙強;韓煒;;基于DSP的SoC FPGA原型驗證平臺的構建與應用[A];第十五屆計算機工程與工藝年會暨第一屆微處理器技術論壇論文集（A輯）[C];2011年

5 陳小龍;荊濤;;如何在FPGA或ASIC設計中用TCL為HDL模型搭建自動驗證平臺[A];全國第一屆嵌入式技術聯(lián)合學術會議論文集[C];2006年

6 iJ淑媚;灻斐章;周佩廷;R壭憔，

本文編號：1122515