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

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

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

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

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

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

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

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

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

審核編輯：彭菁