近日，2026年國際電子設計自動化研討會(ISEDA)在新加坡隆重開幕，英諾達攜其最新研究成果亮相ISEDA，發(fā)表題為《靜態(tài)跨時鐘域(CDC)檢查的符號化方法》的學術報告，展示其在集成電路設計驗證領域的最新研發(fā)成果。該研究提出了一種創(chuàng)新的符號化方法，旨在解決日益復雜的CDC檢測難題。

核心技術突破與創(chuàng)新亮點

隨著現(xiàn)代集成電路設計復雜度和規(guī)模的不斷攀升，確保不同時鐘域之間信號傳輸?shù)恼_性變得至關重要。傳統(tǒng)的CDC檢查方法在面對多源端、限定信號與目的端構成的多維問題域時，往往難以準確識別CDC違規(guī)問題及同步/非同步模式。英諾達此次發(fā)布的成果，正是針對這一行業(yè)痛點，提出了一套高效且高精度的解決方案。

題目：靜態(tài)跨時鐘域(CDC)檢查的符號化方法

摘要：隨著工業(yè)級電路復雜度與規(guī)模的不斷提升，綜合后電路中的跨時鐘域(CDC)違規(guī)檢測正變得日益困難。其核心難點在于：如何在包含源端、同步器與目的端的多維問題域中，準確識別CDC違規(guī)問題及同步/非同步(sync/unsync)模式。文章中提出了一種精確地靜態(tài)驗證CDC問題的符號化方法：首先，CDC狀態(tài)(CS)符號算法基于二元決策圖(BDD)進行演算，在每個節(jié)點處標記CS符號;隨后的整合步驟對其進一步細化，以準確反映多同步器的聯(lián)合效應。其次，特定模式(PS)符號算法在CS符號的基礎上進行計算，并為每個源端在整個問題域中標上PS符號。這些符號構成了判定路徑同步/非同步狀態(tài)的基礎。與業(yè)界主流CDC工具相比，文中的方法在實際芯片設計中實現(xiàn)了CDC同步與非同步檢測100%的準確率。

技術亮點：

高精度：通過精確的邏輯計算與驗證機制確保檢測結果的準確性。

廣泛適用性：配合高效的啟發(fā)式算法，有效應對多樣化且復雜的實際工程場景。

卓越性能：在嚴苛的驗證條件下仍能保持高效、可靠的運行表現(xiàn)。

英諾達的這項創(chuàng)新技術極大提升了CDC檢查的準確性和效率，特別是在實際芯片設計中，達到國際主流工具的水平，這對于保障芯片設計的可靠性和縮短開發(fā)周期具有里程碑式的意義。作為中國本土EDA企業(yè)的代表，英諾達始終將底層算法研發(fā)置于戰(zhàn)略核心，深度參與全球學術交流與技術共建。此次在ISEDA 2026上的成果發(fā)布，不僅彰顯了其在EDA核心技術領域的深厚積累與持續(xù)創(chuàng)新能力，也進一步印證了公司致力于構建完整國產(chǎn)EDA工具鏈、推動集成電路產(chǎn)業(yè)自主可控的長期愿景。

關于ISEDA

國際電子設計自動化研討會(ISEDA)是EDA領域最具影響力的國際學術會議之一。會議涵蓋從器件和電路級別到系統(tǒng)級別，從模擬到數(shù)字設計以及制造等廣泛的EDA主題，為全球EDA研究人員和工程師提供了一個交流最新研究成果、探討前沿技術和推動行業(yè)發(fā)展的平臺。

關于英諾達

英諾達(成都)電子科技有限公司是一家由行業(yè)資深人士創(chuàng)立的本土EDA企業(yè)，公司堅持以客戶需求為導向，幫助客戶實現(xiàn)價值躍升，為中國半導體產(chǎn)業(yè)提供卓越的EDA解決方案。公司的長期目標是通過EDA工具的研發(fā)和上云實踐，參與國產(chǎn)EDA完整工具鏈布局并探索適合中國國情的工業(yè)軟件上云的路徑與模式，賦能半導體產(chǎn)業(yè)高質(zhì)量發(fā)展。公司的主營業(yè)務包括：EDA軟件研發(fā)、IC設計云解決方案以及IC設計服務。