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

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

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

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

【相似文獻】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

1 記者 王婷婷;中國DSP芯片問世上海[N];國際金融報;2003年

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

3 ;DSP芯片及其測試[N];中國電子報;2003年

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

5 宗翰;德儀推出90納米工藝DSP芯片[N];電子資訊時報;2004年

6 賽迪顧問股份有限公司 萬江洪;中國DSP市場超過126億元[N];中國電子報;2004年

7 ;中國電子產(chǎn)品告別無芯時代 “漢芯一號”在滬亮相[N];中國有色金屬報;2003年

8 記者 陳衛(wèi)東;我國芯片技術(shù)獲重大突破[N];科技日報;2003年

9 計宣;計算所自主創(chuàng)“芯”成功[N];中國航空報;2010年

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

本文編號：2663286