本文選題：功能驗證　切入點：斷言　出處：《小型微型計算機系統(tǒng)》2014年03期

【摘要】：近年來,SoC設(shè)計規(guī)模和復(fù)雜度的不斷提升使得基于IP核的設(shè)計和驗證技術(shù)成為研究的熱點.基于斷言的功能驗證具有代碼簡潔、可以快速定位設(shè)計缺陷以及易于與設(shè)計綁定等優(yōu)點,在IP核功能驗證中受到了廣泛的關(guān)注.本文研究基于斷言的Compact PCI總線控制器核的功能驗證問題,提出一種基于斷言的監(jiān)視器組件設(shè)計方法,將Compact PCI核接口信號時序的斷言、覆蓋率統(tǒng)計的斷言封裝為監(jiān)視器組件,以提高驗證環(huán)境的開發(fā)效率和可復(fù)用性.實際應(yīng)用表明,本方法在加快驗證過程收斂速度的同時,隨IP核一起發(fā)布的驗證組件提高了驗證環(huán)境的可復(fù)用性.
[Abstract]:In recent years, with the increasing scale and complexity of SoC design, the design and verification technology based on IP core has become a hot topic.The function verification based on assertion has the advantages of simple code, fast locating design defects and easy binding with design, and has attracted wide attention in the IP core function verification.In this paper, the function verification of Compact PCI bus controller kernel based on assertion is studied, and a monitor component design method based on assertion is proposed. The assertion of Compact PCI core interface signal timing and the assertion of coverage statistics are encapsulated as monitor components.In order to improve the development efficiency and reusability of the verification environment.The practical application shows that this method not only accelerates the convergence speed of the verification process, but also improves the reusability of the verification environment by publishing the verification components along with the IP core.
【作者單位】： 哈爾濱工程大學(xué)計算機科學(xué)與技術(shù)學(xué)院;北京計算機技術(shù)及應(yīng)用研究所;中國科學(xué)院電子學(xué)研究所;
【基金】：黑龍江省自然科學(xué)基金項目(F201111)資助 中央高校基本科研業(yè)務(wù)費專項(HEUCF100606)資助
【分類號】：TP336

【參考文獻】

相關(guān)期刊論文 前1條

1 肖立伊;;國內(nèi)集成電路IP核標(biāo)準(zhǔn)進展與展望[J];中國集成電路;2007年02期

【共引文獻】

相關(guān)期刊論文 前1條

1 王家蕊;陳嵐;呂志強;龔敏;;電流檢測功能電路的設(shè)計實現(xiàn)[J];電子與封裝;2014年01期

相關(guān)博士學(xué)位論文 前1條

1 臧佳;基于MPSoC的空間光學(xué)CCD遙感相機控制系統(tǒng)研究[D];中國科學(xué)院研究生院（長春光學(xué)精密機械與物理研究所）;2012年

相關(guān)碩士學(xué)位論文 前6條

1 王宏濱;AMBA/Wishbone總線橋IP核的設(shè)計[D];哈爾濱理工大學(xué);2010年

2 蘇學(xué)穎;基于8051單片機IP軟核的優(yōu)化設(shè)計及應(yīng)用研究[D];西華大學(xué);2007年

3 王強;半導(dǎo)體公司競爭力模式研究與案例[D];西南交通大學(xué);2008年

4 劉衛(wèi)華;16位數(shù)字信號處理器IP核的開發(fā)[D];哈爾濱工業(yè)大學(xué);2007年

5 張繼;基于FPGA的語音交換方案的設(shè)計與實現(xiàn)[D];華中科技大學(xué);2008年

6 戚明珠;基于FPGA的IEEE1588 IP核開發(fā)[D];山東大學(xué);2012年

【相似文獻】

相關(guān)期刊論文 前10條

1 殷蘇民;楊仁宇;;基于Avalon總線的插補器IP核的設(shè)計[J];機械設(shè)計與制造;2009年08期

2 袁江南,邢建力;一種與PIC單片機兼容的RISCIP核的設(shè)計與FPGA實現(xiàn)[J];電子與封裝;2004年05期

3 阮利華,王祥,黃全平,周榮政,洪志良,蔣鳳仙;USB2.0接口IP核的開發(fā)與設(shè)計[J];復(fù)旦學(xué)報(自然科學(xué)版);2005年01期

4 梁合慶;SoC面世八年后的產(chǎn)業(yè)機遇[J];單片機與嵌入式系統(tǒng)應(yīng)用;2005年03期

5 陳昊;孫志剛;盧澤新;;DDR SDRAM控制器的設(shè)計與實現(xiàn)[J];微計算機應(yīng)用;2007年02期

6 張昆,邱揚,劉浩;基于CPLD的系統(tǒng)中I~2C總線的設(shè)計[J];電子技術(shù)應(yīng)用;2003年11期

7 胡小龍;楊蕊;;SOC片上總線綜述[J];福建電腦;2008年02期

8 王茹;魏建磊;;一種同步串口的設(shè)計與實現(xiàn)[J];計算機技術(shù)與發(fā)展;2008年02期

9 于敦山;“中國芯”應(yīng)從嵌入式微處理器IP核開始[J];世界電子元器件;2002年01期

10 胡國兵;嵌入式系統(tǒng)綜述[J];南通職業(yè)大學(xué)學(xué)報;2004年04期

相關(guān)會議論文 前10條

1 劉濤;柴雙勇;藺建邦;弓睿;安學(xué)軍;;HPP控制器的系統(tǒng)級功能驗證[A];第十五屆計算機工程與工藝年會暨第一屆微處理器技術(shù)論壇論文集（A輯）[C];2011年

2 尹林子;李廣軍;;基于VHDL的8051IP核設(shè)計[A];中國通信集成電路技術(shù)與應(yīng)用研討會論文集[C];2004年

3 喬瑞紅;;EDA技術(shù)可實現(xiàn)片上可編系統(tǒng)[A];AECC專題學(xué)術(shù)研討會論文集[C];2007年

4 丁林;涂曉東;;光纖通道HBA卡DMA引擎的設(shè)計與實現(xiàn)[A];中國通信學(xué)會第六屆學(xué)術(shù)年會論文集（上）[C];2009年

5 張秀艷;趙鳳軍;;基于FPGA IP核的DDR SDRAM控制器的設(shè)計[A];全國第一屆嵌入式技術(shù)聯(lián)合學(xué)術(shù)會議論文集[C];2006年

6 李翔;林水生;;AHB-16-bit PC Card橋及其基于Bus Function Model的功能驗證[A];2006中國西部青年通信學(xué)術(shù)會議論文集[C];2006年

7 卓智海;鐘寧;;高速大容量固態(tài)光纖存儲系統(tǒng)設(shè)計[A];2008中國儀器儀表與測控技術(shù)進展大會論文集（Ⅲ）[C];2008年

8 魯巍;楊修濤;李曉維;;基于JTAG標(biāo)準(zhǔn)的邊界掃描結(jié)構(gòu)在一款通用CPU中的設(shè)計[A];第十屆全國容錯計算學(xué)術(shù)會議論文集[C];2003年

9 李光輝;邵明;李曉維;;用形式方法驗證通用CPU設(shè)計[A];第十屆全國容錯計算學(xué)術(shù)會議論文集[C];2003年

10 董強;李道煜;于忠清;張華;;Wishbone總線的研究與實現(xiàn)[A];2005年中國智能自動化會議論文集[C];2005年

相關(guān)重要報紙文章 前10條

1 魏少軍;IP核的生成及復(fù)用[N];中國電子報;2002年

2 本報記者 王小慶 于寅虎;透視ARM模式[N];中國電子報;2002年

3 ;中國首款WAPI芯片及IP核在西安問世[N];中國電子報;2004年

4 ;Xilinx提供AS IP核心[N];計算機世界;2004年

5 中科院計算技術(shù)研究所 張志敏;SoC引領(lǐng)嵌入式系統(tǒng)發(fā)展[N];計算機世界;2004年

6 沈緒榜;微電子技術(shù)智能產(chǎn)業(yè)革命的需要[N];中國計算機報;2002年

7 北京海爾集成電路設(shè)計有限公司產(chǎn)品開發(fā)部 賴祥寧;SOC開辟應(yīng)用類芯片市場[N];中國電子報;2003年

8 郭松柳 顧瑜 陳建黨 汪東升;可擴展的片上多處理器模擬器及評測系統(tǒng)[N];計算機世界;2005年

9 何小明;助SoC一臂之力有五法[N];中國電子報;2001年

10 張志敏;SoC：計算機體系結(jié)構(gòu)的重要發(fā)展方向[N];中國社會科學(xué)院院報;2004年

相關(guān)博士學(xué)位論文 前6條

1 羅春;基于仿真的系統(tǒng)芯片功能驗證技術(shù)研究[D];東南大學(xué);2006年

2 杜學(xué)亮;定制指令與協(xié)處理器加速機制的研究[D];中國科學(xué)技術(shù)大學(xué);2009年

3 姚英彪;高性能嵌入式RISC微處理器核設(shè)計研究[D];浙江大學(xué);2006年

4 李俠;低功耗嵌入式微處理器的VLSI設(shè)計研究[D];復(fù)旦大學(xué);2004年

5 葉俊;面向特征的SystemC模型產(chǎn)品線的開發(fā)和形式化功能驗證技術(shù)研究[D];國防科學(xué)技術(shù)大學(xué);2011年

6 洪興勇;高性能BWDSP處理器指令Cache研究與設(shè)計[D];合肥工業(yè)大學(xué);2013年

相關(guān)碩士學(xué)位論文 前10條

1 楊成文;八位嵌入式RISC MCU IP核設(shè)計研究[D];西北工業(yè)大學(xué);2004年

2 王京;八位RISC微控制器IP核設(shè)計[D];西北工業(yè)大學(xué);2006年

3 陳若愚;媒體處理器中集成USB接口的研究[D];浙江大學(xué);2004年

4 張培儉;基于SoC總線的IP核封裝研究[D];青島大學(xué);2006年

5 張順和;PCI總線接口設(shè)計的應(yīng)用與研究[D];西安電子科技大學(xué);2006年

6 張西;AES協(xié)處理器IP核的設(shè)計與實現(xiàn)[D];西安電子科技大學(xué);2007年

7 黎寶峰;嵌入式DSP處理器的設(shè)計與驗證[D];湖南大學(xué);2003年

8 朱志華;嵌入式系統(tǒng)開發(fā)平臺[D];青島大學(xué);2007年

9 吳小霞;USB設(shè)備接口IP核的設(shè)計[D];清華大學(xué);2005年

10 信磊;對稱多核處理器中Cache一致性的研究與實現(xiàn)[D];合肥工業(yè)大學(xué);2007年

，

本文編號：1726355