來源：內容由 公眾號 路科驗證 （ID：Rocker-IC）編輯部 原創，謝謝！

首先聲明，便攜式激勵標準(PortableStimulus Standard, PSS)不是一種方法論，而是一種語言。使用語言我們可以有序地傳遞信息，從而去構建工具，但工具也不是方法。我們所說的方法是指以某種可管理的方式系統地分解及解決問題的手段。工具可以支持方法，并且隨著時間的推移，工具可以在方法標準化之后幫助管理方法。但目前還沒有針對PSS的標準方法，也沒有該語言定義的工具功能。

用便攜式激勵語法所說明的基于圖形的驗證技術，在供應商之間提供了某種程度的通用性，這種基于圖形的驗證技術即我們所用的工具，這些工具可以在現有的方法論中使用，也可以創建以前的工具不支持的新工具。當供應商提供標準之外的功能時，用戶群體會決定這些功能的有用程度，并將有用的部分打包到標準的未來版本中，忽略不太有用的部分。這其實就是語言的演變過程，特別是對于在標準出現之前就定義了的語言來說。

舉個例子，上一代驗證解決方案依賴于功能覆蓋率來確定特定測試用例的價值，用RTL功能覆蓋率度量的覆蓋率代替驗證意義上的覆蓋率。運行測試時，它認為設計中的值等同于正在執行的預期行為。驗證工程師很難創建良好的功能覆蓋率模型，更難通過修改約束來增加覆蓋率。

使用便攜式激勵工具會捕捉設計的預期行為，其目標是意圖覆蓋，它確切地知道一個特定的測試用例應該覆蓋什么樣設計意圖。這樣看起來RTL上的功能覆蓋率似乎不能提供其他額外的信息。

并非如此。如果PSS模型遺漏了預期行為的一部分，那該怎么辦？相對地，如果RTL沒能實現所有需要的功能，又該怎么辦？基于圖形的意圖覆蓋僅表示測試生成工具認為測試的完整程度，RTL上的功能覆蓋不能找到丟失的功能，所以意圖覆蓋和RTL功能覆蓋之間的相互補充可以保證功能的完整性。

這種兩面性正是設計和驗證的核心。它需要兩個獨立的模型，系統地對進行比較，找出可能在設計、測試平臺或規范中出現的缺陷的差異。但問題是：PSS用戶將發覺，與PSS中提供的功能覆蓋率相比，RTL功能覆蓋率的舊概念有多重要？功能覆蓋率只能在仿真中收集。單元級的模擬速度雖然很快，但卻無法測試系統級行為，系統級測試平臺很慢，這就意味著不能運行大量的測試。

意圖覆蓋是否應該與仿真中的功能覆蓋相關聯，以獲得對PSS模型的信任，然后應用硬件仿真、FPGA和post-silicon來適當覆蓋其余的大型意圖覆蓋空間？這由用戶決定的，繼續使用現有的功能覆蓋機制的確為用戶從一個解決方案遷移到另一個解決方案提供了一種熟悉的機制。用戶可能會發現它非常有用，特別是在剛開始的時候。或者也可能認為其得不償失，這種機制不值得，當然了，功能覆蓋現如今被看作是一項要耗費大量時間和精力的工作。

隨著時間的推移，方法不斷進行優化，同時也在創建相應的工具，比如，幫助提供自動化和追蹤。現有的驗證管理器類似一個中央駕駛艙，在這里可以存儲結果和進度，并啟動新的驗證活動。首次定義帶約束隨機時還沒有驗證管理器，直到它實踐到最佳才開始出現。如果你認為這些管理器是基于PSS解決方案的正確使用方法，那就錯了。畢竟用戶還沒有機會確定如何使用現有的解決方案以及希望在其中看到的更改。

在Breker，我們鼓勵用戶群體探索優化他們時間和資源的方法，并提供我們認為對探索有所幫助的功能，并期望其中的一些功能能被廣泛應用。例如，TrekSoC可以提前生成完整的測試，也可以是被動生成的。它能夠生成在嵌入式處理器上運行的代碼，或者利用與DUT的事務通信，兩者兼有也可。每種方式支持不同的方法論。

我們一直并將繼續響應用戶的需求，可能是通過現有方法的擴展，例如圍繞System Verilog和UVM設計的方法，或者是新方法的創建，這些新方法到目前為止依賴于手動工作，沒有任何形式的自動化或追蹤技術。

作為供應商，我們會了解多數用戶正在做什么嘗試，并對這些功能的改進支持力度。方法學就是這樣發展壯大的，我們一起努力就可以做到。

---

作者介紹

Adnan Hamid, CEO of Breker

Adnan Hamid是Breker的創始人兼首席執行官，也是核心技術的發明者。在他的領導下，Breker已經成為復雜片上系統系統(SoC)功能驗證技術，特別是便攜式激勵技術的市場領導者。Breker在自驗證測試用例自動化方面的專業知識為SoC的驗證完整性設定了標準。

原文來自：https://www10.edacafe.com/blogs/thebrekertrekker/2019/01/15/methodology-language-and-tools/#more-2112

總結

以上是生活随笔為你收集整理的uvm 形式验证_这究竟属于下一代验证的方法、语言还是工具？||路科验证的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。