發(fā)布時間：2017-04-14 06:05

  本文關(guān)鍵詞：基于UVM的UART驗證環(huán)境開發(fā)，由筆耕文化傳播整理發(fā)布。

【摘要】：隨著集成電路已經(jīng)進入后摩爾時代,電路的復雜性日益提高,因此驗證工作的難度也越來越高,隨著驗證要求的提高,在實際生產(chǎn)中,傳統(tǒng)的直接驗證已經(jīng)越來越難以滿足設(shè)計的需求。為了使產(chǎn)品更加具有競爭力,在激烈的市場競爭中獲取有利地位,在確保功能正確的前提下,提高代碼復用率,縮短驗證周期成了各個公司縮短產(chǎn)品上市周期的重要方法。為此,就需要采用更有效的驗證方法,使得驗證工作更加有效。在市場的驅(qū)動下,驗證工作日益成熟,漸漸獨成一體�；赟ystem Verilog的UVM驗證具有很高的抽象性,可以通過產(chǎn)生受約束的隨機激勵來提高代碼覆蓋率,使得驗證效率大大提高。此外,由于UVM各個模塊功能劃分明確,使得各個模塊具有一定的獨立性,這樣可以很好的提高代碼復用率,從而在長遠上,大大縮短后期新開發(fā)的產(chǎn)品上市周期。由于以上各項優(yōu)點,基于System Verilog的UVM驗證已經(jīng)成為多家IC公司驗證的主流,并且還在不斷發(fā)展。本文的驗證對象是在華虹集成電路有限責任公司實習時所參加的TPCM項目中的一款MCU中的由公司設(shè)計人員自主設(shè)計的UART(通用異步收發(fā)傳輸器)模塊。此款UART是在通用UART的基本功能上加以增強而來的,相對于通用UART,多了多機通訊以及錯誤位檢測功能,并且多了模式0,在數(shù)據(jù)幀結(jié)構(gòu)上有所不同。通過對UVM驗證平臺的基本組成,常用的標準庫進行學習研究,并對各個組成模塊的功能以及各個模塊間的聯(lián)系進行分析研究,利用UVM驗證方法學,搭建適合UART驗證的環(huán)境,并且為后期系統(tǒng)級驗證做準備,在搭建驗證平臺時采用AMBA2.0總線架構(gòu),雖然這會增加驗證平臺的搭建難度,但是提高了代碼復用率,是本文的重點。通過對UART功能進行研究分析,分析UART的工作特點,利用UVM驗證方法學的特點,由Sequence模塊產(chǎn)生相應(yīng)的受約束的隨機激勵,通過Monitor模塊監(jiān)視需要驗證的UART模塊的輸出,并且由Scoreboard模塊進行結(jié)果自動比較。在驗證平臺搭建完成后,為了排除由于驗證環(huán)境的問題而導致的結(jié)果不正確,需要對驗證平臺進行調(diào)試。在這之后,加入待驗證的UART。為了確保驗證結(jié)果的正確性,對于最后的輸出波形,選取具有代表性的波形進行分析。在企業(yè)導師的帶領(lǐng)下,使得驗證方案有計劃變?yōu)楝F(xiàn)實,功能覆蓋率達到100%,課題順利完成。
【關(guān)鍵詞】：System Verilog UVM驗證方法學 UART AMBA2.0 覆蓋率
【學位授予單位】：西安電子科技大學
【學位級別】：碩士
【學位授予年份】：2016
【分類號】：TN407
【目錄】：

• 摘要5-6
• ABSTRACT6-10
• 縮略語對照表10-13
• 第一章 緒論13-17
• 1.1 課題背景13
• 1.2 國內(nèi)外研究現(xiàn)狀13-15
• 1.3 課題的內(nèi)容及意義15
• 1.4 本論文的結(jié)構(gòu)簡介15-17
• 第二章 UVM驗證方法學基礎(chǔ)17-27
• 2.1 UVM驗證平臺17-21
• 2.1.1 UVM驗證平臺的組成17-19
• 2.1.2 UVM驗證平臺的接口19-20
• 2.1.3 UVM驗證平臺的類的標準庫20-21
• 2.2 UVM驗證的機制研究21-25
• 2.2.1 field_automation機制研究21-22
• 2.2.2 factory機制研究22
• 2.2.3 Sequence機制研究22-24
• 2.2.4 report機制研究24-25
• 2.3 UVM驗證與System Verilog驗證25-26
• 2.4 本章小結(jié)26-27
• 第三章 UART工作環(huán)境簡介27-33
• 3.1 UART簡介27-30
• 3.1.1 基本工作狀態(tài)分析27-29
• 3.1.2 多機通信模式分析29-30
• 3.2 驗證環(huán)境規(guī)劃30-31
• 3.3 本章小結(jié)31-33
• 第四章 UART的UVM驗證技術(shù)研究33-67
• 4.1 UART驗證平臺架構(gòu)33-35
• 4.1.2 UVM驗證平臺執(zhí)行流程34
• 4.1.3 數(shù)據(jù)流向描述34-35
• 4.2 各模塊功能介紹35-57
• 4.2.1 總線行為功能模塊35
• 4.2.2 事物數(shù)據(jù)包35-37
• 4.2.3 Sequence模塊功能分析37-41
• 4.2.4 Agent_In模塊功能分析41-50
• 4.2.5 Agent_Out模塊功能分析50
• 4.2.6 Scoreboard模塊功能分析50-51
• 4.2.7 Register Model模塊功能分析51-53
• 4.2.8 test case模塊功能分析53-54
• 4.2.9 env模塊功能分析54-56
• 4.2.10 top模塊功能分析56-57
• 4.3 驗證工具介紹57-58
• 4.4 驗證環(huán)境簡介58-59
• 4.5 驗證過程59-60
• 4.6 驗證結(jié)果60-64
• 4.7 覆蓋率分析64-65
• 4.8 本章小結(jié)65-67
• 第五章 總結(jié)與展望67-69
• 參考文獻69-71
• 致謝71-73
• 作者簡介73-74

【相似文獻】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

本文編號：305339