EDA2俠客島難題挑戰·2025已正式開啟，英諾達作為命題企業之一，歡迎世界各地的同學和老師前來揭榜。

EDA2俠客島簡介

EDA2俠客島難題挑戰·2025由EDA開放創新合作機制(EDA2)主辦，由上海電子設計自動化發展促進會作為執行單位承辦。旨在探索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賽題一覽

除了英諾達的賽題之外，本屆EDA2俠客島難題挑戰賽題還有其他六道題目，都來自EDA企業實際項目，涉及DFM、電路物理設計、靜態邏輯驗證、半導體工藝仿真、芯片功能安全驗證、DFT、數字電路設計/物理設計等多個關鍵技術領域。七道賽題的賽題Chair均為各大知名EDA企業的技術專家。各參賽選手和隊伍可以在俠客島官網的演武堂論壇互相學習和交流。

其他

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

關于英諾達

英諾達(成都)電子科技有限公司是一家由行業頂尖資深人士創立的本土EDA企業，公司堅持以客戶需求為導向，幫助客戶實現價值最大化，為中國半導體產業提供卓越的EDA解決方案。公司的長期目標是通過EDA工具的研發和上云實踐，參與國產EDA完整工具鏈布局并探索適合中國國情的工業軟件上云的路徑與模式，賦能半導體產業高質量發展。英諾達首款自主研發的EnFortius凝鋒系列低功耗EDA工具，可有效幫助IC設計工程師定位并分析低功耗設計相關問題。在靜態驗證領域，EnAltius昂屹系列工具幫助客戶實現RTL Sign-Off，提高設計質量，幫助IC設計工程師做出最優決策。英諾達的EnCitius曜奇 SVS系統驗證平臺則利用EDA上云的優勢，為客戶打通驗證資源的渠道，提供全面的SoC及系統級驗證的一站式解決方案，提高芯片設計效率。此外，英諾達還可提供完整、可定制的前/后端設計服務。