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

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

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

【相似文獻】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

本文編號：2697216