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个输出的组合逻辑（combinational logic），如下图所示：
是否存在一个逻辑向量赋值给输入信号L1,L2,…,Li从而导致输出函数D1,D2,...,Dn不依赖任何S组信号S1,S2,…,Sk的逻辑函数，也就是：
此赛题的流程如下：
赛题详情请点击阅读原文。
|
赛程安排
李英梦博士在EDA领域有近30年的经验，并在全球知名EDA公司Synopsys、Cadence和Mentor Graphics有完整的职业经历，担任了从研发到技术主管的多个关键职位。李博士在加入这个行业的早期，带领超过20人的团队开发了综合和优化的EDA工具，期间团队共申请了超过5个技术专利。作为逻辑和时序优化的专家，李博士领导开发了业界第一个全自动的时序树综合工具。他还获得多项专利，并在各种国际会议和期刊发表了十余篇论文。
除了英诺达的赛题之外，本届EDA²侠客岛难题挑战赛题还有其他六道题目，都来自EDA企业实际项目，涉及DFM、电路物理设计、静态逻辑验证、半导体工艺仿真、芯片功能安全验证、DFT、数字电路设计/物理设计等多个关键技术领域。七道赛题的赛题Chair均为各大知名EDA企业的技术专家。各参赛选手和队伍可以在侠客岛官网的演武堂论坛互相学习和交流。
英雄帖既出，四海英豪现！
欢迎各参赛成员通过以上二维码，积极联系管理员受邀加入赛事群，共同探讨赛题并获取最新赛事信息。
点击阅读原文，查看英诺达赛题详情。
