基于UVM的功能覆蓋率驅(qū)動SDIO IP驗證
本文選題:SDIO + UVM。 參考:《微電子學》2017年03期
【摘要】:在研究SDIO接口協(xié)議的基礎(chǔ)上,采用以功能覆蓋率驅(qū)動的驗證方法和UVM驗證方法學,構(gòu)建了一個完整的SDIO IP驗證平臺。在自測試仿真實驗中,通過各種測試用例,最終實現(xiàn)了功能覆蓋率的收斂。仿真結(jié)果表明,該平臺可以用于驗證復雜的SDIO接口協(xié)議,且具有可復用性,可用于SoC系統(tǒng)的驗證,縮短驗證流程。
[Abstract]:Based on the research of SDIO interface protocol, a complete SDIO IP verification platform is constructed by using the function coverage driven verification method and the UVM verification methodology. In the self-test simulation experiment, the convergence of function coverage is realized through various test cases. The simulation results show that the platform can be used to verify the complex SDIO interface protocol, and can be reused to verify the SoC system and shorten the verification process.
【作者單位】: 合肥工業(yè)大學微電子設計研究所;
【基金】:國家自然科學基金資助項目(61204024)
【分類號】:TN40
【參考文獻】
相關(guān)期刊論文 前1條
1 褚曉濱;陸鐵軍;宗宇;;結(jié)合斷言與覆蓋率為導向的驗證方法[J];微電子學與計算機;2008年11期
【共引文獻】
相關(guān)期刊論文 前10條
1 倪偉;王笑天;;基于UVM的功能覆蓋率驅(qū)動SDIO IP驗證[J];微電子學;2017年03期
2 薛利強;于真;;基于總線功能模型的全系統(tǒng)FPGA驗證環(huán)境設計[J];航空發(fā)動機;2017年01期
3 李森森;張立朝;徐金甫;;一種基于斷言的高效驗證實現(xiàn)方法[J];微電子學與計算機;2014年04期
4 楊鵬飛;付修峰;;多重覆蓋率導向結(jié)合斷言的FPGA驗證方法研究及應用[J];計算機與現(xiàn)代化;2013年05期
5 王紅衛(wèi);占楊林;梁利平;;以覆蓋率為導向的自動化驗證平臺[J];電子測試;2013年05期
6 李智廣;章建雄;王玉艷;;基于覆蓋率的微處理器運算單元驗證技術(shù)[J];計算機工程;2012年13期
7 朱車壯;陳嵐;馮燕;;基于覆蓋率驅(qū)動的SoC驗證技術(shù)研究[J];微電子學與計算機;2011年11期
8 劉芳;謝崢;連志斌;王新安;;一種可重構(gòu)的通用總線接口驗證平臺的研究及實現(xiàn)[J];電子器件;2011年03期
9 姚愛紅;吳劍;張智鈞;;功能覆蓋率驅(qū)動的TAU/MVBC模塊驗證[J];計算機應用研究;2011年04期
10 李洋洋;吳武臣;王龍偉;王寧;侯立剛;;基于斷言的驗證方法在UART模塊中的應用研究[J];微電子學與計算機;2010年01期
【二級參考文獻】
相關(guān)期刊論文 前4條
1 王趙君;沈海華;;龍芯2號配套PCI Bridge的功能覆蓋率驗證[J];計算機工程;2006年11期
2 張蓓莉;;微處理器基于功能覆蓋率的偽隨機驗證方法[J];計算機與信息技術(shù);2006年04期
3 黃衛(wèi)華,朱向東,沈緒榜;一種高速USB設備控制器IP核的設計與實現(xiàn)[J];微電子學與計算機;2005年05期
4 杜慧敏,曾澤滄,韓俊剛,沈緒榜;構(gòu)造特定應用領(lǐng)域芯片驗證環(huán)境的方法討論[J];微電子學與計算機;2004年06期
【相似文獻】
相關(guān)期刊論文 前2條
1 張建軍;包國鋒;馬一兵;;基于SDIO接口的通用RFID讀寫器的開發(fā)[J];現(xiàn)代電子技術(shù);2009年01期
2 ;[J];;年期
,本文編號:1867313
本文鏈接:http://www.sikaile.net/kejilunwen/dianzigongchenglunwen/1867313.html