RISC-V 正受到整個半導(dǎo)體行業(yè)的關(guān)注。它提供了一個開源解決方案的誘惑，任何人都可以利用它來創(chuàng)建自己的 CPU 或自定義加速器。

當(dāng)然，深入挖掘并出現(xiàn)挑戰(zhàn)。RISC-V 是新的，還沒有多年現(xiàn)場驗證經(jīng)驗的好處。這意味著精心選擇和執(zhí)行的 CPU 驗證策略至關(guān)重要。這也意味著“黃金參考模型”的可用性是必須保護(hù)的關(guān)鍵組件。如果沒有已知的良好參考，就不可能對驗證結(jié)果有信心。擁有自定義指令集模擬器 （ISS） 對成功至關(guān)重要。

CPU 設(shè)計和相關(guān)指令集架構(gòu) （ISA） 的正確驗證是 CPU 核心工程組必須解決的最具挑戰(zhàn)性的活動之一。與固定功能設(shè)計或模塊不同，CPU 是可編程的，旨在執(zhí)行許多不同的任務(wù)。最終，它是由其 ISA 的廣度和深度以及程序員利用 ISA 的不同方式來定義的。即使使用超級計算機(jī)，考慮到指令、內(nèi)存利用率、數(shù)據(jù)模式等的所有組合，實現(xiàn)對 CPU 的 100% 驗證也需要數(shù)千年的時間。

相反，CPU 驗證小組必須更聰明地工作，并專注于進(jìn)行“足夠”的驗證以發(fā)現(xiàn)最有可能出現(xiàn)的問題。“足夠”的定義基于特定的 CPU 和 ISA 變化——例如廣泛的功能集與狹窄的集中集——以及可能是安全關(guān)鍵或通用的最終應(yīng)用程序市場，例如。

大型處理器公司花費數(shù)年時間和數(shù)億美元為其特定處理器和指令集開發(fā)驗證流程和方法。他們從時間和經(jīng)驗中受益，即便如此，多年來的顯著問題表明，針對每種可能的情況驗證 CPU 設(shè)計是多么困難。

在構(gòu)建用于 CPU 驗證的方法、流程和工具集時，RISC-V 設(shè)計和驗證小組有很多選擇。例如，一些團(tuán)體可能更喜歡基于經(jīng)驗的 Accellera 通用驗證方法 （UVM） 標(biāo)準(zhǔn)，而另一些團(tuán)體可能更喜歡 C。任何一種方法都是合適的。

同樣，在模擬平臺方面有多種選擇，通常根據(jù)經(jīng)驗或已經(jīng)使用的模擬平臺做出決定。較新的公司權(quán)衡投資于 EDA 行業(yè)的事實上的標(biāo)準(zhǔn)模擬器或開源模擬器（如 Verilator）的優(yōu)缺點。雖然沒有任何答案適用于所有情況，但在前進(jìn)之前就驗證環(huán)境達(dá)成一致是必須的。

該流程的另一個關(guān)鍵組成部分是所選 ISA 的 CPU 參考模型?？赡芎苋菀渍J(rèn)為它可以在內(nèi)部開發(fā)，這是一個固有的風(fēng)險提議。開發(fā) CPU 是一項艱巨的任務(wù)。最好尋找一個經(jīng)過驗證的外部參考模型，即驗證 CPU 和 ISA 所依據(jù)的“黃金”標(biāo)準(zhǔn)。

裝備驗證流程

RISC-V 驗證流程應(yīng)包含大量組件，以確保 RISC-V CPU 開發(fā)人員實現(xiàn)其驗證目標(biāo)。（圖片：SmartDV）

有了這么長的標(biāo)準(zhǔn)列表，確定一個符合所有條件的驗證流程似乎是一項無望的任務(wù)。一個 RISC-V CPU 驗證平臺是一個完整的環(huán)境，用于嚴(yán)格驗證基于 RISC-V 的新 CPU 設(shè)計，專門為 RISC-V CPU 開發(fā)人員實現(xiàn)對其設(shè)計的全面驗證。它與 SystemVerilog/UVM 和基于 C 的流程以及所有行業(yè)標(biāo)準(zhǔn)的模擬器和 Verilator 兼容。支持所有 RISC-V ISA 的測試套件以及經(jīng)過驗證的黃金參考模型。

RISC-V CPU 或定制加速器的商業(yè)驗證流程將為驗證組提供對其驗證結(jié)果的急需信心，并創(chuàng)造開放式協(xié)作和創(chuàng)新。