本文關(guān)鍵詞：一款高性能DSP的功能驗證，由筆耕文化傳播整理發(fā)布。

【摘要】：隨著集成電路規(guī)模的增大和復(fù)雜度的提高,特別是在復(fù)雜度極高的處理器領(lǐng)域,功能驗證已經(jīng)成為了設(shè)計流程中的瓶頸。成功的功能驗證能盡早的發(fā)現(xiàn)設(shè)計中的錯誤,不僅能避免設(shè)計錯誤帶來的經(jīng)濟(jì)與聲譽上的損失,而且能滿足生產(chǎn)商對縮短設(shè)計周期越來越迫切的需求,使得產(chǎn)品能在競爭日益激烈的市場上獲得更大的份額。目前常用的功能驗證方法有模擬驗證和形式化驗證。對于模擬驗證,能多大程度上激活設(shè)計中的功能以驗證其正確性,取決于激勵的質(zhì)量。處理器大部分功能的實現(xiàn)都是通過對指令的執(zhí)行實現(xiàn)的,所以要驗證一個處理器功能的正確性,關(guān)鍵就在于生成高質(zhì)量的指令。本課題的待驗證設(shè)計是一款數(shù)字信號處理器(DSP,digital signal processor),它基于超長指令字(VLIW,Very long instruction word)架構(gòu),它的結(jié)構(gòu)比較復(fù)雜,能處理很多不同的指令,實現(xiàn)了非常強大的功能。它由中國科學(xué)院某研究所開發(fā),設(shè)計人員已對其進(jìn)行了較充分的驗證,且已第一版流片。但是驗證工作不夠系統(tǒng)和全面,為了確保這款DSP能可靠穩(wěn)定的運行,需要更完備的驗證。本文采用業(yè)界主流的模擬驗證方法對這款DSP的功能進(jìn)行了全面的驗證,取得的研究成果如下:1、通過對設(shè)計規(guī)范相關(guān)內(nèi)容的解讀和分析,設(shè)計了處理器的指令模板,指導(dǎo)生成處理器的匯編指令。處理器只能處理符合特定語法格式的指令。本文根據(jù)不同指令的語法格式,采用System Verilog語言編寫對應(yīng)的約束,設(shè)計并實現(xiàn)了指令集所有指令的模板。這是整個指令生成平臺的基礎(chǔ),為自動生成的指令的合法性提供了保證。2、提取了設(shè)計的功能點,構(gòu)建功能模型,保證生成的指令能覆蓋到所有需要驗證到的功能點。本文在驗證工作初期提取了設(shè)計的功能點,在后續(xù)的指令生成中,編寫覆蓋組檢測所生成的指令對這些功能點的覆蓋情況,再根據(jù)驗證功能覆蓋率報告的分析,完善指令生成平臺,保證全面覆蓋所有的功能點,提高驗證工作信心的同時,也縮短了驗證的周期。3、搭建了易操作、自動化程度高和可擴(kuò)展性強的約束隨機(jī)指令生成平臺。為了能對設(shè)計進(jìn)行全面的驗證,需要大量的測試激勵的支持。本文根據(jù)待驗證設(shè)計的特性,搭建了能自動生成測試激勵的約束隨機(jī)指令生成平臺,該平臺為用戶提供了豐富的接口,同時加入了很多支持可擴(kuò)展性的設(shè)計。
【關(guān)鍵詞】：功能驗證 DSP VLIW 指令生成 指令模板 約束隨機(jī)
【學(xué)位授予單位】：湘潭大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2015
【分類號】：TP332
【目錄】：

• 摘要4-5
• Abstract5-9
• 第1章 引言9-12
• 1.1 集成電路設(shè)計的功能驗證概述9
• 1.2 本文的主要工作9-11
• 1.3 本文的章節(jié)組織結(jié)構(gòu)11-12
• 第2章 功能驗證技術(shù)12-24
• 2.1 模擬驗證技術(shù)13-19
• 2.1.1 激勵生成14-16
• 2.1.2 結(jié)果檢測16-17
• 2.1.3 覆蓋率評估17-19
• 2.2 形式化驗證技術(shù)19-22
• 2.2.1 等價性檢驗20-21
• 2.2.2 模型檢驗21-22
• 2.2.3 定理證明22
• 2.3 半形式化驗證22-23
• 2.4 小結(jié)23-24
• 第3章 待驗證設(shè)計--一款高性能DSP24-31
• 3.1 體系結(jié)構(gòu)24-26
• 3.2 流水線26-28
• 3.3 指令集結(jié)構(gòu)28-31
• 第4章 針對此款DSP的驗證方法31-42
• 4.1 驗證方法的總體結(jié)構(gòu)31-32
• 4.2 指令生成32-40
• 4.2.1 指令集分析和分類33-37
• 4.2.2 資源沖突規(guī)避方法37-40
• 4.3 結(jié)果檢驗40-41
• 4.4 覆蓋率分析41-42
• 第5章 驗證平臺的設(shè)計實現(xiàn)和驗證結(jié)果42-60
• 5.1 驗證平臺的總體結(jié)構(gòu)42-43
• 5.2 指令生成平臺總體結(jié)構(gòu)43-44
• 5.3 指令生成平臺的實現(xiàn)44-50
• 5.3.1 參數(shù)配置44
• 5.3.2 指令建模44-47
• 5.3.3 指令模板與資源47-50
• 5.4 覆蓋率分析模塊50-58
• 5.4.1 測試用例50-51
• 5.4.2 功能點及其覆蓋組51-56
• 5.4.3 覆蓋率報告56-58
• 5.5 驗證結(jié)果和分析58-60
• 第6章 總結(jié)和展望60-62
• 6.1 本文主要工作60
• 6.2 工作展望60-62
• 致謝62-63
• 參考文獻(xiàn)63-65
• 附錄A 攻讀碩士學(xué)位期間的科研成果與參與的科研項目65
• 攻讀碩士學(xué)位期間的科研成果65
• 攻讀碩士學(xué)位期間參加的科研項目65

【參考文獻(xiàn)】

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前1條

1 羅飛;“銀河飛騰”DSP乘法部件及算術(shù)邏輯運算部件的設(shè)計[D];國防科學(xué)技術(shù)大學(xué);2006年

  本文關(guān)鍵詞：一款高性能DSP的功能驗證，由筆耕文化傳播整理發(fā)布。

，

本文編號：271667