近日，在粵港澳大灣區(qū)RISC-V技術(shù)研討會(huì)暨先進(jìn)開(kāi)放計(jì)算專(zhuān)業(yè)委員會(huì)成立大會(huì)上，芯華章與中國(guó)電子、長(zhǎng)城科技、騰訊、深圳市重大產(chǎn)業(yè)投資集團(tuán)、新思科技、睿思芯科、藍(lán)芯算力、清華-伯克利、東南大學(xué)、中山大學(xué)、香港城市大學(xué)、鵬城實(shí)驗(yàn)室等30余家企業(yè)和科研院所，一同擔(dān)任先進(jìn)開(kāi)放計(jì)算專(zhuān)業(yè)委員會(huì)首批理事單位，為產(chǎn)業(yè)提供覆蓋RISC-V全流程的驗(yàn)證方案。

作為一種新興指令集，RISC-V的驗(yàn)證工作尤為重要。比起成熟架構(gòu)，RISC-V充滿(mǎn)了更多的開(kāi)放性和不確定性。

只有借助更充分、更完備的驗(yàn)證，才能保障基于RISC-V架構(gòu)相關(guān)產(chǎn)品的穩(wěn)定性，從而助力其獲得大規(guī)模的商業(yè)部署。

聚焦驗(yàn)證領(lǐng)域，芯華章從底層架構(gòu)創(chuàng)新做起，提供覆蓋RISC-V全流程需求的客制化驗(yàn)證方案，包括在core IP層面提供RISC-V指令和架構(gòu)實(shí)現(xiàn)驗(yàn)證，在RISC-V SoC層面針對(duì)多核互聯(lián)、多接口的驗(yàn)證，以及對(duì)基于RISC-V處理器的應(yīng)用提供完整的全系統(tǒng)驗(yàn)證方案。 同時(shí)，也提供靈活的腳本接口，允許工程師自定義驗(yàn)證環(huán)境，以適應(yīng)不斷變化的RISC-V生態(tài)系統(tǒng)。

RISC-V IP core驗(yàn)證

在一致性證明過(guò)程中，芯華章的等價(jià)性驗(yàn)證工具GalaxEC支持RISC-V處理器的算術(shù)邏輯單元ALU，包括乘法單元及浮點(diǎn)運(yùn)算等C++模型到RTL實(shí)現(xiàn)的等價(jià)性驗(yàn)證，確保設(shè)計(jì)在整個(gè)實(shí)現(xiàn)過(guò)程中的一致性和正確性。

從IP到RISC-V多核
及SoC的設(shè)計(jì)仿真驗(yàn)證及調(diào)試

基于芯華章自主研發(fā)的多核一致性模型，GalaxPSS可以自動(dòng)化生成大量針對(duì)Cache Coherency的C testcase，大大降低對(duì)工程師手工編寫(xiě)驗(yàn)證場(chǎng)景的經(jīng)驗(yàn)依賴(lài)，提高驗(yàn)證的場(chǎng)景覆蓋率和完備性，在和國(guó)內(nèi)領(lǐng)先的RISC-V處理器IP供應(yīng)商芯來(lái)科技合作中，獲得了客戶(hù)的高度肯定。

創(chuàng)新引領(lǐng) l 芯華章聯(lián)手芯來(lái)科技提升RISC-V處理器設(shè)計(jì)驗(yàn)證

此外，芯華章邏輯仿真器GalaxSim通過(guò)對(duì)SystemVerilog和UVM標(biāo)準(zhǔn)的支持，能夠?yàn)镽ISC-V CPU的研發(fā)提供仿真支持，同時(shí)其獨(dú)有的Turbo模式更能成倍加速多核RISC-V處理器的仿真驗(yàn)證效率。

目前，GalaxSim在多個(gè)客戶(hù)測(cè)試用例上已經(jīng)取得了2-3倍的仿真性能提升，大幅降低了仿真回歸測(cè)試的時(shí)間。

作為驗(yàn)證的必備基礎(chǔ)工具之一，芯華章調(diào)試系統(tǒng)Fusion Debug也針對(duì)RISC-V處理器提供深度定制調(diào)試服務(wù)。

復(fù)雜RISC-V系統(tǒng)級(jí)驗(yàn)證和軟件適配

在中國(guó)科學(xué)院計(jì)算技術(shù)研究所開(kāi)源RISC-V處理器“香山”項(xiàng)目中，芯華章雙模硬件仿真系統(tǒng)HuaPro P2E也有亮眼表現(xiàn)。

不同于傳統(tǒng)的原型驗(yàn)證或硬件仿真，HuaPro P2E基于統(tǒng)一的軟件平臺(tái)和硬件平臺(tái)，實(shí)現(xiàn)了有效的創(chuàng)新雙模工作形式：

? 硬件仿真模式下支持高達(dá)7千多個(gè)全信號(hào)互連，全信號(hào)不限深度的調(diào)試，以及各種虛擬驗(yàn)證方案。

? 在原型驗(yàn)證模式下，通過(guò)一鍵式原型驗(yàn)證流程可以大大縮短驗(yàn)證時(shí)間，在超大規(guī)模SoC設(shè)計(jì)可以實(shí)現(xiàn)高達(dá)10M的仿真速率，以滿(mǎn)足軟件開(kāi)發(fā)調(diào)試需求，同時(shí)還有豐富的接口解決方案。

HuaPro P2E —— 香山SoC Demo

未來(lái)，以先進(jìn)開(kāi)放計(jì)算專(zhuān)業(yè)委員會(huì)成立為契機(jī)，芯華章將繼續(xù)鏈接RISC-V先進(jìn)開(kāi)放計(jì)算領(lǐng)域技術(shù)、產(chǎn)業(yè)、人才、資本資源優(yōu)勢(shì)，深化生態(tài)聚合，破解行業(yè)關(guān)鍵共性痛點(diǎn)問(wèn)題，加快科技成果向新質(zhì)生產(chǎn)力轉(zhuǎn)化，為建設(shè)現(xiàn)代化產(chǎn)業(yè)體系提供“芯”動(dòng)力。