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

EDA2俠客島簡介

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

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

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

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

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

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

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

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

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

此賽題的流程如下：

賽題詳情請點(diǎn)擊閱讀原文。

賽程安排

賽題Chair介紹

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

2025賽題一覽

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

其他

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

關(guān)于英諾達(dá)

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