【ZiDongHua 之設(shè)計自動化收錄關(guān)鍵詞:西門子 EDA RISC-V SoC 片上系統(tǒng) 】
  
  確保 RISC-V 核心和 SoC 的完整性
  
  開源 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è)計完整性標準是否得到完全滿足。他們可能希望再運行內(nèi)核級驗證步驟,然后執(zhí)行額外任務(wù)以確保內(nèi)核已正確集成??蛇x特性、實現(xiàn)上的靈活性和客戶可擴展性,使得 RISC-V 設(shè)計的驗證尤其具有挑戰(zhàn)性?! ?img alt="" src="http://www.openheartcreations.com/uploadfile/2023/1219/02391229746118672.png" style="width: 426px; height: 251px;" />
  
  IC完整性的范圍
  
  就在幾年前,許多人對采用開源方案實現(xiàn)開放規(guī)范處理器架構(gòu)的想法還不屑一顧?,F(xiàn)代處理器設(shè)計非常復(fù)雜,具有多級流水線、多級緩存、亂序執(zhí)行、分支預(yù)測、推測執(zhí)行和內(nèi)存預(yù)取等先進功能。除了硬件設(shè)計,還需要一個龐大的生態(tài)系統(tǒng)。參考設(shè)計套件和軟件開發(fā)平臺必不可少。操作系統(tǒng)和應(yīng)用程序必須移植到新架構(gòu)。片上系統(tǒng) (SoC) 行業(yè)的很大一部分必須導(dǎo)入新處理器進行設(shè)計,并在硅片中對其進行驗證。這些挑戰(zhàn)確實令人生畏。
  
  然而,RISC-V 架構(gòu)的引入打破了傳統(tǒng)觀念,并開始顛覆處理器領(lǐng)域。許多 RISC-V 核心,甚至一些圍繞這些核心構(gòu)建的 SoC,都以開源方式提供。商用核心也存在,包含 RISC-V 處理器的芯片已在出貨。許多軟件已完成移植。為了支持 RISC-V 的演進和部署,已特意成立了兩個行業(yè)協(xié)會。似乎沒有什么能夠阻止這個新 ISA 的上升,但所有演進都免不了會遇到一些挑戰(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ù)和工具。