開源 RISC-V 處理器架構正在撼動知識產權 (IP) 界和片上系統 (SoC) 領域。人們對它表現出極大的興趣，并開展了許多行業活動。然而，成功的 RISC-V 核心供應商必須驗證其設計完整性的所有方面：功能正確性、安全性、可靠性和可信度。評估潛在 RISC-V 的 SoC 開發人員需要檢查其設計完整性標準是否得到完全滿足。他們可能希望再運行內核級驗證步驟，然后執行額外任務以確保內核已正確集成。可選特性、實現上的靈活性和客戶可擴展性，使得 RISC-V 設計的驗證尤其具有挑戰性。

IC完整性的范圍

就在幾年前，許多人對采用開源方案實現開放規范處理器架構的想法還不屑一顧。現代處理器設計非常復雜，具有多級流水線、多級緩存、亂序執行、分支預測、推測執行和內存預取等先進功能。除了硬件設計，還需要一個龐大的生態系統。參考設計套件和軟件開發平臺必不可少。操作系統和應用程序必須移植到新架構。片上系統 (SoC) 行業的很大一部分必須導入新處理器進行設計，并在硅片中對其進行驗證。這些挑戰確實令人生畏。

然而，RISC-V 架構的引入打破了傳統觀念，并開始顛覆處理器領域。許多 RISC-V 核心，甚至一些圍繞這些核心構建的 SoC，都以開源方式提供。商用核心也存在，包含 RISC-V 處理器的芯片已在出貨。許多軟件已完成移植。為了支持 RISC-V 的演進和部署，已特意成立了兩個行業協會。似乎沒有什么能夠阻止這個新 ISA 的上升，但所有演進都免不了會遇到一些挑戰。對于 RISC-V，最大的問題之一是如何驗證核心和包含核心的 SoC 的完整性。

核心開發人員如何才能證明其實現是正確的？SoC 設計人員如何確保其選擇的核心——無論是來自開源網站、IP 供應商還是部開發團隊——能被接受？SoC 團隊如何確保 RISC-V 核心已正確集成？回答這些問題需要徹底驗證設計完整性及其四個組成部分：功能正確性、安全性、可靠性和可信度。本白皮書討論了滿足 RISC-V 完整性要求所面臨的一些具體挑戰，并介紹了一些有用的技術和工具。

審核編輯：黃飛

?