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

降本增效，RTL Signoff是必選項

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

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

英諾達靜態(tài)驗證工具矩陣

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

英諾達展會現(xiàn)場

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

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

關于ICCAD-Expo 2024

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

關于英諾達

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