隨著電路集成度的不斷提高，設計也變得越來越復雜。芯片設計在功耗、可測性、跨時鐘域等各個方面都面臨巨大挑戰。從另一個角度看，芯片后期的查錯和糾錯成本越來越高，出于產品上市時間和成本的壓力，芯片設計團隊需要在設計早期的抽象層就著手提高設計方案的質量。

這種趨勢下，驗證在設計過程中的作用便得以凸顯。動態驗證作為設計團隊的常規手段，具有出色的錯誤檢測和定位能力，同時可以進行軟硬件調試。然而，這種方式對計算資源和測試時間的需求較高，將會影響速度和研發成本。相比之下，以靜態代碼分析和規則檢查為基礎的靜態驗證工具，可以在設計的早期階段實現快速且精準的驗證，從而幫助工程師提高代碼質量，增加芯片在設計初期的可預測性，目前，動態驗證配合全面的靜態驗證已經成為現代IC設計方法學的主流。

國內有一家企業就深耕靜態和動態驗證兩大領域，它就是英諾達（成都）電子科技有限公司。

英諾達（成都）電子科技有限公司是一家由行業頂尖資深人士創立的EDA企業，公司堅持以客戶需求為導向，幫助客戶實現價值最大化，為中國半導體產業提供卓越的EDA解決方案。公司的長期目標是通過EDA工具的研發和上云實踐，參與國產EDA完整工具鏈布局并探索適合中國國情的工業軟件上云的路徑與模式，賦能半導體產業高質量發展。

英諾達首款自主研發的EnFortius系列低功耗EDA工具，可有效幫助IC設計工程師定位并分析低功耗設計相關問題。英諾達的EnCitius SVS系統驗證平臺則利用EDA上云的優勢，為客戶打通驗證資源的渠道，提供全面的SoC及系統級驗證的一站式解決方案，提高芯片設計效率。

為了應對集成電路設計“左移”的趨勢和產品上市時間的挑戰，英諾達深耕IC靜態和動態驗證兩大領域，在動態驗證方面，英諾達的EnCitius SVS產品為客戶提供端到端的全套硬件加速的云解決方案，滿足各類型和應用領域的客戶對早期IC設計功能驗證的需求。在靜態驗證方面，英諾達以低功耗設計EDA工具為突破口，先后推出了EnFortius系列低功耗設計檢查（LPC）和網表級功耗分析（GPA）的EDA工具，旨在增強IC及系統在設計早期的可預測性，提升設計代碼質量，降低客戶整體開發成本，并縮短產品的上市時間。此外，英諾達還可提供完整、可定制的前端和后端設計服務。

首屆IDAS設計自動化產業峰會將于9月18日在武漢中國光谷科技會展中心舉行。

屆時，英諾達的副總經理熊文將帶來主題為《搭建芯片驗證完整版圖——靜態驗證工具及流程》的演講，與大家分享靜態驗證的挑戰及趨勢，對英諾達靜態驗證EDA工具及流程作詳細的介紹，同時他也將介紹英諾達即將推出的一款新的靜態驗證EDA工具以及公司在整個靜態驗證EDA工具版圖中的未來戰略規劃。

此外，英諾達也將攜最新產品參展，與產業上下游及同行交流分享，加強合作。

審核編輯：彭菁