X-DSPBSU運算單元的驗證與優(yōu)化.pdf

1、集成電路設計急劇增大的規(guī)模和不斷縮短的設計周期都對驗證工作有了更高的要求，能否在規(guī)定時間內對整個芯片的功能進行充分驗證已經成為產品是否可以及時面市的關鍵。相關數據顯示，RTL（寄存器傳輸級）代碼驗證工作的投入已經達到了整個設計的70％以上，成為整個設計過程的一個重要環(huán)節(jié)。因此需要改善驗證過程，并減少驗證人員的工作量，從而提高驗證效率。
　　X-DSP芯片是一款自主研制的高性能32位DSP。X-DSP內核中的BSU（加法移位單元）部

2、件可以實現多功能定點和浮點運算指令功能，本文通過對BSU運算單元的功能進行深入研究，對其指令功能及其單元功能進行了有效驗證，并對設計進行了時序優(yōu)化。本課題的主要研究內容是：
　　1.介紹X-DSP芯片的整體結構以及數據通路，在對課題研究對象BSU運算單元的指令進行分類的基礎上詳細介紹各條指令的功能，并詳細介紹了與BSU運算單元相關的控制寄存器。
　　2.以X-DSP芯片BSU運算單元為實例，研究基于模擬的功能驗證技術。針對B

3、SU運算單元各指令的特點生成對應的驗證激勵，并生成與BSU運算單元相關的異常操作功能的驗證激勵，分析模擬驗證的覆蓋率并使其達到要求。
　　3.以X-DSP芯片BSU運算單元為實例，研究基于等價性檢查的形式驗證技術。使用的軟件工具為ATEC，完成了X-DSP芯片BSU運算單元中各指令功能驗證，覆蓋率為百分之百，實現了指令功能的完全驗證。
　　4.對X-DSP芯片BSU運算單元進行時序優(yōu)化，使用相應的優(yōu)化策略消除了違反時序的關鍵