英诺达亮相2025中国计算机学会软件大会

近日，中国计算机学会(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设计服务。