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

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

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

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

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

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

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

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

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

關(guān)于英諾達

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