發(fā)布時(shí)間：2020-05-14 11:34

【摘要】： 隨著DSP芯片規(guī)模的不斷擴(kuò)大和功能的不斷增加,對(duì)DSP芯片的功能正確性、速度、功耗、可靠性等方面都提出更加嚴(yán)格的要求。其中,保證設(shè)計(jì)功能正確是最基本的一項(xiàng)要求。目前功能驗(yàn)證已占整個(gè)設(shè)計(jì)資源的70%左右,而設(shè)計(jì)驗(yàn)證則占據(jù)驗(yàn)證工作的絕大部分。設(shè)計(jì)驗(yàn)證是集成電路( Ic:Integrated circuit)設(shè)計(jì)中不可或缺的重要組成部分,主要用于判別設(shè)計(jì)規(guī)范和設(shè)計(jì)實(shí)現(xiàn)之間是否保持一致,已成為集成電路整個(gè)設(shè)計(jì)流程中開(kāi)銷(xiāo)最大的工作。為解決設(shè)計(jì)驗(yàn)證的問(wèn)題,業(yè)界提出不少設(shè)計(jì)驗(yàn)證的方法,在一定程度上緩解了設(shè)計(jì)驗(yàn)證的向題,如何更好的利用現(xiàn)有技術(shù)和工具來(lái)建立驗(yàn)證環(huán)境是業(yè)界普遍關(guān)注的焦點(diǎn)和工作的重點(diǎn)。 本文針對(duì)DSP設(shè)計(jì)復(fù)雜的特點(diǎn),提出了一種利用SOCKET通信協(xié)議把DSP硬件設(shè)計(jì),利用SystemC語(yǔ)言建立的參考模型以及針對(duì)DSP開(kāi)發(fā)的軟件仿真器放在統(tǒng)一平臺(tái)下驗(yàn)證的方法,建立了一個(gè)三方驗(yàn)證平臺(tái),該平臺(tái)為DSP芯片設(shè)計(jì)功能性驗(yàn)證提供一種切實(shí)可行的簡(jiǎn)便方法,能夠同時(shí)保證軟硬件設(shè)計(jì)的正確性和統(tǒng)一性。 本測(cè)試平臺(tái)結(jié)構(gòu)合理、功能齊全,已經(jīng)在成功驗(yàn)證了中國(guó)電子科技集團(tuán)自主設(shè)計(jì)的高性能32位浮點(diǎn)通用信號(hào)處理器BWDSP100,實(shí)踐證實(shí),測(cè)試平臺(tái)運(yùn)行穩(wěn)定,為硬件和軟件設(shè)計(jì)師調(diào)試程序提供了切實(shí)可行的簡(jiǎn)便方法。
【圖文】：

用到我們生活的每一個(gè)角落，從軍用到民用，從地使用 DSP。航空航天方面，主要用于雷達(dá)和聲納信號(hào)處理；IP 電話(voice over IP)、ADSL 和 HFC 的信號(hào)傳制、光驅(qū)和硬盤(pán)驅(qū)動(dòng)器；在測(cè)試/測(cè)量方面，主醫(yī)療診斷等；在電子娛樂(lè)方面，主要用于高清晰AC-3、家庭影院、DVD 等應(yīng)用；還有數(shù)字相機(jī)、。同時(shí)，SOC 芯片系統(tǒng)、無(wú)線應(yīng)用、嵌入式 DSP 可以說(shuō)，，沒(méi)有 DSP 就沒(méi)有對(duì)互聯(lián)網(wǎng)的訪問(wèn)，也因此，DSP 仍將是整個(gè)半導(dǎo)體工業(yè)的技術(shù)驅(qū)動(dòng)力其函蓋面包括寬帶 Internet 接入業(yè)務(wù)、下一代無(wú)線場(chǎng)、汽車(chē)電子市場(chǎng)的發(fā)展等諸多多方面。

業(yè)界目前廣泛采用的是覆蓋率驗(yàn)證（CDV），但這種方法也被認(rèn)為是不完備的驗(yàn)證方法。滿足下列三個(gè)條件才能發(fā)現(xiàn)設(shè)計(jì)的缺陷：須被激活，例如包含缺陷的代碼段必須被使用。須傳遞到可觀察的點(diǎn)，例如設(shè)計(jì)的輸出。須可探測(cè)，例如可檢查的行為和表現(xiàn)為失效。覆蓋和功能覆蓋這樣的技術(shù)可以保證設(shè)計(jì)代碼被激活。然而的傳遞，以及缺陷可以被檢查程序和/或斷言語(yǔ)句檢測(cè)出來(lái)
【學(xué)位授予單位】：合肥工業(yè)大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2009
【分類(lèi)號(hào)】：TP368.11

【相似文獻(xiàn)】

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

1 劉萌;馮海洲;李康;馬佩軍;史江一;;基于SystemVerilog的網(wǎng)絡(luò)處理器驗(yàn)證平臺(tái)設(shè)計(jì)[J];電子器件;2011年03期

2 楊安生;黃世震;;基于ARM SoC的FPGA原型驗(yàn)證[J];電子器件;2011年03期

3 侯超;彭大芹;曾俊威;;利用VMM搭建NAND Flash控制器驗(yàn)證平臺(tái)[J];廣東通信技術(shù);2011年06期

4 艾飛;徐伯慶;孫國(guó)強(qiáng);;光學(xué)圖像的DSP壓縮處理[J];光學(xué)儀器;2009年02期

5 魏婷;張喜民;;ARINC659總線驗(yàn)證平臺(tái)節(jié)點(diǎn)設(shè)計(jì)與實(shí)現(xiàn)[J];航空計(jì)算技術(shù);2011年04期

6 章林柯;王力;王艷武;;基于VMM方法學(xué)的系統(tǒng)級(jí)軟硬件協(xié)同仿真驗(yàn)證[J];微型機(jī)與應(yīng)用;2011年12期

7 段欣;陳利光;王健;來(lái)金梅;鮑麗春;;可進(jìn)化芯片的FPGA接口設(shè)計(jì)與實(shí)現(xiàn)[J];計(jì)算機(jī)工程;2011年13期

8 吳健;吳星明;陳偉海;;三維景深數(shù)據(jù)采集和圖像重構(gòu)系統(tǒng)研究[J];中國(guó)測(cè)試;2011年04期

9 劉芳;謝崢;連志斌;王新安;;一種可重構(gòu)的通用總線接口驗(yàn)證平臺(tái)的研究及實(shí)現(xiàn)[J];電子器件;2011年03期

10 姚鋼;;S2C原型驗(yàn)證平臺(tái)讓IP快速得到通行證[J];電子設(shè)計(jì)技術(shù);2011年07期

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

1 龔成;段艷麗;鄭榮;樊昌周;;基于定點(diǎn)DSP芯片實(shí)現(xiàn)的心音輔助診斷儀[A];信號(hào)與信息處理技術(shù)第三屆信號(hào)與信息處理全國(guó)聯(lián)合學(xué)術(shù)會(huì)議論文集[C];2004年

2 張飛;廖云鵬;何繼善;;DSP芯片在人體三維重建三角化中的應(yīng)用[A];當(dāng)代礦山地質(zhì)地球物理新進(jìn)展[C];2004年

3 楊克己;;基于DSP的數(shù)字式動(dòng)平衡測(cè)量系統(tǒng)及其關(guān)鍵技術(shù)的研究[A];第三屆全國(guó)信息獲取與處理學(xué)術(shù)會(huì)議論文集[C];2005年

4 王廷銀;;AD7846及其基于DSP芯片信號(hào)發(fā)生器的設(shè)計(jì)[A];中國(guó)儀器儀表學(xué)會(huì)第六屆青年學(xué)術(shù)會(huì)議論文集[C];2004年

5 單梁;李軍;王執(zhí)銓;;時(shí)空混沌序列在語(yǔ)音保密通信中的應(yīng)用[A];江蘇省自動(dòng)化學(xué)會(huì)七屆四次理事會(huì)暨2004學(xué)術(shù)年會(huì)青年學(xué)者論壇論文集[C];2004年

6 尹勇生;胡永華;周干民;;PCI總線接口的驗(yàn)證平臺(tái)及測(cè)試圖形生成[A];2004全國(guó)測(cè)控、計(jì)量與儀器儀表學(xué)術(shù)年會(huì)論文集（上冊(cè)）[C];2004年

7 管龍騰;李筠;晏路成;;基于TMS320LF2407的無(wú)紙記錄儀系統(tǒng)的實(shí)現(xiàn)[A];中國(guó)儀器儀表學(xué)會(huì)第九屆青年學(xué)術(shù)會(huì)議論文集[C];2007年

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

9 趙為;余世杰;沈玉梁;蘇建徽;王斯成;王德鄰;;基于DSP芯片的多功能光伏并網(wǎng)發(fā)電系統(tǒng)[A];中國(guó)第六屆光伏會(huì)議論文集[C];2000年

10 栗芬環(huán);;Matlab和Modelsim數(shù)字前端設(shè)計(jì)、仿真驗(yàn)證平臺(tái)[A];2009通信理論與技術(shù)新發(fā)展——第十四屆全國(guó)青年通信學(xué)術(shù)會(huì)議論文集[C];2009年

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

1 記者 王婷婷;中國(guó)DSP芯片問(wèn)世上海[N];國(guó)際金融報(bào);2003年

2 湘蓉;杰爾發(fā)布新款DSP芯片[N];通信產(chǎn)業(yè)報(bào);2003年

3 ;DSP芯片及其測(cè)試[N];中國(guó)電子報(bào);2003年

4 記者 陳嘉佳　通訊員 康文;科技要給民航安全發(fā)展更多支持和幫助[N];中國(guó)民航報(bào);2009年

5 宗翰;德儀推出90納米工藝DSP芯片[N];電子資訊時(shí)報(bào);2004年

6 賽迪顧問(wèn)股份有限公司 萬(wàn)江洪;中國(guó)DSP市場(chǎng)超過(guò)126億元[N];中國(guó)電子報(bào);2004年

7 ;中國(guó)電子產(chǎn)品告別無(wú)芯時(shí)代 “漢芯一號(hào)”在滬亮相[N];中國(guó)有色金屬報(bào);2003年

8 記者 陳衛(wèi)東;我國(guó)芯片技術(shù)獲重大突破[N];科技日?qǐng)?bào);2003年

9 計(jì)宣;計(jì)算所自主創(chuàng)“芯”成功[N];中國(guó)航空?qǐng)?bào);2010年

10 陳健;DSP：數(shù)字化時(shí)代的基石[N];中國(guó)電子報(bào);2003年

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

1 欒靜;模型驅(qū)動(dòng)的系統(tǒng)級(jí)軟硬件協(xié)同設(shè)計(jì)若干關(guān)鍵技術(shù)研究[D];華東師范大學(xué);2006年

2 覃勝;語(yǔ)言學(xué)習(xí)系統(tǒng)學(xué)生終端機(jī)的數(shù)字化研究[D];重慶大學(xué);2004年

3 張溯;集成電路工程學(xué)及IP評(píng)測(cè)技術(shù)的研究[D];合肥工業(yè)大學(xué);2004年

4 周航軍;分布式大規(guī)模虛擬環(huán)境消息序一致性時(shí)間管理技術(shù)研究[D];國(guó)防科學(xué)技術(shù)大學(xué);2011年

5 劉揚(yáng)帆;硬件事務(wù)存儲(chǔ)微體系結(jié)構(gòu)及其驗(yàn)證研究[D];浙江大學(xué);2012年

6 殷燎;面向SoC的IP核及嵌入式處理器功能驗(yàn)證方法研究[D];浙江大學(xué);2010年

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

1 梁琛;SDH芯片驗(yàn)證平臺(tái)的設(shè)計(jì)[D];西安電子科技大學(xué);2007年

2 喬麗萍;基于IP的USB Audio的設(shè)計(jì)與驗(yàn)證[D];西安電子科技大學(xué);2008年

3 王旭;圖形處理器的仿真驗(yàn)證[D];哈爾濱工業(yè)大學(xué);2007年

4 范瑞玉;基于FPGA的SoC芯片驗(yàn)證平臺(tái)設(shè)計(jì)[D];復(fù)旦大學(xué);2008年

5 王嘉良;SoC可重用驗(yàn)證平臺(tái)研究與開(kāi)發(fā)[D];東華大學(xué);2011年

6 譚安菊;數(shù)字系統(tǒng)實(shí)時(shí)驗(yàn)證技術(shù)研究[D];中國(guó)工程物理研究院;2005年

7 王立華;基于FPGA的系統(tǒng)芯片（SoC）原型驗(yàn)證研究與實(shí)現(xiàn)[D];山東大學(xué);2006年

8 何葉東;IP芯核設(shè)計(jì)和驗(yàn)證技術(shù)的研究[D];合肥工業(yè)大學(xué);2005年

9 李樹(shù)杰;中科SoC通用驗(yàn)證平臺(tái)及驗(yàn)證方法學(xué)研究[D];山東科技大學(xué);2005年

10 胡建國(guó);高性能微處理器的驗(yàn)證技術(shù)研究[D];國(guó)防科學(xué)技術(shù)大學(xué);2004年

本文編號(hào)：2663286