發(fā)布時間：2018-01-10 22:01

  本文關鍵詞：基于UVM的電流監(jiān)控驗證平臺設計與實現(xiàn)　出處：《西安電子科技大學》2015年碩士論文　論文類型：學位論文

  更多相關文章： UVM驗證方法學 事務級建模 自我檢測機制 覆蓋率驅(qū)動 可重用性

【摘要】：隨著集成電路設計規(guī)模與功能復雜度不斷提高,造成驗證工作復雜度大幅度提升,驗證周期延長到整個芯片開發(fā)周期70%的時間,導致驗證工作成為集成電路設計的主要瓶頸。因此如何提高驗證效率,從而減少驗證耗時縮短產(chǎn)品設計周期成為目前數(shù)字IC芯片設計最棘手的問題。而抽象層次高、可重用性強、自動化檢測程度高的驗證系統(tǒng)創(chuàng)建將成為提高驗證效率的重要途徑。本文通過與傳統(tǒng)驗證技術進行對比得出層次化驗證方法的優(yōu)勢所在,并在此基礎上詳細對多種新型層次化驗證方法進行利弊分析,引出集所有驗證方法學優(yōu)點于一體的UVM驗證方法學�；谑聞占壗�、基于覆蓋率驅(qū)動以及基于自我檢測機制的特點造就UVM驗證方法學能夠?qū)崿F(xiàn)覆蓋率高、靈活性強、驗證過程自動化程度高、效率高以及可重用性強的驗證平臺。本文對UVM驗證環(huán)境組件UVC、類庫繼承關系、UVM運行機制以及UVM中優(yōu)秀的通訊機制進行深入分析研究,另外還依據(jù)待測設計對象電流監(jiān)控系統(tǒng)的功能特性以及設計結(jié)構實現(xiàn)進行驗證需求分析,制定驗證策略,以UVM驗證方法學為指導搭建了基于UVM的驗證平臺。并采用了基于事務級建模、基于自我檢測機制與基于覆蓋率驅(qū)動等方法相結(jié)合的驗證手段在制定好的驗證情景下對電流監(jiān)控系統(tǒng)進行詳細驗證,最終對驗證仿真結(jié)果與覆蓋率進行分析總結(jié)。經(jīng)實踐證明,本文以UVM驗證方法學為指導搭建的驗證平臺,在電流監(jiān)控系統(tǒng)的驗證過程中,能夠自動化進行數(shù)據(jù)比較檢測,及時定位與報告錯誤信息,并且以基于覆蓋率驅(qū)動的方法滿足了驗證的覆蓋率要求,驗證效率大幅度提升,同時,該平臺可重用性強的特點使得其在不同的項目中可進行復用。
[Abstract]:As the development of integrated circuit design and function of increased complexity, resulting in verification complexity is greatly improved, verification period is extended to the entire chip development cycle of 70% of the time, resulting in validation work has become a major bottleneck of IC design. So how to improve the verification efficiency, so as to reduce the verification time shorten the cycle of product design has become one of the most difficult digital IC chip design. And the high abstract level, strong reusability, high degree of automation testing verification system creation will become an important way to improve the efficiency of verification. By comparing with the traditional verification technology for comparing the hierarchical verification method advantage, and on the basis of detailed on a variety of new hierarchical verification methods advantages and disadvantages analysis leads to UVM verification method all the verification methodology combines the advantages of learning. Transaction level modeling based on flooding based on coverage The dynamic characteristics and self detection mechanism based on creating UVM verification methodology to achieve high coverage, high flexibility, high degree of automation verification process verification platform, high efficiency and strong reusability. The UVM verification environment for UVC component library of inheritance, in-depth analysis of communication mechanism of excellent UVM mechanism and UVM in addition, according to design object current monitoring system to be tested the function characteristics and structure design verification requirements analysis, formulate verification strategies, UVM verification methodology as a guide to build a verification platform based on UVM. And the transaction level modeling based on self detection mechanism based on coverage driven and method based on the combination of the verification methods detailed verification of the current monitoring system in the validation scenario, the final verification of the simulation results and the coverage rate were analyzed. Proved by practice, based on the UVM verification methodology as a guide to build the verification platform, verification process in current monitoring system, automation data detection, positioning and timely report the error, and the method of coverage driven verification based on meet the coverage requirements, verification efficiency is greatly improved, at the same time. The platform of reusable features that make them can be reused in different projects.

【學位授予單位】：西安電子科技大學
【學位級別】：碩士
【學位授予年份】：2015
【分類號】：TN402

【相似文獻】

相關期刊論文 前10條

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

2 詹文法,馬俊,張溯,許修兵;一種可重用的驗證平臺結(jié)構[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期

相關會議論文 前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壭憔，

本文編號：1406936