【ZiDongHua 之設(shè)計(jì)自動(dòng)化收錄關(guān)鍵詞：芯華章 中國電子 新思科技 先進(jìn)開放計(jì)算 】
　　
　　深芯盟先進(jìn)開放計(jì)算專業(yè)委員會(huì)揭牌成立 首批理事單位公布
　　
　　近日，在粵港澳大灣區(qū)RISC-V技術(shù)研討會(huì)暨先進(jìn)開放計(jì)算專業(yè)委員會(huì)成立大會(huì)上，芯華章與中國電子、長城科技、騰訊、深圳市重大產(chǎn)業(yè)投資集團(tuán)、新思科技、睿思芯科、藍(lán)芯算力、清華-伯克利、東南大學(xué)、中山大學(xué)、香港城市大學(xué)、鵬城實(shí)驗(yàn)室等30余家企業(yè)和科研院所，一同擔(dān)任先進(jìn)開放計(jì)算專業(yè)委員會(huì)首批理事單位，為產(chǎn)業(yè)提供覆蓋RISC-V全流程的驗(yàn)證方案。
 
　　
　　作為一種新興指令集，RISC-V的驗(yàn)證工作尤為重要。比起成熟架構(gòu)，RISC-V充滿了更多的開放性和不確定性。
　　
　　只有借助更充分、更完備的驗(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層面針對多核互聯(lián)、多接口的驗(yàn)證，以及對基于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)證
　　
　　在一致性證明過程中，芯華章的等價(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)過程中的一致性和正確性。
　　
　　從IP到RISC-V多核
　　
　　及SoC的設(shè)計(jì)仿真驗(yàn)證及調(diào)試
　　
　　基于芯華章自主研發(fā)的多核一致性模型，GalaxPSS可以自動(dòng)化生成大量針對Cache Coherency的C testcase，大大降低對工程師手工編寫驗(yàn)證場景的經(jīng)驗(yàn)依賴，提高驗(yàn)證的場景覆蓋率和完備性，在和國內(nèi)領(lǐng)先的RISC-V處理器IP供應(yīng)商芯來科技合作中，獲得了客戶的高度肯定。