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

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

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

李博士介紹了英諾達創新性大型工業軟件研發的基礎架構和支撐系統，該系統能提高研發工作效率，把更多時間和精力集中在產品功能創新和核心算法的設計上。另外，復用的公共組件和研發測試環境提升了產品的性能和穩定性。

這一架構以“面向目標、高效表達”的數據模型為核心，融合了高魯棒性與高復用性的核心算法庫，并通過統一的構建、驗證與部署流水線，實現產品共性與特異性的有機兼容。

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

“EDA不僅是算法的集合，更是系統工程的結晶，”李博士總結道，“英諾達將持續夯實基礎架構，以可靠、高效、可演進的工業軟件體系，為中國芯提供真正自主可控的設計底座。”

關于CCF中國軟件大會

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

關于英諾達

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