本文關(guān)鍵詞：X-DSP BSU運算單元的驗證與優(yōu)化，由筆耕文化傳播整理發(fā)布。

【摘要】：集成電路設(shè)計急劇增大的規(guī)模和不斷縮短的設(shè)計周期都對驗證工作有了更高的要求,能否在規(guī)定時間內(nèi)對整個芯片的功能進行充分驗證已經(jīng)成為產(chǎn)品是否可以及時面市的關(guān)鍵。相關(guān)數(shù)據(jù)顯示,RTL(寄存器傳輸級)代碼驗證工作的投入已經(jīng)達到了整個設(shè)計的70%以上,成為整個設(shè)計過程的一個重要環(huán)節(jié)。因此需要改善驗證過程,并減少驗證人員的工作量,從而提高驗證效率。X-DSP芯片是一款自主研制的高性能32位DSP。X-DSP內(nèi)核中的BSU(加法移位單元)部件可以實現(xiàn)多功能定點和浮點運算指令功能,本文通過對BSU運算單元的功能進行深入研究,對其指令功能及其單元功能進行了有效驗證,并對設(shè)計進行了時序優(yōu)化。本課題的主要研究內(nèi)容是:1.介紹X-DSP芯片的整體結(jié)構(gòu)以及數(shù)據(jù)通路,在對課題研究對象BSU運算單元的指令進行分類的基礎(chǔ)上詳細介紹各條指令的功能,并詳細介紹了與BSU運算單元相關(guān)的控制寄存器。2.以X-DSP芯片BSU運算單元為實例,研究基于模擬的功能驗證技術(shù)。針對BSU運算單元各指令的特點生成對應(yīng)的驗證激勵,并生成與BSU運算單元相關(guān)的異常操作功能的驗證激勵,分析模擬驗證的覆蓋率并使其達到要求。3.以X-DSP芯片BSU運算單元為實例,研究基于等價性檢查的形式驗證技術(shù)。使用的軟件工具為ATEC,完成了X-DSP芯片BSU運算單元中各指令功能驗證,覆蓋率為百分之百,實現(xiàn)了指令功能的完全驗證。4.對X-DSP芯片BSU運算單元進行時序優(yōu)化,使用相應(yīng)的優(yōu)化策略消除了違反時序的關(guān)鍵路徑,提高了功能單元的運行速度,滿足了設(shè)計規(guī)范的性能要求。最后采用模擬驗證和等價性檢查相結(jié)合的方法對BSU運算單元的功能進行了全面驗證,并對BSU單元存在的時序問題進行了有效的優(yōu)化,使其滿足了設(shè)計規(guī)范的性能要求。
【關(guān)鍵詞】：功能驗證 模擬驗證 形式驗證 等價性檢查 時序優(yōu)化
【學(xué)位授予單位】：國防科學(xué)技術(shù)大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2014
【分類號】：TP332

  本文關(guān)鍵詞：X-DSP BSU運算單元的驗證與優(yōu)化，由筆耕文化傳播整理發(fā)布。

，

本文編號：340186