|
國(guó)產(chǎn)EDA領(lǐng)軍企業(yè)芯華章科技與全國(guó)首家集成電路設(shè)計(jì)領(lǐng)域國(guó)家級(jí)創(chuàng)新中心——國(guó)家集成電路設(shè)計(jì)自動(dòng)化技術(shù)創(chuàng)新中心（簡(jiǎn)稱“EDA國(guó)創(chuàng)中心”）聯(lián)合宣布，正式推出基于大語(yǔ)言模型（LLM）的數(shù)字芯片驗(yàn)證大模型ChatDV。該模型具備完全自主知識(shí)產(chǎn)權(quán)，通過(guò)AI技術(shù)深度賦能芯片驗(yàn)證全流程，實(shí)現(xiàn)開(kāi)發(fā)效率提升超10倍、驗(yàn)證成本降低10倍的突破性進(jìn)展，標(biāo)志著國(guó)產(chǎn)EDA在智能化驗(yàn)證領(lǐng)域邁入全球第一梯隊(duì)。 技術(shù)突破：AI+EDA深度融合，覆蓋驗(yàn)證全鏈路 ChatDV以芯華章自主研發(fā)的數(shù)字驗(yàn)證全流程工具鏈為底層引擎，集成高性能邏輯仿真工具GalaxSim、形式化驗(yàn)證工具GalaxFV及等價(jià)性驗(yàn)證工具GalaxEC，形成從RTL代碼生成、斷言（SVA）自動(dòng)編寫(xiě)、測(cè)試向量（TB）生成到錯(cuò)誤調(diào)試的端到端解決方案。其核心創(chuàng)新包括： 智能斷言生成（iSVA）：基于LLM技術(shù)自動(dòng)生成復(fù)雜時(shí)序邏輯斷言，解決傳統(tǒng)手工編寫(xiě)耗時(shí)且易遺漏邊界條件的問(wèn)題。在中興微電子的實(shí)測(cè)中，復(fù)雜斷言開(kāi)發(fā)效率提升40%以上，調(diào)試周期從3天縮短至數(shù)小時(shí)。 參照模型自動(dòng)生成（iModel）：通過(guò)AI生成高精度參照模型，減少人工建模工作量，提升驗(yàn)證覆蓋率。 測(cè)試向量?jī)?yōu)化（iTest）：結(jié)合形式化驗(yàn)證與仿真技術(shù)，自動(dòng)生成高效測(cè)試用例，覆蓋傳統(tǒng)方法難以觸及的極端場(chǎng)景。 智能調(diào)試（iDebug）：實(shí)現(xiàn)RTL代碼錯(cuò)誤的自動(dòng)定位與修復(fù)，語(yǔ)法糾錯(cuò)率達(dá)100%，功能糾錯(cuò)率達(dá)83%。 在英偉達(dá)等學(xué)術(shù)與工業(yè)級(jí)測(cè)試中，ChatDV在超300個(gè)基準(zhǔn)上表現(xiàn)卓越，驗(yàn)證效率較傳統(tǒng)工具提升10倍以上，驗(yàn)證成本降低10倍，為國(guó)產(chǎn)高端芯片設(shè)計(jì)提供“降本增效”的核心支撐。 戰(zhàn)略協(xié)同：國(guó)家級(jí)創(chuàng)新平臺(tái)賦能，產(chǎn)學(xué)研深度融合 EDA國(guó)創(chuàng)中心作為科技部批準(zhǔn)的集成電路設(shè)計(jì)領(lǐng)域首個(gè)國(guó)家級(jí)技術(shù)創(chuàng)新中心，聚焦“智能EDA——計(jì)算一切電路”理念，聯(lián)合芯華章、飛騰、中興微電子等產(chǎn)業(yè)鏈龍頭，構(gòu)建從基礎(chǔ)研究到產(chǎn)業(yè)落地的完整生態(tài)。此次合作中： 芯華章提供底層工具鏈與AI算法能力，其GalaxSim性能已與國(guó)際主流仿真器相當(dāng)，并原生支持鯤鵬、飛騰等國(guó)產(chǎn)服務(wù)器架構(gòu)。 EDA國(guó)創(chuàng)中心依托專用算力平臺(tái)與海量集成電路設(shè)計(jì)數(shù)據(jù)，推動(dòng)大模型在驗(yàn)證場(chǎng)景中的規(guī)模化應(yīng)用。 中興微電子作為產(chǎn)業(yè)端代表，聯(lián)合發(fā)布《LLM based SVA Generation with Formal Evaluation》等研究成果，入選2025 DVCon China論文，為行業(yè)貢獻(xiàn)可復(fù)用的技術(shù)路徑。 三方合作還催生了多項(xiàng)創(chuàng)新成果： GalaxFV-LLM框架：針對(duì)高性能處理器芯片設(shè)計(jì)，通過(guò)AI自動(dòng)生成形式化驗(yàn)證斷言，減少人工干預(yù)，提升驗(yàn)證完備性。 GalaxEC-HEC高階等價(jià)性驗(yàn)證工具：在飛騰國(guó)產(chǎn)CPU項(xiàng)目中，實(shí)現(xiàn)雙精度乘加算子證明時(shí)間從89小時(shí)降至11小時(shí)，驗(yàn)證效率提升9倍。 產(chǎn)業(yè)影響：國(guó)產(chǎn)EDA突圍，破解“卡脖子”難題 當(dāng)前，全球EDA市場(chǎng)長(zhǎng)期被Cadence、Synopsys、西門子壟斷，國(guó)產(chǎn)芯片設(shè)計(jì)企業(yè)面臨工具鏈斷供風(fēng)險(xiǎn)。ChatDV的推出，不僅填補(bǔ)了國(guó)產(chǎn)AI驅(qū)動(dòng)驗(yàn)證工具的空白，更通過(guò)自主IP構(gòu)建技術(shù)護(hù)城河： 客戶覆蓋廣泛：芯華章已服務(wù)芯擎科技、黑芝麻、燧原科技、飛騰等數(shù)十家業(yè)內(nèi)知名企業(yè)，驗(yàn)證工具鏈經(jīng)過(guò)大規(guī)模項(xiàng)目打磨。 生態(tài)開(kāi)放共贏：ChatDV已開(kāi)放免費(fèi)試用，并支持與國(guó)產(chǎn)服務(wù)器、IP核的深度適配，加速構(gòu)建自主可控的EDA生態(tài)。 技術(shù)標(biāo)準(zhǔn)引領(lǐng)：研究成果入選國(guó)際頂級(jí)會(huì)議論文，推動(dòng)國(guó)產(chǎn)EDA技術(shù)從“跟跑”向“領(lǐng)跑”轉(zhuǎn)變。 未來(lái)展望：AI驅(qū)動(dòng)驗(yàn)證革命，共筑“中國(guó)芯”未來(lái) 芯華章董事長(zhǎng)兼CEO王禮賓表示：“ChatDV的發(fā)布是國(guó)產(chǎn)EDA智能化轉(zhuǎn)型的里程碑。未來(lái)，我們將持續(xù)深化與EDA國(guó)創(chuàng)中心、產(chǎn)業(yè)伙伴的合作，推動(dòng)AI技術(shù)在設(shè)計(jì)、驗(yàn)證、制造等全鏈條的滲透，讓芯片驗(yàn)證成為國(guó)產(chǎn)EDA的差異化優(yōu)勢(shì)領(lǐng)域�！� EDA國(guó)創(chuàng)中心主任時(shí)龍興教授指出：“ChatDV的落地驗(yàn)證了‘產(chǎn)學(xué)研用’協(xié)同創(chuàng)新模式的可行性。中心將繼續(xù)聚焦下一代智能EDA技術(shù)，與芯華章等企業(yè)共同攻克先進(jìn)工藝適配、異構(gòu)集成驗(yàn)證等難題，支撐我國(guó)集成電路產(chǎn)業(yè)高質(zhì)量發(fā)展�！� 關(guān)于芯華章科技 芯華章科技成立于2020年，專注于系統(tǒng)級(jí)驗(yàn)證EDA解決方案，已推出數(shù)字仿真、形式化驗(yàn)證、智能驗(yàn)證、原型驗(yàn)證等全流程工具鏈，擁有超200件專利申請(qǐng)，服務(wù)客戶覆蓋CPU、GPU、AI芯片等高端領(lǐng)域。 關(guān)于EDA國(guó)創(chuàng)中心 EDA國(guó)創(chuàng)中心由東南大學(xué)牽頭，聯(lián)合南京江北新區(qū)、國(guó)內(nèi)EDA龍頭企業(yè)、高校及科研院所共建，聚焦EDA共性技術(shù)、智能化EDA技術(shù)及先進(jìn)制造工藝相關(guān)EDA技術(shù)的攻關(guān)，致力于打造EDA技術(shù)發(fā)源地、產(chǎn)品示范地和人才匯聚地。 |
