<address id="9993j"><address id="9993j"><listing id="9993j"></listing></address></address><form id="9993j"><nobr id="9993j"><meter id="9993j"></meter></nobr></form>

    <output id="9993j"><nobr id="9993j"></nobr></output>

    <noframes id="9993j">
        <address id="9993j"><address id="9993j"></address></address>

          <noframes id="9993j"><address id="9993j"><th id="9993j"></th></address>

          <noframes id="9993j">

            <em id="9993j"><form id="9993j"><nobr id="9993j"></nobr></form></em>

            新聞中心

            EEPW首頁 > 嵌入式系統 > 設計應用 > 互連總線的產品生命周期(下)

            互連總線的產品生命周期(下)

            —— PSS建構效能模型、設計驗證及后芯片驗證
            作者:ADI時間:2022-03-17來源:CTIMES收藏

              可攜式刺激源標準()是最新的業界標準,其用來規范測試意圖與行為,讓測試刺激源可重復套用到不同的目標平臺。不僅改變系統單芯片(SoC)傳統的確認與驗證方法,也帶來了許多優點以及衍生不少挑戰。本文繼上篇從SystemC效能分析探索架構的生命周期探討,下篇著重于分析解說如何透過通用型流量產生器進行確認與驗證。

            隨著設計要求日趨復雜,驗證技巧與方法也隨之不斷演進??蓴y式刺激源標準(PSS)是演進的最新產物,它的目的是因應測試可移植性的挑戰。新型PSS允許用戶建立測試意圖,藉以重復套用到不同的目標平臺。除了可移植性之外,PSS驗證技巧還提供多方面的價值,包括視覺測試代表性、限制設定、數據流隨機性及更高的測試質量。本文探討這些演變,提出一項架構的案例研究,進行SystemC效能分析解說確認與驗證過程。


            的UVM式驗證
            互連架構的效能分析可歸納出效能、功率及空間的最佳組態。確定互連組態后,即可用來產生AMBA互連RTL以及可設定的自動化流程。但這種流程由于存在組態、軟件結構、以及人工解讀組態等方面的限制因此容易出錯,所以需要進行驗證,確保無瑕疵的產生流程。在以往這方面都是采用業界標準UVM方法。

            圖5顯示用來驗證互連總線的UVM環境,當中包含不同類型的AMBA(AXI、AHB、APB)主控器與UVC從屬端,以客制化組態分別連到DUT從屬端與主控器。這個環境可用通用組態進行設定。記分板(scoreboard)不僅會記錄交易,還會顯示任何數據不匹配的AI。

            圖片.png
             
            圖5 : 對互連總線進行UVM式IP驗證

            測試包含一系列程序以及虛擬程序,用來控制底層UVC與接口的功能。測試程序依循的測試計劃,是源自針對性與隨機性測試案例。功能覆蓋點亦是依據驗證計劃所建立,藉以確保符合規格。在此之后會執行多項模擬與建立一個覆蓋數據庫,藉以搜集程序代碼與功能覆蓋范圍。接著會分析數據庫并檢驗覆蓋區的死角。接下來進行回歸測試,然后產生報告并分析結果。這個流程會不斷重復,直到達到想要的覆蓋目標,以確保高質量的驗證。

            本文引用地址:http://www.snowlakeshores.com/article/202203/432109.htm

            連同做為驗證計劃一部分的導引式測試,UVM技巧依賴隨機測試來達到覆蓋目標。它從隨機刺激源開始,之后逐漸限縮限制條件,直到達成覆蓋目標為止,依賴隨機化的與運算主機群的蠻力來覆蓋狀態空間。程序代碼覆蓋率是定量衡量數據,但功能覆蓋則是DUT程序代碼執行的定性衡量。通常這項質量受限于人們執行驗證計劃以及分析覆蓋報告方面的勤奮與堅持程度。

            另一項決定驗證質量的因素是高效率的自動化檢查。結合利用記分板進行封包比較,以及判定檢查點,可在流程后段判定后芯片bug瑕疵的數量。UVM式驗證技巧是自給自足且有效的方法,可確保高質量的驗證。然而,PSS技巧可透過各種功能進一步改善驗證流程。

            PSS式驗證一開始是針對每項設計規格建立驗證計劃,然后設立驗證環境。之后針對可攜式刺激源模型、限制條件、以及組態檔案擷取出測試意圖。支持這項標準的工具之后可為特定種類的驗證環境產生測試程序,以及搜集圖像式覆蓋圖表。分析這種類型的覆蓋范圍,可顯示在測試限制條件與組態下的覆蓋漏洞,以及重新檢討流程。

            圖6顯示驗證流程以及介紹PSS模型。這里要提的重點是PSS模型不會取代UVM環境,實際上,它是加到現有UVM環境以增強其功能。UVM驗證環境仍會有主控器與從屬端UVC,以及SB與組態,而虛擬程序則會繞過UVM SV基礎架構。這個環境是由頂層UVM測試來控制,一方面呼叫虛擬程序來控制UVC作業,另一方面與可攜式刺激源互動,并透過PLI與DPI式系統呼叫產生格式。PSS模型完全可重復用在SystemC式效能建模程序。由PSS模型產生的測試邏輯會控制各UVC之間的作業。IP層級的模擬則會使用產生的測試來執行,并搜集覆蓋數據。


             圖片.png

            圖6 : 互連總線進行PSS式IP驗證

            表2顯示在PSS與UVM驗證環境中進行回歸檢驗的結果。由于采用UVM方法,讓達到最高覆蓋范圍(套用豁免條件)需執行的受限隨機測試的次數大幅降低。PSS驗證的隨機機制一開始是執行抽象描述,描述DUT高層級狀態之間的合法交易,以及自動仿真覆蓋這個狀態空間所需的最少測試。圖像覆蓋范圍讓用戶能檢視橫向傳遞路徑以及產生測試,藉以覆蓋最大長度的圖像。

             

            2. PSS UVM 設定與回歸

            測試運行(Tests Run)

            通過

            失敗

            不執行

            整體程序代碼覆蓋率

            (僅UVM) 125

            125

            0

            0

            298034/388949 (76.6%)

            (UVM PSS) 75

            75

            0

            0

            298034/388949 (76.6%)


            可攜式刺激源驗證方法可以控制的另一項因素,就是測試質量。由于可透過圖像看到測試狀況,讓使用者可以更好地了解控制以及數據流。此外,相同的工具還能用來在運行時間進行主動檢查,允許有效的自動檢查。這方面還能結合記分板檢查以及判定檢查點,藉以改善驗證質量。

            可攜式刺激源方法是在更高的抽象層上執行,之后會整合底層的驗證流程。因此盡管在測試或刺激源產生流程方面有明確的改善,這種驗證方法仍以原始型態局限在底層流程。在和UVM環境整合方面,一方面它受益于重復使用驗證組件,另一方面它也會受限于本身的復雜性。類似的狀況,在UVM方面,驗證的質量受限于驗證計劃的質量以及覆蓋報告的分析。


            互連總線的SoC驗證
            當互連整合成SoC的一部分,就必須檢查它與系統中各主控器與從屬端之間的整合狀況。這方面通常是在處理器上執行C語言測試,藉以檢查互連總線的整合狀況。IP層級上的通用主控器會變換成特定總線主控器,像是多重處理器、DSP、DMA控制器、各種序列協議的主控器,像是SPI、I2C、CAN等協議,以及各種客制化主控器與從屬端。這會引發特定程序或宏,藉以控制SoC中的不同主控器與從屬端。

            宏或程序通常會進行緩存器程序化,藉以從包括DMA控制器、內存等主控器接收與發送交易。在這個層級并沒有受限的隨機化,因此每種情境都必須探索以及進行人工撰寫程序。在重復使用方面,IP層級的某些UVM監視器可用來監視協議或利用記分板來檢查任何特定的興趣點。但一旦轉移關注焦點,就必須重新執行涵蓋主要部分的測試與程序。

            PSS驗證技巧是為SoC測試重復使用的IP所設計。圖7顯示在SoC層級驗證方面重復使用流量產生器PSS模型。在IP層級撰寫的模型,系針對不同地址映像進行設定,配合每種SoC規格與針對C測試產生程序。

            模型中幾乎所有程序–除了整合執行程序代碼的部分以外–都可重復使用在為處理器應用撰寫模型上,亦即這類執行程序代碼遠遠較為復雜,包括各種主控器爭奪啟動與關閉宏,或是像DMA與內存控制器,它們能啟動互連總線上的單一或突發交易。

            對于每個通用主控器,需要重新撰寫執行程序代碼,藉以讓它們能和SoC中各種主控器進行整合。工具的隨機性允許多種主控器與從屬端交易的組合。SoC層級上針對整合檢查建立目標測試的限制,可配合測試的視覺表征妥善管理。在產生C語言測試后,它們會和SoC設定以及一些系統標準基礎架構進行整合。C語言測試之后會進行編譯,然后在處理器執行,用來產生交易。

            圖7顯示運用PSS工具建立多核心測試,這類測試很難以人工撰寫出來。測試意圖的不同部分可設定在核心上執行,藉以建立有趣的情境。在含有多個總線主控器的狀況,上述功能特別有用。由于有這種功能組合,讓不同主控器進行程序化變得可行。能夠重新產生SoC層級的圖像化受限隨機測試,但又不需實際重寫這些情境,也是一項重大優勢。

            另外,它也允許測試產生,利用不同的地址映像檢查相同IP的不同執行例。而當我們在SoC層級上,在SoC層級為不同IP結合不同種類的PSS模型,就可以創建出各種復雜情境,若是以人工撰寫的方式就很難創建。


            圖片.png
             
            圖7 : 互連總線的PSS式SoC驗證流程

            互連總線的驗證
            業者需要執行驗證才能確定產品合規性,確保符合客戶的規格、可用性及符合允收(acceptance)測試的要求。傳統上,評估板需要執行C語言測試,通常都是根據原始規格以人工撰寫程序代碼。這種重復性的工作可利用PSS方法大幅精減,讓系統自動產生兼容于評估軟件的C語言測試碼。

            圖8代表PSS方法的驗證流程。流量產生器的PSS模型可根據每種SoC規格以及配合Eval-C測試產生流程,針對不同地址映像進行設定。PSS工具通常能夠針對多個核心產生測試程序,支持特定情境的測試。產生的C測試程序經過除錯器的編譯,程序代碼會透過像JTAG的接口加載到評估板。執行測試程序代碼之后,結果就會顯示在評估板與除錯器接口。在SoC層級撰寫的程序結合圖型限制的隨機性,這種成品完全具備重復使用的能力。

            圖片.png
             
            圖8 : 互連總線的PSS芯片驗證流程

            此外,測試意圖的視覺代表性,以及方便套用限制的能力,讓使用者能建構方向性明確的流程。這種獨特且具控制性的方法在驗證過程中可建立各項測試,而這在以往通常都是完全以人工操作來進行。

            這里的執行程序代碼也必須針對芯片驗證的相關規范重新撰寫。驗證平臺的基本驅動程序用來控制總線上的不同主控器,像是這類應用經常用到的DMA以及內存控制器。產生的C程序代碼也需要進行整合,并采用評估平臺接受的格式。通常這方面的流程包括重復使用表頭(header),擷取預寫驗證碼的檔案,然后重復套用到產生的整合程序代碼。程序代碼之后進行編譯,并和目標除錯器一起執行,藉以確保在這個層級進行妥善的測試。

            PSS工具通常能夠分析后處理應用得到的結果。結果數據的視覺分析除了反映測試通過或失敗的狀況,還能將產生結果的程序代碼區段一同顯示出來。這在驗證程序方面特別有用,因為傳統除錯功能在這方面的能力相當有限。

            雖然我們還在后芯片應用針對流量產生器模型重復使用C測試流程,但我們有信心可能運用C語言測試法套用在任何評估平臺上。事實上,將SoC型PSS模型重復套用在后芯片評估板,這種模型已證實可用在其他處理器類型的應用。這類應用的可重復利用性,系可攜式刺激源方法的獨有特性。

            總結
            PSS類型的通用流量產生器支持可重復使用的測試方案,透過SystemC執行效能分析測試互連總線,藉以執行驗證與確認。其中每項流程都需要進行整合以及基礎架構的開發。不過,這些一次性流程有機會在后續應用中重復使用。除了可重復使用外,PSS類型的方法在特定隨機性、測試意圖的視覺代表性、以及初期覆蓋范圍分析等方面提供許多優勢,使其價值進一步增加。能夠建構通用型應用的彈性,讓廠商有機會開發即插即用型解決方案,進一步加速驗證與確認的流程。
            (本文作者Gaurav Bhatnagar、Courtney Fricano為主任工程師)



            評論


            相關推薦

            技術專區

            關閉
            五月天国产成人AV免费观看
            <address id="9993j"><address id="9993j"><listing id="9993j"></listing></address></address><form id="9993j"><nobr id="9993j"><meter id="9993j"></meter></nobr></form>

              <output id="9993j"><nobr id="9993j"></nobr></output>

              <noframes id="9993j">
                  <address id="9993j"><address id="9993j"></address></address>

                    <noframes id="9993j"><address id="9993j"><th id="9993j"></th></address>

                    <noframes id="9993j">

                      <em id="9993j"><form id="9993j"><nobr id="9993j"></nobr></form></em>