7月17-18日，在中國(guó)規(guī)模最大、規(guī)格最高的RISC-V峰會(huì)上，芯華章向數(shù)千名專業(yè)用戶展示其面向RISC-V指令集打造的完整敏捷驗(yàn)證方案，其中最新發(fā)布的GalaxSim Turbo 3.0創(chuàng)新性地結(jié)合事件驅(qū)動(dòng)和周期驅(qū)動(dòng)雙引擎在仿真性能上的優(yōu)勢(shì)，以自動(dòng)負(fù)載調(diào)度算法提升并行仿真效率，在周期加速場(chǎng)景中，相比于傳統(tǒng)商業(yè)仿真器相比可實(shí)現(xiàn)十倍以上的驗(yàn)證效率提升。

GalaxSim Turbo 3.0

雙仿真引擎兼顧性能和易用性

隨著現(xiàn)在設(shè)計(jì)復(fù)雜性的提高，傳統(tǒng)的邏輯仿真器產(chǎn)品在很多場(chǎng)景下受限于事件的異步行為，設(shè)計(jì)的分割(Partition)和線程同步有較大的限制，往往無(wú)法支持高速的并行仿真，從而大大限制了驗(yàn)證的場(chǎng)景和規(guī)模。

GalaxSim Turbo高速仿真模式讓用戶在不需要修改驗(yàn)證環(huán)境的情況下，大幅提高了仿真并行度。同時(shí)混合仿真模式兼顧了傳統(tǒng)仿真器對(duì)SystemVerilog語(yǔ)法和UVM特性的支持，結(jié)合XEDB波形合并、功能覆蓋率分析等一系列實(shí)用的調(diào)試工具，有效確保了驗(yàn)證流程的連貫性。

使用門檻更低

支持Verilog/SystemVerilog全語(yǔ)法，額外支持SVA，F(xiàn)unctional Coverage等Verilator沒(méi)有的功能，同時(shí)可在原先的仿真用例上可以一鍵切換;

易用性更強(qiáng)

不局限C Testbench，驗(yàn)證環(huán)境的移植平滑，維護(hù)成本大大降低;

并行效率高

Verilator線程數(shù)目需要編譯前指定，Turbo的線程數(shù)目可以在RunTime的時(shí)候根據(jù)服務(wù)器資源指定，大大提高多線程的管理效率;

仿真運(yùn)行速度更快

在拆分設(shè)計(jì)之前對(duì)設(shè)計(jì)描述方式和信號(hào)同步機(jī)制進(jìn)行深度優(yōu)化，同時(shí)可以根據(jù)客戶設(shè)計(jì)特點(diǎn)進(jìn)行特殊的定向優(yōu)化;

運(yùn)行資源管理優(yōu)化

運(yùn)行時(shí)可以自動(dòng)尋找合適的CPU資源，并得到計(jì)算資源，通訊資源的優(yōu)化匹配;

調(diào)試能力強(qiáng)

支持并行下載芯華章波形文件格式XEDB，波形文件大幅減小，下載速度顯著提升，得到完整的一體化Debug體驗(yàn)。

表1：RISC-V開(kāi)源項(xiàng)目實(shí)踐，驗(yàn)證效率顯著提升

芯華章科技聯(lián)席CEO謝仲輝表示：“在科技競(jìng)爭(zhēng)異常激烈的今天，我們以AI賦能EDA技術(shù)革新的同時(shí)，也在積極地探索具有巨大潛能的應(yīng)用場(chǎng)景，以更敏捷、更充分、更完備的驗(yàn)證方案，保障基于RISC-V架構(gòu)相關(guān)產(chǎn)品的穩(wěn)定性，從而助力RISC-V其獲得大規(guī)模的商業(yè)部署，發(fā)展中國(guó)自主可控的RISC-V架構(gòu)芯片服務(wù)于市場(chǎng)?！?/p>

芯華章在與芯來(lái)、開(kāi)芯院、國(guó)家集成電路設(shè)計(jì)自動(dòng)化技術(shù)創(chuàng)新中心、中國(guó)科學(xué)院計(jì)算技術(shù)研究所等多家客戶深度合作中，產(chǎn)品也在不斷升級(jí)，幫助客戶解決從IP高度定制化到系統(tǒng)軟硬件協(xié)同驗(yàn)證等一系列挑戰(zhàn)。

RISC-V 具有高度可定制化和場(chǎng)景復(fù)雜的特點(diǎn)，在AI芯片定制當(dāng)中，設(shè)計(jì)者為了提高計(jì)算效率、支持如浮點(diǎn)運(yùn)算、AI算子等特定應(yīng)用需求，往往會(huì)對(duì)傳統(tǒng)處理器指令(如RISC-V)進(jìn)行擴(kuò)展定制，而其計(jì)算復(fù)雜度高，驗(yàn)證難度大，使用傳統(tǒng)驗(yàn)證方法難以做到有效完備驗(yàn)證。

GalaxEC

面向EDA 2.0目標(biāo)，芯華章運(yùn)用新一代形式化求解算法和并行計(jì)算技術(shù)打造高性能求解引擎，GalaxEC基于形式化底層技術(shù)，能一站式滿足用戶全流程等價(jià)性驗(yàn)證需求，避免多工具切換成本，幫助工程師確保不同層次設(shè)計(jì)之間的一致性，同時(shí)，GalaxEC HEC可完備驗(yàn)證RISC-V處理器算子實(shí)現(xiàn)的正確性，包括算術(shù)邏輯單元ALU、整數(shù)運(yùn)算單元及浮點(diǎn)運(yùn)算單元等C++算法模型到RTL實(shí)現(xiàn)的等價(jià)性，可支持原生云部署，更好地滿足敏捷驗(yàn)證與設(shè)計(jì)需要。

基于RISC-V的應(yīng)用系統(tǒng)需要系統(tǒng)級(jí)驗(yàn)證及軟件適配，更多軟件生態(tài)需要移植到RISC-V處理器，但由此帶來(lái)的bug是軟件問(wèn)題還是硬件問(wèn)題?定位和調(diào)試?yán)щy，需要更強(qiáng)大的軟件代碼-硬件電路聯(lián)合調(diào)試手段。

HuaPro P3

HuaPro P3采用最新一代可編程SoC芯片，結(jié)合自研的HPE Compiler工具鏈 ,可支持容量更大、速度更快、更多最新高速接口的用戶芯片設(shè)計(jì);同時(shí)，對(duì)基于RISC-V等多種異構(gòu)處理器架構(gòu)的定制化高性能應(yīng)用芯片，HuaPro P3的軟硬件系統(tǒng)可支持自動(dòng)化和智能化的實(shí)現(xiàn)流程、支持靈活模塊化擴(kuò)展和云部署，有效減少用戶人工投入、縮短芯片驗(yàn)證周期，兼顧驗(yàn)證性能和深度調(diào)試的需求。

關(guān)于第五屆RISC-V中國(guó)峰會(huì)

RISC-V中國(guó)峰會(huì)是全球三大RISC-V專業(yè)會(huì)展之一，也是中國(guó)規(guī)模最大的RISC-V年度活動(dòng)。

本屆由上海開(kāi)放處理器產(chǎn)業(yè)創(chuàng)新中心(SOPIC)主辦，旨在協(xié)同RISC-V產(chǎn)業(yè)鏈上下游企業(yè)，共建RISC-V關(guān)鍵共性技術(shù)平臺(tái)，用開(kāi)放的硬件平臺(tái)構(gòu)建開(kāi)源的軟件生態(tài)，從而有力促進(jìn)RISC-V技術(shù)的產(chǎn)業(yè)化應(yīng)用和商業(yè)化落地。