欢迎登临侠客岛，共解EDA难题

EDA²侠客岛难题挑战·2025已正式开启，英诺达作为命题企业之一，欢迎世界各地的同学和老师前来揭榜。

EDA²侠客岛简介

EDA²侠客岛难题挑战·2025由EDA开放创新合作机制(EDA²)主办，由上海电子设计自动化发展促进会作为执行单位承办。旨在探索EDA企业难题，助力EDA人才成长为核心愿景，打通EDA工具难题挑战、课题精研/学习、实验平台、领域交流论坛等多生态场景，与企业、高校等联手共享广阔资源。

英诺达·赛题挑战

赛题题目：面向大规模数字电路的逻辑与结构分析算法

赛题标签：C++、静态验证、逻辑综合、DFT、BDD

命题企业：英诺达(成都)电子科技有限公司

赛题Chair：李英梦博士 英诺达EDA研发副总裁

基于结构(structure)和功能(function)的电路逻辑分析是 EDA 工具，特别是逻辑综合、逻辑优化和逻辑检查等工具的核心。由于所有的逻辑分析基于布尔代数(Boolean Algebra)的基础理论，绝大部分问题的算法复杂度都是NP-Complete，所以需要 EDA 工具基于不同的问题和应用提供高效的 heuristic 算法。本题目涉及的算法可以广泛的应用在逻辑等效验证(LEC)、测试向量生成(ATPG)，可测试性分析(testability analysis)等 EDA 工具当中，一个高性能、鲁棒性强的算法是保证相关工具能在各种不同应用环境中面对超大规模电路设计能快速获取结果的关键。

本赛题概要如下： 对于任何一个L+S+X个输入(X可以为空集)、D个输出的组合逻辑(combinationallogic)，如下图所示：

是否存在一个逻辑向量赋值给输入信号L1,L2,…,Li从而导致输出函数D1,D2,...,Dn不依赖任何S组信号S1,S2,…,Sk的逻辑函数，也就是：

此赛题的流程如下：

赛题详情请点击阅读原文。

赛程安排

赛题Chair介绍

李英梦博士在EDA领域有近30年的经验，并在全球知名EDA公司Synopsys、Cadence和Mentor Graphics有完整的职业经历，担任了从研发到技术主管的多个关键职位。李博士在加入这个行业的早期，带领超过20人的团队开发了综合和优化的EDA工具，期间团队共申请了超过5个技术专利。作为逻辑和时序优化的专家，李博士领导开发了业界第一个全自动的时序树综合工具。他还获得多项专利，并在各种国际会议和期刊发表了十余篇论文。

2025赛题一览

除了英诺达的赛题之外，本届EDA²侠客岛难题挑战赛题还有其他六道题目，都来自EDA企业实际项目，涉及DFM、电路物理设计、静态逻辑验证、半导体工艺仿真、芯片功能安全验证、DFT、数字电路设计/物理设计等多个关键技术领域。七道赛题的赛题Chair均为各大知名EDA企业的技术专家。各参赛选手和队伍可以在侠客岛官网的演武堂论坛互相学习和交流。

其他

英雄帖既出，四海英豪现!

关于英诺达

英诺达(成都)电子科技有限公司是一家由行业顶尖资深人士创立的本土EDA企业，公司坚持以客户需求为导向，帮助客户实现价值最大化，为中国半导体产业提供卓越的EDA解决方案。公司的长期目标是通过EDA工具的研发和上云实践，参与国产EDA完整工具链布局并探索适合中国国情的工业软件上云的路径与模式，赋能半导体产业高质量发展。英诺达首款自主研发的EnFortius凝锋系列低功耗EDA工具，可有效帮助IC设计工程师定位并分析低功耗设计相关问题。在静态验证领域，EnAltius昂屹系列工具帮助客户实现RTL Sign-Off，提高设计质量，帮助IC设计工程师做出最优决策。英诺达的EnCitius曜奇 SVS系统验证平台则利用EDA上云的优势，为客户打通验证资源的渠道，提供全面的SoC及系统级验证的一站式解决方案，提高芯片设计效率。此外，英诺达还可提供完整、可定制的前/后端设计服务。