【摘要】：為解決數(shù)字信號處理器(digital signal processor,DSP)的數(shù)據(jù)供給問題,設(shè)計(jì)了一個(gè)可高效搬運(yùn)數(shù)據(jù)的部件———直接存儲器訪問控制器(direct memory access controller,DMAC)。采用了模擬驗(yàn)證方法和基于斷言的驗(yàn)證方法對設(shè)計(jì)進(jìn)行了功能驗(yàn)證。傳統(tǒng)的模擬驗(yàn)證方法目前仍是主流的功能驗(yàn)證方法,但基于斷言的驗(yàn)證方法是今后集成電路驗(yàn)證的發(fā)展方向。模擬驗(yàn)證方法雖具有使用簡單,不受設(shè)計(jì)規(guī)模影響的優(yōu)點(diǎn),卻不能證明設(shè)計(jì)的完備性,而基于斷言的驗(yàn)證方法雖具有驗(yàn)證完備性,但能夠驗(yàn)證的設(shè)計(jì)規(guī)模有限。把兩者結(jié)合起來,就能夠發(fā)揮各自的優(yōu)點(diǎn)。實(shí)驗(yàn)結(jié)果表明,把兩者結(jié)合起來進(jìn)行驗(yàn)證,確實(shí)能夠提高驗(yàn)證質(zhì)量。
[Abstract]:In order to solve the data supply problem of digital signal processor (digital signal processor), a direct memory access controller (direct memory access controller DMAC) is designed to transport data efficiently. Simulation verification method and assertion based verification method are used to verify the function of the design. The traditional analog verification method is still the mainstream functional verification method, but the verification method based on assertion is the development direction of IC verification in the future. Although the simulation verification method has the advantages of simple use and not influenced by the design scale, it can not prove the completeness of the design. Although the verification method based on assertion has the verification completeness, the design scale that can be verified is limited. Combine the two and you will be able to take advantage of them. The experimental results show that the combination of the two can improve the quality of verification.
【作者單位】： 國防科學(xué)技術(shù)大學(xué)計(jì)算機(jī)學(xué)院;
【基金】：國家“核高基”重大專項(xiàng)(集成電路類)基金項(xiàng)目(2009ZX01034-001-001-006)
【分類號】：TP332

【相似文獻(xiàn)】

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

1 張葵;;TMS320C25高速低功耗的數(shù)字信號處理芯片[J];軍事通信技術(shù);1988年01期

2 張葵;;可編程數(shù)字信號處理器的結(jié)構(gòu)[J];軍事通信技術(shù);1990年04期

3 ;小“芯”有好處 DSP作MultiVoice網(wǎng)關(guān)處理器[J];每周電腦報(bào);1998年44期

4 盛;;幾種實(shí)時(shí)系統(tǒng)使用的DSP[J];電子測試;2001年04期

5 顧中國;孫超;李斌;趙妮;;一種新的TMS320C542 DSP并口引導(dǎo)裝載方法[J];計(jì)算機(jī)工程與應(yīng)用;2006年12期

6 肖雪娜;;論DSP技術(shù)[J];黑龍江科技信息;2007年05期

7 沈壽金;江明;李剛民;陳伯時(shí);;采用高速數(shù)字信號處理器(DSP)的非線性解耦控制交流變頻調(diào)速系統(tǒng)[J];電氣傳動;1994年03期

8 張振宇;趙棟利;夏超英;;基于DSP的在線式UPS鎖相環(huán)設(shè)計(jì)[J];電氣自動化;2002年05期

9 王元鵬;謝瑞和;;HI08接口實(shí)現(xiàn)DSP與其它處理器的通信[J];電工技術(shù);2004年05期

10 郭國良;閆佩君;張雄偉;;DSP芯片應(yīng)用系列講座(二) 第3講 TMS320C28x的指令系統(tǒng)與尋址方式[J];軍事通信技術(shù);2005年02期

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

1 張春;王志華;;DSP系統(tǒng)的系統(tǒng)內(nèi)編程的實(shí)現(xiàn)[A];第九屆全國信號處理學(xué)術(shù)年會（CCSP-99）論文集[C];1999年

2 丑武勝;李長征;;基于DSP的永磁同步電機(jī)控制系統(tǒng)硬件設(shè)計(jì)[A];全國第一屆嵌入式技術(shù)聯(lián)合學(xué)術(shù)會議論文集[C];2006年

3 包曉瑜;張登洪;;基于TMS320VC5416的計(jì)算裝置設(shè)計(jì)[A];中國工程物理研究院科技年報(bào)（2005）[C];2005年

4 魯劍鋒;吳川;;基于模糊理論的自適應(yīng)閾值實(shí)時(shí)DSP系統(tǒng)[A];2007年光電探測與制導(dǎo)技術(shù)的發(fā)展與應(yīng)用研討會論文集[C];2007年

5 尚U，

本文編號：2136102