近日，中國(guó)計(jì)算機(jī)學(xué)會(huì)(CCF)軟件大會(huì)在湖北武漢成功舉辦。作為大會(huì)重要技術(shù)分論壇之一，“EDA軟件技術(shù)前沿” 聚焦EDA基礎(chǔ)軟件的核心挑戰(zhàn)與突破路徑，吸引了來自高校、科研機(jī)構(gòu)及產(chǎn)業(yè)界的百余位專家學(xué)者與工程師參與。英諾達(dá)的EDA研發(fā)副總李英夢(mèng)博士受邀出席，并發(fā)表題為《大型工業(yè)軟件研發(fā)之基礎(chǔ)架構(gòu)和支撐系統(tǒng)》的主題演講，系統(tǒng)分享國(guó)產(chǎn)EDA企業(yè)在構(gòu)建高可靠、高復(fù)雜度工業(yè)軟件過程中的技術(shù)思考與工程實(shí)踐。

當(dāng)前，EDA作為芯片設(shè)計(jì)的“基石軟件”，被公認(rèn)為我國(guó)亟需突破的“卡脖子”技術(shù)。英諾達(dá)作為國(guó)內(nèi)專注于數(shù)字中端EDA工具的科技企業(yè)，已成功推出EnFortius凝鋒低功耗設(shè)計(jì)工具與EnAltius昂屹靜態(tài)驗(yàn)證工具兩大產(chǎn)品線，構(gòu)建全流程功耗“分析-優(yōu)化-驗(yàn)證”的閉環(huán)體系，以及RTL早期質(zhì)量簽核的能力。其產(chǎn)品性能及可靠性已獲得多家商業(yè)客戶及業(yè)內(nèi)專家的高度認(rèn)可。

在演講中，李英夢(mèng)博士指出，大型工業(yè)軟件具有研發(fā)規(guī)模大、團(tuán)隊(duì)分工細(xì)、產(chǎn)品生命周期長(zhǎng)、可靠性要求極高等特征。因此必須構(gòu)建一套既能支撐復(fù)雜工程協(xié)作、又能保障長(zhǎng)期演進(jìn)能力的基礎(chǔ)架構(gòu)體系。

李博士介紹了英諾達(dá)創(chuàng)新性大型工業(yè)軟件研發(fā)的基礎(chǔ)架構(gòu)和支撐系統(tǒng)，該系統(tǒng)能提高研發(fā)工作效率，把更多時(shí)間和精力集中在產(chǎn)品功能創(chuàng)新和核心算法的設(shè)計(jì)上。另外，復(fù)用的公共組件和研發(fā)測(cè)試環(huán)境提升了產(chǎn)品的性能和穩(wěn)定性。

這一架構(gòu)以“面向目標(biāo)、高效表達(dá)”的數(shù)據(jù)模型為核心，融合了高魯棒性與高復(fù)用性的核心算法庫(kù)，并通過統(tǒng)一的構(gòu)建、驗(yàn)證與部署流水線，實(shí)現(xiàn)產(chǎn)品共性與特異性的有機(jī)兼容。

本次“EDA軟件技術(shù)前沿”論壇由CCF主辦，旨在推動(dòng)EDA基礎(chǔ)軟件研究生態(tài)建設(shè)，促進(jìn)AI for EDA、形式驗(yàn)證、求解器優(yōu)化等方向的產(chǎn)學(xué)研融合。英諾達(dá)的分享，展現(xiàn)了國(guó)產(chǎn)EDA企業(yè)在基礎(chǔ)軟件工程能力上的扎實(shí)積累。

“EDA不僅是算法的集合，更是系統(tǒng)工程的結(jié)晶，”李博士總結(jié)道，“英諾達(dá)將持續(xù)夯實(shí)基礎(chǔ)架構(gòu)，以可靠、高效、可演進(jìn)的工業(yè)軟件體系，為中國(guó)芯提供真正自主可控的設(shè)計(jì)底座?！?/p>

關(guān)于CCF中國(guó)軟件大會(huì)

CCF中國(guó)軟件大會(huì)由全國(guó)軟件與應(yīng)用學(xué)術(shù)會(huì)議(NASAC)與全國(guó)形式化方法與應(yīng)用會(huì)議(FMAC)兩個(gè)會(huì)議有機(jī)組成。NASAC創(chuàng)立于2002年，已舉辦二十三屆，由CCF主辦，CCF軟件工程專業(yè)委員會(huì)與CCF系統(tǒng)軟件專業(yè)委員會(huì)共同承辦，是中國(guó)軟件科學(xué)與工程相關(guān)領(lǐng)域參會(huì)人數(shù)最多、影響范圍最廣、涵蓋內(nèi)容最全面的學(xué)術(shù)會(huì)議。全國(guó)形式化方法與應(yīng)用會(huì)議(FMAC)創(chuàng)立于2016年，歷經(jīng)九屆，由CCF主辦，CCF形式化方法專業(yè)委員會(huì)承辦。FMAC聚焦形式化方法理論前沿和最新研究進(jìn)展，深化拓展形式化方法與相關(guān)領(lǐng)域的交叉，促進(jìn)形式化方法、工具和應(yīng)用在國(guó)內(nèi)的發(fā)展。

關(guān)于英諾達(dá)

英諾達(dá)(成都)電子科技有限公司是一家由行業(yè)頂尖資深人士創(chuàng)立的本土EDA企業(yè)，公司堅(jiān)持以客戶需求為導(dǎo)向，幫助客戶實(shí)現(xiàn)價(jià)值最大化，為中國(guó)半導(dǎo)體產(chǎn)業(yè)提供卓越的EDA解決方案。公司的長(zhǎng)期目標(biāo)是通過EDA工具的研發(fā)和上云實(shí)踐，參與國(guó)產(chǎn)EDA完整工具鏈布局并探索適合中國(guó)國(guó)情的工業(yè)軟件上云的路徑與模式，賦能半導(dǎo)體產(chǎn)業(yè)高質(zhì)量發(fā)展。公司的主營(yíng)業(yè)務(wù)包括：EDA軟件研發(fā)、IC設(shè)計(jì)云解決方案以及IC設(shè)計(jì)服務(wù)。