【ZiDongHua 之設(shè)計(jì)自動化收錄關(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)商必須驗(yàn)證其設(shè)計(jì)完整性的所有方面：功能正確性、安全性、可靠性和可信度。評估潛在 RISC-V 的 SoC 開發(fā)人員需要檢查其設(shè)計(jì)完整性標(biāo)準(zhǔn)是否得到完全滿足。他們可能希望再運(yùn)行內(nèi)核級驗(yàn)證步驟，然后執(zhí)行額外任務(wù)以確保內(nèi)核已正確集成?？蛇x特性、實(shí)現(xiàn)上的靈活性和客戶可擴(kuò)展性，使得 RISC-V 設(shè)計(jì)的驗(yàn)證尤其具有挑戰(zhàn)性?！　?img alt="" src="http://www.zkxxing.cn/uploadfile/2023/1219/02391229746118672.png" style="width: 426px; height: 251px;" />
　　
　　IC完整性的范圍
　　
　　就在幾年前，許多人對采用開源方案實(shí)現(xiàn)開放規(guī)范處理器架構(gòu)的想法還不屑一顧?，F(xiàn)代處理器設(shè)計(jì)非常復(fù)雜，具有多級流水線、多級緩存、亂序執(zhí)行、分支預(yù)測、推測執(zhí)行和內(nèi)存預(yù)取等先進(jìn)功能。除了硬件設(shè)計(jì)，還需要一個龐大的生態(tài)系統(tǒng)。參考設(shè)計(jì)套件和軟件開發(fā)平臺必不可少。操作系統(tǒng)和應(yīng)用程序必須移植到新架構(gòu)。片上系統(tǒng) (SoC) 行業(yè)的很大一部分必須導(dǎo)入新處理器進(jìn)行設(shè)計(jì)，并在硅片中對其進(jìn)行驗(yàn)證。這些挑戰(zhàn)確實(shí)令人生畏。
　　
　　然而，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，最大的問題之一是如何驗(yàn)證核心和包含核心的 SoC 的完整性。
　　
　　核心開發(fā)人員如何才能證明其實(shí)現(xiàn)是正確的？SoC 設(shè)計(jì)人員如何確保其選擇的核心——無論是來自開源網(wǎng)站、IP 供應(yīng)商還是部開發(fā)團(tuán)隊(duì)——能被接受？SoC 團(tuán)隊(duì)如何確保 RISC-V 核心已正確集成？回答這些問題需要徹底驗(yàn)證設(shè)計(jì)完整性及其四個組成部分：功能正確性、安全性、可靠性和可信度。本白皮書討論了滿足 RISC-V 完整性要求所面臨的一些具體挑戰(zhàn)，并介紹了一些有用的技術(shù)和工具。