RISC-V具有高度可定制、模塊化、場(chǎng)景多樣的特點(diǎn)，在為計(jì)算產(chǎn)業(yè)帶來高效、靈活、開放、易協(xié)作等一系列優(yōu)勢(shì)的同時(shí)，也對(duì)芯片的驗(yàn)證調(diào)試帶來新的考驗(yàn)。在近日舉行的第五屆RISC-V中國峰會(huì)（以下簡(jiǎn)稱“峰會(huì)”）上，如何從IP、EDA等設(shè)計(jì)工具層面，提升RISC-V處理器的開發(fā)、驗(yàn)證和調(diào)試效率，以充分發(fā)揮RISC-V指令集的優(yōu)勢(shì)，成為業(yè)界關(guān)心的焦點(diǎn)。

新的驗(yàn)證方法學(xué)：提升RISC-V處理器驗(yàn)證效率和質(zhì)量

仿真驗(yàn)證是芯片實(shí)現(xiàn)設(shè)計(jì)目標(biāo)和功能正確的必備步驟，直接影響芯片設(shè)計(jì)的成功率。在峰會(huì)展區(qū)，記者在思爾芯、芯華章等EDA企業(yè)展臺(tái)都看到了原型驗(yàn)證平臺(tái)。據(jù)思爾芯工作人員介紹，基于FPGA原型驗(yàn)證平臺(tái)和操作系統(tǒng)，RISC-V設(shè)計(jì)企業(yè)可以將寫好的代碼通過FPGA進(jìn)行硬件實(shí)現(xiàn)和模擬，繼而開展功能開發(fā)和Debug，完整這套流程后就可以進(jìn)行客戶演示?！斑@樣的好處有兩個(gè)，一是給客戶信心；二是客戶可以將這套完整的、堪比流片后的環(huán)境融入自己的系統(tǒng)，做進(jìn)一步的開發(fā)。”

思爾芯原型驗(yàn)證平臺(tái)

目前，RISC-V處理器常用的仿真框架是協(xié)同仿真驗(yàn)證，其原理是將待測(cè)設(shè)計(jì)（DUT）與參考模型（REF）一起仿真。DUT每執(zhí)行一條指令，REF也執(zhí)行一條指令，并且對(duì)比二者執(zhí)行指令之后的結(jié)果是否一致。

但RISC-V的技術(shù)趨勢(shì)，正在給協(xié)同仿真驗(yàn)證帶來挑戰(zhàn)。首先是RISC-V指令集的復(fù)雜度迅速膨脹。比如RVA23有33個(gè)必選擴(kuò)展、830頁指令集手冊(cè)，相比2019年已經(jīng)翻倍，且不同的RISC-V擴(kuò)展有不同的驗(yàn)證需求，導(dǎo)致驗(yàn)證難度提升。其次是處理器的電路仿真速度正在放慢。尤其是最常使用的軟件仿真，其速度隨著處理器規(guī)模擴(kuò)大而大幅下降。

為了改善芯片驗(yàn)證質(zhì)量與效率，產(chǎn)業(yè)界轉(zhuǎn)向基于Emulator（硬件仿真器）、FPGA的硬件仿真平臺(tái)，其特點(diǎn)在于將REF部署在Host環(huán)境，以軟硬件（RTL-Host）通信為核心，利用PCIE、以太網(wǎng)、InfiniBand等連接手段在軟件（Host側(cè)）和硬件（RTL側(cè)）之間傳遞信息，實(shí)現(xiàn)了對(duì)電路仿真的數(shù)量級(jí)加速。比如香山團(tuán)隊(duì)長(zhǎng)期維護(hù)的DiffTest框架，已經(jīng)支持硬件仿真加速。

但香山團(tuán)隊(duì)發(fā)現(xiàn)，RTL-Host架構(gòu)帶來的通信開銷，限制了DiffTest對(duì)香山等復(fù)雜處理器的驗(yàn)證加速效果。面向這一瓶頸，香山團(tuán)隊(duì)提出了SVM（可綜合驗(yàn)證方法），把整個(gè)REF映射到FPGA上或者Emulator上，使REF與DUT的通信都在片上完成，從而避免通信開銷。

但SVM架構(gòu)的構(gòu)建，也面臨一些挑戰(zhàn)。對(duì)此，香山團(tuán)隊(duì)進(jìn)行了一系列技術(shù)和模型創(chuàng)新。

一是如何確保REF的電路代碼實(shí)現(xiàn)。REF通常為軟件指令集模擬器，如何用硬件描述和實(shí)現(xiàn)，尚處于空白。香山團(tuán)隊(duì)采用了語義代碼遷移技術(shù)，通過構(gòu)造指令操作樹，將Spike的基本語義轉(zhuǎn)變成REF或者RTL的語義，支持指令功能、控制和狀態(tài)寄存器(CSR)、常量等語義信息自動(dòng)遷移。

二是如何提升硬件REF的執(zhí)行效率。香山團(tuán)隊(duì)提出了硬件參考模型(SRef)設(shè)計(jì)：當(dāng)DUT提交N條指令，SRef執(zhí)行N條指令，并對(duì)比結(jié)果。同時(shí)，通過全流水無阻塞的工作流程，消除RISC-V指令間的控制依賴。

三是如何提升SVM框架的可調(diào)試性。香山團(tuán)隊(duì)提出了一種可綜合的調(diào)試技術(shù)，當(dāng)CPU執(zhí)行出錯(cuò)時(shí)，將REF轉(zhuǎn)換為獨(dú)立執(zhí)行的通用CPU。這意味著REF可以作為CPU去讀取片上提取器，判斷是哪個(gè)硬件化斷言出錯(cuò)，從而用于調(diào)試。

隨著香山處理器迭代到第三代架構(gòu)“昆明湖”，核心數(shù)量增加至16核，并構(gòu)建了面向高性能計(jì)算場(chǎng)景的系統(tǒng)級(jí)SoC架構(gòu)，其CPU系統(tǒng)復(fù)雜性進(jìn)一步提升，亟需大規(guī)模FPGA平臺(tái)與自動(dòng)化工具鏈。圍繞香山昆明湖16核CPU的大級(jí)聯(lián)FPGA系統(tǒng)驗(yàn)證，香山團(tuán)隊(duì)與EDA企業(yè)合見工軟進(jìn)行了實(shí)踐。

昆明湖處理器驗(yàn)證挑戰(zhàn)

合見工軟驗(yàn)證產(chǎn)品線市場(chǎng)總監(jiān)曹夢(mèng)俠表示，構(gòu)建大型FPGA系統(tǒng)有三個(gè)難點(diǎn)。首先是如何將大規(guī)模設(shè)計(jì)切割到不同的FPGA中，這是困擾產(chǎn)業(yè)界幾十年的難題；其次是切割后如何保證功能正確；再次是怎么建立精確的時(shí)序模型。

面向以上難點(diǎn)，合見工軟和香山團(tuán)隊(duì)建立了提出了一套系統(tǒng)化的多核處理器 FPGA驗(yàn)證方法論，包括設(shè)計(jì)移植與適配、編譯迭代效率與資源優(yōu)化使用的最大化平衡、漸進(jìn)式啟動(dòng)策略與軟硬協(xié)同調(diào)試技術(shù)。

基于這套方法論，雙方實(shí)現(xiàn)了四個(gè)成果。一是自動(dòng)化的編譯流程。除了必要的Porting之外，時(shí)鐘轉(zhuǎn)換、自動(dòng)分割、TDM IP綁定等關(guān)鍵工作都可以交給EDA工具，讓用戶將最寶貴的時(shí)間留給項(xiàng)目本身。二是達(dá)成了性能目標(biāo)，在16核完整版本中將CPU主時(shí)鐘穩(wěn)定運(yùn)行在10.2 MHz。三是在FPGA原型驗(yàn)證平臺(tái)上，完整運(yùn)行一個(gè)未經(jīng)裁剪的、可啟動(dòng)OS的16核高性能昆明湖RISC-V處理器系統(tǒng)。四是相比傳統(tǒng)方法，整體驗(yàn)證效率提升約40%，大幅縮短產(chǎn)品上市時(shí)間。

未來，雙方希望EDA企業(yè)協(xié)同推動(dòng)RISC-V驗(yàn)證方法學(xué)標(biāo)準(zhǔn)化。北京開源芯片研究院（以下簡(jiǎn)稱“開芯院”）高級(jí)工程師李賢飛表示，希望EDA廠商能開發(fā)更多支持CPU核心之外驗(yàn)證場(chǎng)景的特性，包括動(dòng)態(tài)功耗驗(yàn)證和低功耗驗(yàn)證。同時(shí)，開芯院希望與EDA廠商一起構(gòu)建工具鏈，包括Emulator與UVHS（原型驗(yàn)證）的混合驗(yàn)證模式；在多核驗(yàn)證方法學(xué)上，構(gòu)建存儲(chǔ)一致性協(xié)議的驗(yàn)證方法學(xué)，探索跨核事件的追蹤框架。此外，基于EDA廠商提供的新方案、新技術(shù)和新方法，探索溫榆河NOC的相關(guān)應(yīng)用，開發(fā)基于Emulator的CPU Tracer類的調(diào)試工具，并增加功耗—性能聯(lián)合分析能力，為SoC設(shè)計(jì)提供更全面的評(píng)估維度。

更精微的工具鏈：釋放RISC-V可定制可擴(kuò)展優(yōu)勢(shì)

可定制、可擴(kuò)展是RISC-V的天然優(yōu)勢(shì)，但要讓開發(fā)者便捷高效地開發(fā)出能運(yùn)行在CPU上的定制化指令，依然需要工具鏈從更細(xì)顆粒度予以支持。

在演講中，晶心科技介紹了其Andes ACE框架與AndesCycle模擬平臺(tái)，助力加速RISC-V自定義指令的開發(fā)與驗(yàn)證流程。據(jù)晶心軟件工程師顏敬哲介紹，開發(fā)者將ACE定義文件和精簡(jiǎn)Verilog文件提交至ACE框架的COPILOT代碼生成器，就能獲取C語言編程輔助函數(shù)接口、匯編器、OpenOCD調(diào)試工具等所需的擴(kuò)展文件。COPILOT還會(huì)自動(dòng)生成控制邏輯（ACE引擎）與指令模塊的Verilog代碼，開發(fā)者可將這些代碼集成至現(xiàn)有的AndesCore處理器架構(gòu)，從而得到定制化的CPU指令。接下來，開發(fā)者可基于AndesCycle模擬器，對(duì)指令進(jìn)行性能分析和調(diào)試，從而加速自定義指令的開發(fā)。

基于RISC-V指令集的ASIC（專用集成電路）芯片被視為AI芯片架構(gòu)創(chuàng)新的重要契機(jī)。威爾遜研究小組研報(bào)顯示，ASIC項(xiàng)目平均50%的時(shí)間用于驗(yàn)證，驗(yàn)證耗時(shí)最少的項(xiàng)目通常復(fù)用經(jīng)過預(yù)驗(yàn)證的IP模塊。反之，驗(yàn)證耗時(shí)較長(zhǎng)的項(xiàng)目往往涉及大量新開發(fā)的IP模塊。

為降低RISC-V企業(yè)的IP驗(yàn)證成本，西門子EDA團(tuán)隊(duì)帶來了端到端RISC-V調(diào)試和追蹤解決方案Ultra Sight-V，包括硬件IP層面的運(yùn)行控制、高效追蹤、高效調(diào)試IP、經(jīng)過預(yù)驗(yàn)證和量產(chǎn)驗(yàn)證的IP、UVM（通用驗(yàn)證方法學(xué)）驗(yàn)證環(huán)境、系統(tǒng)可擴(kuò)展性等，USB、JTAG、AXI等接口，主機(jī)軟件套件和兼容第三方工具的用戶環(huán)境。在調(diào)試RISC-V核心的IP硬件中，西門子團(tuán)隊(duì)提供了RISC-V高效追蹤（E-Trace），能夠?qū)ISC-V指令進(jìn)行高度壓縮。開啟RISC-V追蹤的可擴(kuò)展功能后，壓縮率——即測(cè)試基準(zhǔn)程序的BPI（記錄一條指令所需比特?cái)?shù)）下降40%。這意味著利用E-Trace進(jìn)行追蹤，在相同時(shí)間下消耗的帶寬更少，在相同的存儲(chǔ)空間和帶寬下可以追溯更長(zhǎng)時(shí)間之前發(fā)生的錯(cuò)誤。

隨著RISC-V生態(tài)系統(tǒng)的快速發(fā)展，SoC系統(tǒng)建模需求日益增長(zhǎng)。當(dāng)前主流的RISC-V仿真工具主要包括QEMU、Spike和Gem5，其建模優(yōu)勢(shì)各有不同，比如QEMU運(yùn)行性能較強(qiáng)，Spike開發(fā)較容易，Gem5模擬精度高且可兼容SystemC TLM。但也存在一些痛點(diǎn)。一是QEMU、Spike的精度僅為functional水平，至少需將其精度提升至Near-Cycle級(jí)別，才能支持Profiling（性能分析）等工具的擴(kuò)展。二是QEMU、Spike不支持SystemC TLM-2.0——作為通過事務(wù)級(jí)通信抽象的標(biāo)準(zhǔn)化接口，SystemC TLM-2.0實(shí)現(xiàn)了不同廠商RISC-V模型在同一虛擬平臺(tái)上的即插即用兼容性，方便集成到第三方VP。三是模型軟件接口不友好，沒有為集成自定義指令提供足夠便利。

各類仿真工具建模特點(diǎn)

面向以上痛點(diǎn)，芯來科技構(gòu)建了Nuclei Model。據(jù)芯來科技建模工程師徐子泰介紹，Nuclei Model在ISS基礎(chǔ)上建立Timing Model（時(shí)序模型），使RISC-V SoC系統(tǒng)達(dá)到 Near Cycle的建模精度。構(gòu)建時(shí)序模型之后，還需進(jìn)行Profiling。Nuclei Model有兩種Profiling方式，其一是將指令解碼后，將PC（程序計(jì)數(shù)器）和Cycle（周期數(shù)）輸出給Profiling處理單元，再通過Gprof等性能分析工具呈現(xiàn)CPU占用率，進(jìn)而分析性能瓶頸。其二是通過火焰圖，芯來團(tuán)隊(duì)結(jié)合了Flame Chart和Flame Graph兩種火焰圖的優(yōu)點(diǎn)，實(shí)現(xiàn)了帶時(shí)間軸屬性，調(diào)用棧關(guān)系以及多線程應(yīng)用程序可視化等特點(diǎn)的火焰圖?；赑rofiling定位熱點(diǎn)函數(shù)后，再結(jié)合自定義指令，可以快速優(yōu)化算法程序。

為了進(jìn)一步發(fā)揮RISC-V“任何用戶都可以不受限制地獲得RISC-V指令集”的開放性優(yōu)勢(shì)，中國科學(xué)院大學(xué)于2019年啟動(dòng)“一生一芯”開源處理器芯片教學(xué)流片實(shí)踐項(xiàng)目計(jì)劃，以開源處理器芯片為切入點(diǎn)，讓學(xué)生可以帶著自己設(shè)計(jì)的處理器芯片畢業(yè)。中國科學(xué)院計(jì)算所副研究員解壁偉在峰會(huì)現(xiàn)場(chǎng)表示，RISC-V的價(jià)值在于人人都可以定制自己的芯片，這一目標(biāo)的實(shí)現(xiàn)需要開源EDA。

“開源EDA的作用，就如GCC等開源編譯器之于開源軟件生態(tài)。”解壁偉表示。其所在的開源芯片生態(tài)團(tuán)隊(duì)推出了ECOS Studio開源芯片設(shè)計(jì)解決方案，推動(dòng)EDA工具及工具鏈開源，構(gòu)建基于開源EDA工具鏈的SoC和后端學(xué)習(xí)流程及講義。據(jù)悉，這套解決方案已經(jīng)在今年7月“一生一芯”暑期宣講會(huì)正式開放內(nèi)測(cè)。