歡迎登臨俠客島，共解EDA難題

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

EDA2俠客島簡介

EDA2俠客島難題挑戰(zhàn)·2025由EDA開放創(chuàng)新合作機制(EDA2)主辦，由上海電子設計自動化發(fā)展促進會作為執(zhí)行單位承辦。旨在探索EDA企業(yè)難題，助力EDA人才成長為核心愿景，打通EDA工具難題挑戰(zhàn)、課題精研/學習、實驗平臺、領域交流論壇等多生態(tài)場景，與企業(yè)、高校等聯(lián)手共享廣闊資源。

英諾達·賽題挑戰(zhàn)

賽題題目：面向大規(guī)模數(shù)字電路的邏輯與結構分析算法

賽題標簽：C++、靜態(tài)驗證、邏輯綜合、DFT、BDD

命題企業(yè)：英諾達(成都)電子科技有限公司

賽題Chair：李英夢博士 英諾達EDA研發(fā)副總裁

基于結構(structure)和功能(function)的電路邏輯分析是 EDA 工具，特別是邏輯綜合、邏輯優(yōu)化和邏輯檢查等工具的核心。由于所有的邏輯分析基于布爾代數(shù)(Boolean Algebra)的基礎理論，絕大部分問題的算法復雜度都是NP-Complete，所以需要 EDA 工具基于不同的問題和應用提供高效的 heuristic 算法。本題目涉及的算法可以廣泛的應用在邏輯等效驗證(LEC)、測試向量生成(ATPG)，可測試性分析(testability analysis)等 EDA 工具當中，一個高性能、魯棒性強的算法是保證相關工具能在各種不同應用環(huán)境中面對超大規(guī)模電路設計能快速獲取結果的關鍵。

本賽題概要如下： 對于任何一個L+S+X個輸入(X可以為空集)、D個輸出的組合邏輯(combinationallogic)，如下圖所示：

是否存在一個邏輯向量賦值給輸入信號L1,L2,…,Li從而導致輸出函數(shù)D1,D2,...,Dn不依賴任何S組信號S1,S2,…,Sk的邏輯函數(shù)，也就是：

此賽題的流程如下：

賽題詳情請點擊閱讀原文。

賽程安排

賽題Chair介紹

李英夢博士在EDA領域有近30年的經(jīng)驗，并在全球知名EDA公司Synopsys、Cadence和Mentor Graphics有完整的職業(yè)經(jīng)歷，擔任了從研發(fā)到技術主管的多個關鍵職位。李博士在加入這個行業(yè)的早期，帶領超過20人的團隊開發(fā)了綜合和優(yōu)化的EDA工具，期間團隊共申請了超過5個技術專利。作為邏輯和時序優(yōu)化的專家，李博士領導開發(fā)了業(yè)界第一個全自動的時序樹綜合工具。他還獲得多項專利，并在各種國際會議和期刊發(fā)表了十余篇論文。

2025賽題一覽

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

其他

英雄帖既出，四海英豪現(xiàn)!

關于英諾達

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