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)中,一個高性能、魯棒性強(qiáng)的算法是保證相關(guān)工具能在各種不同應(yīng)用環(huán)境中面對超大規(guī)模電路設(shè)計(jì)能快速獲取結(jié)果的關(guān)鍵。
本賽題概要如下: 對于任何一個L+S+X個輸入(X可以為空集)、D個輸出的組合邏輯(combinationallogic),如下圖所示:
是否存在一個邏輯向量賦值給輸入信號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ù)主管的多個關(guān)鍵職位。李博士在加入這個行業(yè)的早期,帶領(lǐng)超過20人的團(tuán)隊(duì)開發(fā)了綜合和優(yōu)化的EDA工具,期間團(tuán)隊(duì)共申請了超過5個技術(shù)專利。作為邏輯和時序優(yōu)化的專家,李博士領(lǐng)導(dǎo)開發(fā)了業(yè)界第一個全自動的時序樹綜合工具。他還獲得多項(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ì)等多個關(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)價值最大化,為中國半導(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ù)。
-
eda
+關(guān)注
關(guān)注
71文章
2776瀏覽量
173525 -
數(shù)字電路
+關(guān)注
關(guān)注
193文章
1614瀏覽量
80721 -
英諾達(dá)
+關(guān)注
關(guān)注
1文章
33瀏覽量
1965
原文標(biāo)題:歡迎登臨俠客島,共解EDA難題
文章出處:【微信號:gh_387c27f737c1,微信公眾號:英諾達(dá)EnnoCAD】歡迎添加關(guān)注!文章轉(zhuǎn)載請注明出處。
發(fā)布評論請先 登錄
相關(guān)推薦
評論