近日，第三十屆集成電路設計業展覽會（ICCAD-Expo 2024）在上海世博展覽館隆重舉辦。此次展會匯聚了國內外眾多知名集成電路企業，超6000位業界人士參加了會議，共同探討產業發展新趨勢。英諾達攜最新發布的兩款靜態驗證EDA工具亮相ICCAD，英諾達的創始人、CEO王琦博士在專題論壇發表了主題演講。

降本增效，RTL Signoff是必選項

在現代IC設計中，靜態驗證已成為確保芯片設計質量和可靠性的關鍵環節。與動態仿真和形式化驗證不同，靜態驗證通過在設計流程的早期階段對RTL代碼進行深度分析，能夠發現潛在的邏輯錯誤、設計不一致性、違反設計規則等問題，避免了在設計后期中才發現缺陷帶來的高昂修復成本。尤其在復雜的設計中，靜態驗證工具能夠自動識別潛在代碼缺陷、跨時鐘域等問題等，幫助設計團隊實現RTL Signoff。

在題為《英諾達RTL Signoff靜態驗證解決方案》的主題演講中，王琦博士詳細介紹了RTL Signoff在設計中的必要性，并重點展示了英諾達最新的EnAltiusCDC跨域檢查工具和EnAltiusLint RTL代碼檢查工具。他表示：“隨著芯片設計復雜度的不斷提升，芯片難以按時交付，RTL Signoff相關的工具在提高設計驗證和保證設計正確性方面的作用愈發重要。英諾達推出的系列靜態驗證工具基于統一的底層架構，能夠全方位、多維度地應對芯片設計企業所遇到的種種難題，助力企業在激烈的市場競爭中保持領先地位。”

英諾達靜態驗證工具矩陣

英諾達專注于數字IC設計靜態驗證EDA工具的研發，在RTL Signoff方面，英諾達的EnAltius CDC可以解決數字集成電路設計中常見的跨時鐘域和跨復位域問題。而EnAltius Lint則能夠發現設計代碼中潛在的語法錯誤和邏輯錯誤，并提供基本的語法、語義和規范檢查。針對RTL階段的功耗分析，EnFortius RPA可以提供早期功耗評估，幫助用戶提前對功耗進行優化。EnAltius DFT Checker則可以對RTL代碼進行分析，提前發現DFT相關問題和缺陷。 在低功耗設計領域，英諾達還可以提供設計全流程的解決方案，EnFortius LPC可以在RTL、邏輯和物理實現階段，檢查低功耗設計的完整性和正確性。EnFortius GPA可以針對門級網表級電路提供精確的功耗分析。

英諾達展會現場

在展會現場，英諾達的展臺吸引了眾多觀眾。今年展臺設置了EDA工具體驗區和演講區，觀眾能夠上機體驗英諾達最新的靜態驗證工具，并深入了解這些工具在芯片設計流程中的重要作用。通過工作人員的詳細講解和現場演示，參觀者對英諾達的產品有了更加直觀和深入的了解。與會者對英諾達的新產品表現出了極大的興趣和熱情。他們紛紛表示，這些新的EDA工具將為他們的工作帶來極大的便利和效益。

通過此次ICCAD展會，英諾達加深了與業界同仁的交流與合作。下一屆（2025年）ICCAD將在成都舉辦，作為成都本土EDA企業，我們歡迎您來美麗蓉城，期待與您再次相聚！

關于ICCAD-Expo 2024

本屆ICCAD由上海市經濟和信息化委員會、浦東新區人民政府、中國半導體行業協會集成電路設計分會指導，上海市浦東新區投資促進中心支持，上海張江高科技園區開發股份有限公司和上海芯媒會務服務有限公司共同主辦。本次大會以“智慧上海，芯動世界”為主題，深入探討當前形勢下我國集成電路產業特別是IC設計業面臨的困難與挑戰以及發展建議，為集成電路產業鏈各個環節的企業構筑了一個在技術、市場、應用、投資等領域交流合作的平臺，對集成電路發展突圍和升級壯大具有重大意義。

關于英諾達

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