開源 RISC-V 處理器架構(gòu)正在撼動知識產(chǎn)權(quán) (IP) 界和片上系統(tǒng) (SoC) 領(lǐng)域。人們對它表現(xiàn)出極大的興趣，并開展了許多行業(yè)活動。然而，成功的 RISC-V 核心供應(yīng)商必須驗證其設(shè)計完整性的所有方面：功能正確性、安全性、可靠性和可信度。評估潛在 RISC-V 的 SoC 開發(fā)人員需要檢查其設(shè)計完整性標(biāo)準(zhǔn)是否得到完全滿足。他們可能希望再運行內(nèi)核級驗證步驟，然后執(zhí)行額外任務(wù)以確保內(nèi)核已正確集成?？蛇x特性、實現(xiàn)上的靈活性和客戶可擴展性，使得 RISC-V 設(shè)計的驗證尤其具有挑戰(zhàn)性。

IC完整性的范圍

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

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

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

審核編輯：黃飛

?