基于分組傳送的流量管理芯片調度的驗證.pdf

1、隨著半導體工藝的飛速發(fā)展，開發(fā)功能復雜、規(guī)模龐大、集成度高的芯片已成為芯片開發(fā)的主流。芯片規(guī)模不斷增加、設計門數不斷增長，驗證已成為芯片開發(fā)的主要瓶頸。如何保證芯片驗證的高效性和完備性是芯片成功開發(fā)的關鍵，也是目前驗證的主要研究方向。本課題結合項目的要求，對分組傳送芯片組中一款千萬門級的流量管理芯片進行了仿真驗證。
　　本課題研究了芯片驗證平臺的搭建以及仿真驗證的具體實現。在芯片驗證過程中，以芯片規(guī)格的正確性為目的，緊緊圍繞驗證的

2、完備性和高效性進行了深入思考，分別從驗證方法的選取上、芯片的一般驗證過程中以及針對流量管理芯片的特殊性等幾方面進行了考慮。
　　1）、驗證方法的選取上：○1、為了提高驗證的完備性，我們采取了提取驗證特性，根據驗證特性分解測試點，根據測試點編寫測試用例的方法；○2、為了提高驗證的效率，我們采用了分層次的驗證架構，并以代碼覆蓋率為驗證技術。
　　2）、芯片的一般驗證過程中：○1、為了提高驗證環(huán)境的抽象層次，我們采用接口機制對DU

3、T與驗證環(huán)境的信號進行封裝，將對多信號的引用轉化為對同一接口的引用；○2、為了滿足不同階段的測試需求，我們提供了凈荷類型可選的定向和隨機發(fā)包機制；○3、為了便于觀測仿真結果，我們提供了報文正確性檢測機制，并在仿真log文件的最后集中顯示；○4、為了提高定位問題的速度，我們提供了流隊列和端口隊列獨立的亂序檢測機制，并對報文的正確性進行分段檢測；○5、同時提供打印信息可控機制便于滿足不同仿真階段的信息需要。
　　3）、針對流量管理芯片

4、的特殊性：○1、為了便于調度的測試，我們提供了發(fā)包速率可控機制，并提供了流隊列和端口隊列獨立的流量檢測機制，窗口位置可移、長度可調的流量檢測窗口可以滿足不同的測試需求；○2、為了提高仿真環(huán)境的自動化程度，我們提供了消除shaping突發(fā)的時間窗起點自動計算機制；○3、為了提高仿真驗證的可靠性，我們在驗證環(huán)境中檢測并響應了DUT的反壓；○4、為了便于觀測調度結果，我們提供了流量分層顯示機制，不僅顯示各用戶的流量還顯示基于用戶的各業(yè)務的流量