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

【摘要】：近年來(lái),SoC設(shè)計(jì)規(guī)模和復(fù)雜度的不斷提升使得基于IP核的設(shè)計(jì)和驗(yàn)證技術(shù)成為研究的熱點(diǎn).基于斷言的功能驗(yàn)證具有代碼簡(jiǎn)潔、可以快速定位設(shè)計(jì)缺陷以及易于與設(shè)計(jì)綁定等優(yōu)點(diǎn),在IP核功能驗(yàn)證中受到了廣泛的關(guān)注.本文研究基于斷言的Compact PCI總線控制器核的功能驗(yàn)證問(wèn)題,提出一種基于斷言的監(jiān)視器組件設(shè)計(jì)方法,將Compact PCI核接口信號(hào)時(shí)序的斷言、覆蓋率統(tǒng)計(jì)的斷言封裝為監(jiān)視器組件,以提高驗(yàn)證環(huán)境的開發(fā)效率和可復(fù)用性.實(shí)際應(yīng)用表明,本方法在加快驗(yàn)證過(guò)程收斂速度的同時(shí),隨IP核一起發(fā)布的驗(yàn)證組件提高了驗(yàn)證環(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é)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院;北京計(jì)算機(jī)技術(shù)及應(yīng)用研究所;中國(guó)科學(xué)院電子學(xué)研究所;
【基金】：黑龍江省自然科學(xué)基金項(xiàng)目(F201111)資助 中央高�；究蒲袠I(yè)務(wù)費(fèi)專項(xiàng)(HEUCF100606)資助
【分類號(hào)】：TP336

【參考文獻(xiàn)】

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

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

【共引文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

【相似文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

2 本報(bào)記者 王小慶 于寅虎;透視ARM模式[N];中國(guó)電子報(bào);2002年

3 ;中國(guó)首款WAPI芯片及IP核在西安問(wèn)世[N];中國(guó)電子報(bào);2004年

4 ;Xilinx提供AS IP核心[N];計(jì)算機(jī)世界;2004年

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

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

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

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

9 何小明;助SoC一臂之力有五法[N];中國(guó)電子報(bào);2001年

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

，

本文編號(hào)：1726355