本文關(guān)鍵詞：基于UVM的CPU卡芯片驗證平臺，，由筆耕文化傳播整理發(fā)布。

【摘要】：介紹了一種基于UVM(Universal Verification Methodology)驗證方法學(xué)的驗證平臺.該驗證平臺是針對基于自主知識產(chǎn)權(quán)的國產(chǎn)MCU C0的CPU卡芯片的功能驗證需求所搭建的.該驗證平臺采用面向?qū)ο蟮膶哟位慕７椒?完成了符合ISO14443協(xié)議的驗證事務(wù),通用功能驗證組件以及設(shè)計參考模型的建模;能實時監(jiān)測設(shè)計中信號的變化,能實現(xiàn)在驗證過程中驗證結(jié)果的自動對比,能根據(jù)覆蓋率調(diào)整驗證的進(jìn)程.驗證結(jié)果表明,該驗證平臺具有復(fù)用性,提升了芯片驗證的效率和可靠性.
【作者單位】： 南通大學(xué)江蘇省專用集成電路設(shè)計重點實驗室;
【關(guān)鍵詞】： UVM驗證方法學(xué) CPU卡芯片 System verilog 功能驗證
【基金】：江蘇省物聯(lián)網(wǎng)和新一代信息技術(shù)研發(fā)及產(chǎn)業(yè)化項目(su2013-137) 江蘇省高校自然科學(xué)研究重大項目(13kj510005) 南通大學(xué)研究生科技計劃項目(yk1402)
【分類號】：TP332
【正文快照】： 1引言隨著大規(guī)模集成電路技術(shù)的不斷發(fā)展,數(shù)字集成電路的規(guī)模不斷增大,功能不斷增強(qiáng),這給驗證完備性帶來了更大的挑戰(zhàn).同時隨著市場競爭的日益激烈,芯片從研發(fā)到上市的周期不斷縮短,這對于驗證的效率又提出了更高的要求[1-2].驗證技術(shù)一直在發(fā)展,從早前的e語言、verilog語言到

【參考文獻(xiàn)】

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

1 談笑;王小力;;一種基于UVM的模塊級可重用隨機(jī)化驗證平臺構(gòu)建方法[J];微電子學(xué)與計算機(jī);2015年03期

2 徐金甫;李森森;;采用UVM方法學(xué)實現(xiàn)驗證的可重用與自動化[J];微電子學(xué)與計算機(jī);2014年11期

3 林柏良;易凡;黃啟俊;常勝;;基于VMM的SATA控制器功能驗證[J];武漢大學(xué)學(xué)報(理學(xué)版);2013年03期

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前1條

1 董亞男;基于VMM的雙界面卡非接觸通信接口的驗證[D];西安電子科技大學(xué);2012年

【共引文獻(xiàn)】

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

1 錢一文;景為平;蔣斌;;基于UVM的CPU卡芯片驗證平臺[J];微電子學(xué)與計算機(jī);2016年06期

2 周懿;劉航天;戴紫彬;張立朝;;一種可配置與可擴(kuò)展的USB3.0驗證知識產(chǎn)權(quán)協(xié)議棧設(shè)計[J];計算機(jī)工程;2016年05期

3 牛文升;王瑞剛;張磊;馬曉娜;;基于uvm驗證方法學(xué)的盲均衡器驗證[J];無線互聯(lián)科技;2016年04期

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前3條

1 李鵬飛;非接觸式智能卡數(shù)字電路的研究與實現(xiàn)[D];北京工業(yè)大學(xué);2015年

2 黃萍芳;基于VMM的智能卡系統(tǒng)級驗證[D];西安電子科技大學(xué);2014年

3 吳旭文;兼容MIFARE1功能的CPU卡芯片設(shè)計與實現(xiàn)[D];北京工業(yè)大學(xué);2014年

【二級參考文獻(xiàn)】

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

1 謝崢;王騰;雍珊珊;陳旭;蘇吉婷;王新安;;一種基于UVM面向RISCCPU的可重用功能驗證平臺[J];北京大學(xué)學(xué)報(自然科學(xué)版);2014年02期

2 XIE Zheng;WANG XinAn;LIAN ZhiBin;LUO YongGui;HU ZiYi;;A novel intelligent verification platform based on a structured analysis model[J];Science China(Information Sciences);2013年06期

3 王世中;田澤;吳曉成;張榮華;王治;王純委;;基于UVM實現(xiàn)時間同步電路的功能驗證[J];計算機(jī)技術(shù)與發(fā)展;2013年07期

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

5 田勁;王小力;;基于UVM驗證方法學(xué)的AES模塊級驗證[J];微電子學(xué)與計算機(jī);2012年08期

6 朱車壯;陳嵐;馮燕;;基于覆蓋率驅(qū)動的SoC驗證技術(shù)研究[J];微電子學(xué)與計算機(jī);2011年11期

7 肖庚亮;;基于VMM的SOC可重用驗證平臺設(shè)計[J];科學(xué)技術(shù)與工程;2010年05期

8 呂欣欣;劉淑芬;;基于SynoTPys VMM方法的FPGA驗證技術(shù)[J];計算機(jī)應(yīng)用;2009年09期

9 閆沫;張媛;;基于SystemVerilog語言的設(shè)計驗證技術(shù)[J];現(xiàn)代電子技術(shù);2008年06期

10 賀珊;張多利;何偉;;基于Open Vera的IIC總線接口功能驗證平臺的搭建[J];合肥工業(yè)大學(xué)學(xué)報(自然科學(xué)版);2007年03期

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前3條

1 林玉新;基于VMM RAL的寄存器驗證方法的研究[D];西安電子科技大學(xué);2011年

2 胡新林;基于VMM的緩存管理模塊的驗證[D];西安電子科技大學(xué);2010年

3 歐明雙;面向DSP芯片統(tǒng)一驗證平臺的研究與實現(xiàn)[D];合肥工業(yè)大學(xué);2009年

【相似文獻(xiàn)】

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

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

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

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

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

5 張健;黃蓓;王玉艷;;交換控制電路功能驗證平臺設(shè)計[J];計算機(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);占楊林;梁利平;;以覆蓋率為導(dǎo)向的自動化驗證平臺[J];電子測試;2013年05期

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

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

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

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

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

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

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

本文編號：476778