【摘要】：隨著IC設(shè)計(jì)自動化程度的提高和芯片集成度的上升,驗(yàn)證工作的復(fù)雜度和工作量呈指數(shù)趨勢上升。系統(tǒng)實(shí)現(xiàn)部分的RTI代碼每多一倍,驗(yàn)證的工作量往往要增加到四倍甚至更大。傳統(tǒng)驗(yàn)證方法的很多劣勢在當(dāng)前大規(guī)模的DSP處理器的驗(yàn)證中凸現(xiàn)出來本,如何提高驗(yàn)證效率和節(jié)省驗(yàn)證代價(jià)成為一個(gè)新的挑戰(zhàn)。 本文提出了兩級平臺的驗(yàn)證方法,用BFM模型搭建驗(yàn)證平臺對每個(gè)模塊進(jìn)行獨(dú)立的驗(yàn)證,系統(tǒng)集成后用C++語言建立ISA參考模型驗(yàn)證整個(gè)DSP核,測試矢量同時(shí)激勵(lì)參考模型和RTL代碼,通過比較兩者的輸出結(jié)果來定位故障,達(dá)到快速驗(yàn)證排錯(cuò)和故障定位的目標(biāo)。本驗(yàn)證方案成功應(yīng)用于在浙江大學(xué)和中天微系統(tǒng)有限公司合作開發(fā)的擁有自主知識產(chǎn)權(quán)的媒體DSP處理器Spock的設(shè)計(jì)中,提高了驗(yàn)證自動化及標(biāo)準(zhǔn)化水平,縮短了設(shè)計(jì)過程中驗(yàn)證的時(shí)間。該驗(yàn)證平臺有良好的可重用性,為DSP開發(fā)提供了一套通用的驗(yàn)證環(huán)境和驗(yàn)證方法。 本文還介紹了一種基于JTAG協(xié)議的嵌入式DSP處理器的集成仿真調(diào)試器的設(shè)計(jì)方法。該調(diào)試器中嵌入了ISS仿真器,同時(shí)具有軟件調(diào)試和硬件調(diào)試的功能。指令的硬件執(zhí)行和軟件仿真同時(shí)進(jìn)行,可以對硬件運(yùn)行結(jié)果進(jìn)行實(shí)時(shí)檢驗(yàn),實(shí)現(xiàn)了軟硬件協(xié)同調(diào)試,大大提高了調(diào)試效率。為了提高調(diào)試模式下寫存儲器的速度,調(diào)試器采用了硬件輔助下載的方法。該調(diào)試工具應(yīng)用于DSP核Spock中,加速了調(diào)試進(jìn)程,有良好的參考價(jià)值。
【圖文】：

以及結(jié)果比較、運(yùn)行驗(yàn)證平臺等腳本使用g++對SIA模型進(jìn)行編譯，SynopsysVCS對HDL模型進(jìn)行編譯，編寫測試矢量對15^mdoe一和HnLmodex同時(shí)產(chǎn)生激勵(lì)，對兩者每步pe執(zhí)行后的寄存器值等信息采用文件的形式打印出來，通過結(jié)果比較程序?qū)烧哌M(jìn)行分析，一旦發(fā)現(xiàn)有不同之處打印出失敗信息，全部相同則認(rèn)為測試矢量通過。所有測試矢量全都通過的時(shí)候，運(yùn)行ergress并且檢查代碼覆蓋率，對驗(yàn)證成果進(jìn)行評估。悶尸甲.悶曰.州.口月.門腳...‘悶.口暇....J即角聲口臼.月峨.口潤..悶.門.

供的rnad()快四倍。圖14為隨機(jī)指令生成器的結(jié)構(gòu)框圖，·配置文件中是DSP指令集。由于采用了可配置的指令集，，該指令生成器有良好的可重用性。程序用的命令行為:spoek一s堪a一input.rs卜0out.asm][一5seed]。輸入為按照一定規(guī)的格式進(jìn)行范圍限制，可以按照要求生隨機(jī)或順序指令，并且可以指定隨機(jī)數(shù)種子，使得隨機(jī)程序有令好的可重現(xiàn)性。如果不指定種子的話，則以當(dāng)前的時(shí)為默認(rèn)的隨機(jī)數(shù)產(chǎn)生的種子。圖15為該指令生成器將sr文件轉(zhuǎn)換成spock匯程序的一個(gè)例子。
【學(xué)位授予單位】：浙江大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2006
【分類號】：TP332

【相似文獻(xiàn)】

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

1 王奇志;魯榮杰;蔡靜鋒;;基于語音檢測的音控轉(zhuǎn)接系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn)[J];指揮信息系統(tǒng)與技術(shù);2011年04期

2 郭少華;鄭映春;Jack;;簡約不簡單——奔馳ML350音響改裝[J];音響改裝技術(shù);2010年02期

3 蔡湘平;李東;;石英晶體參數(shù)測量的數(shù)字鑒相系統(tǒng)[J];計(jì)算機(jī)測量與控制;2011年06期

4 王玉歡;田澤;蔡葉芳;;RapidIO IP核的驗(yàn)證方法研究[J];計(jì)算機(jī)技術(shù)與發(fā)展;2011年07期

5 顧銳;楊輝;;基于DSP的無人機(jī)雙冗余飛控計(jì)算機(jī)系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn)[J];電腦知識與技術(shù);2011年17期

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

7 邢麗華;王慶豐;;基于DSP的電液比例方向閥頻率特性測控系統(tǒng)設(shè)計(jì)[J];傳感器與微系統(tǒng);2011年08期

8 Rich Nowakowski;;POL電源設(shè)計(jì)技術(shù)和參考設(shè)計(jì)[J];今日電子;2011年09期

9 劉之光;王星;;一種GSM接收機(jī)設(shè)計(jì)與實(shí)現(xiàn)[J];硅谷;2011年12期

10 趙世明;李良光;胡敏;;基于漢明碼的井下抗干擾無線通信系統(tǒng)[J];科技信息;2011年20期

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

1 翟智博;劉鵬;張煒;鄭德春;;基于DSP驗(yàn)證平臺的MP3解碼算法研究與實(shí)現(xiàn)[A];第十二屆全國信號處理學(xué)術(shù)年會（CCSP-2005）論文集[C];2005年

2 徐澤群;;DSP芯片測試向量生成方法[A];第一屆中國微電子計(jì)量與測試技術(shù)研討會論文集[C];2008年

3 許卓兵;劉春寧;田蔚風(fēng);金志華;;基于DSP的全姿態(tài)撓性陀螺尋北儀[A];2001年飛行器慣性器件學(xué)術(shù)交流會論文集[C];2001年

4 汪向陽;張?jiān)品?;基于雙DSP的圖像處理系統(tǒng)硬件設(shè)計(jì)[A];第三屆全國信息獲取與處理學(xué)術(shù)會議論文集[C];2005年

5 鄒積濤;白山;劉一恒;;潛油式永磁同步直線抽油機(jī)無位置傳感器控制系統(tǒng)研究[A];2008中國電工技術(shù)學(xué)會電力電子學(xué)會第十一屆學(xué)術(shù)年會論文摘要集[C];2008年

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

7 商斌梁;張振仁;;柴油機(jī)智能診斷儀的研制[A];中國儀器儀表學(xué)會第三屆青年學(xué)術(shù)會議論文集（下）[C];2001年

8 華學(xué)明;吳毅雄;張勇;焦馥杰;;數(shù)字信號處理器在焊接電源中的應(yīng)用前景[A];第五屆21世紀(jì)中國焊接技術(shù)研討會論文�？痆C];2003年

9 耿忠慶;;DSP在逆變焊接電源中的應(yīng)用[A];第五屆21世紀(jì)中國焊接技術(shù)研討會論文�？痆C];2003年

10 楊霞;楊波;杜繼光;;永磁同步電動機(jī)矢量控制系統(tǒng)設(shè)計(jì)[A];第十三屆中國小電機(jī)技術(shù)研討會論文集[C];2008年

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

1 羅軍;星上數(shù)字信號處理器[N];中國航天報(bào);2001年

2 田學(xué)科;光數(shù)字信號處理器創(chuàng)驚人速度[N];科技日報(bào);2003年

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

4 馮軍;摩托羅拉和朗訊科技推出數(shù)字信號處理器核心[N];科技日報(bào);2000年

5 上海硅知識產(chǎn)權(quán)交易中心總經(jīng)理 徐步陸;加大高端通用IP核項(xiàng)目投入 完善生態(tài)環(huán)境建設(shè)[N];中國電子報(bào);2009年

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

7 ;DM270實(shí)現(xiàn)VGA攝像[N];計(jì)算機(jī)世界;2003年

8 記者　 計(jì)育青;CNGI項(xiàng)目優(yōu)先考慮國產(chǎn)設(shè)備[N];中國電子報(bào);2007年

9 王小慶;國內(nèi)廠商與TI共推2.5代移動產(chǎn)品[N];中國電子報(bào);2000年

10 記者 陳斌;創(chuàng)新為PC裝備5.1聲道[N];計(jì)算機(jī)世界;2000年

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

1 陳曉毅;數(shù)字廣播接收機(jī)的軟件無線電研究[D];浙江大學(xué);2005年

2 章健;原子力與光子掃描隧道組合顯微鏡功能性樣機(jī)[D];大連理工大學(xué);2005年

3 李香平;基于復(fù)合顏色空間與時(shí)空域的視頻車輛監(jiān)控系統(tǒng)的研究[D];天津大學(xué);2004年

4 鄭德春;DSP可測性、測試方法和平臺的研究[D];浙江大學(xué);2005年

5 張延軍;面向特定應(yīng)用的指令集處理器設(shè)計(jì)方法研究[D];清華大學(xué);2006年

6 麥宋平;一種雙模人工耳蝸系統(tǒng)及其低功耗數(shù)字信號處理器的設(shè)計(jì)[D];清華大學(xué);2009年

7 鄧學(xué)欣;開放式故障診斷構(gòu)架及動態(tài)測試分析方法研究[D];天津大學(xué);2004年

8 肖繼學(xué);基于累加器的DSP數(shù)據(jù)通路的內(nèi)建自測試技術(shù)的研究[D];電子科技大學(xué);2007年

9 王雷;無刷直流電動機(jī)調(diào)速系統(tǒng)的研究[D];浙江大學(xué);2008年

10 杜志強(qiáng);高響應(yīng)短行程直線直流電機(jī)的建模、控制與實(shí)驗(yàn)研究[D];華中科技大學(xué);2006年

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

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

2 趙興亮;媒體DSP處理器驗(yàn)證平臺的研究與開發(fā)[D];浙江大學(xué);2006年

3 范新宇;100MHz數(shù)字存儲示波表樣機(jī)的研究與試制[D];電子科技大學(xué);2005年

4 王焱;基于并行DSP的VLSI功能測試研究[D];北京工業(yè)大學(xué);2005年

5 周潔;局域網(wǎng)環(huán)境下音頻認(rèn)證水印系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)[D];南京理工大學(xué);2005年

6 劉為超;G.729語音編碼算法研究及其DSP的實(shí)現(xiàn)[D];湖南大學(xué);2005年

7 劉述喜;基于直接轉(zhuǎn)矩控制的交流變頻電力測功機(jī)控制方法的研究[D];重慶大學(xué);2005年

8 劉麗麗;基于μC/OS-Ⅱ的多軸運(yùn)動控制器的研究與應(yīng)用[D];中國海洋大學(xué);2005年

9 王文靜;基于DSP的數(shù)字化UPS監(jiān)控系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)[D];華中科技大學(xué);2005年

10 張麗萍;先進(jìn)飛機(jī)電氣系統(tǒng)控制與管理系統(tǒng)遠(yuǎn)程終端硬件平臺研究[D];西北工業(yè)大學(xué);2006年

本文編號：2697216