本文來源于半導體芯科技 趙雪芹

"12月11-12日，第三十屆集成電路設計業展覽會（ICCAD-Expo 2024）在上海世博展覽館隆重舉辦。英諾達攜最新發布的兩款靜態驗證EDA工具亮相ICCAD，英諾達的創始人、CEO王琦博士在專題論壇發表了主題演講，詳細介紹靜態驗證在設計中的必要性及最新發布的EDA工具。"

從最擅長的地方切入，為本土客戶提供優質EDA解決方案

英諾達（成都）電子科技有限公司成立于2020年，是一家由行業頂尖資深人士創立的本土EDA企業，公司堅持以客戶需求為導向，幫助客戶實現價值最大化，為中國半導體產業提供卓越的EDA解決方案。

王琦博士介紹：英諾達致力于為本土半導體設計公司提供最優質的EDA解決方案，包含三部分：一是自研的EDA軟件，二是硬件驗證的云平臺，三是設計服務。

隨著人工智能、5G通信、物聯網等技術的快速發展應用，芯片設計的復雜度、集成度越來越高，相應地對于EDA設計工具也帶來很多挑戰。特別是在當前中美博弈中國半導體先進工藝受限的背景下，中國IC設計期待不依賴于先進工藝的芯片設計技術，本土EDA廠商該如何幫助中國芯片設計企業實現國產高性能芯片的突破？

王博士在采訪中表示：本土EDA的優勢是可以及時響應客戶需求，通過迭代造成供給的優勢和差異。所以，本土EDA更應該關注國內客戶的需求，找到更適合中國國情的路徑模式。通俗來講發展本土半導體產業鏈跟登山一樣，如果別人走過的路，我們跟著走，當然成本最低也是最安全的，但是現在不讓我們走了，我們必須走自己的路。走自己的路，沒有技術底氣支撐是不行的，不能光靠雄心壯志，需要把登山包準備好，有充分準備才能達到目的。那EDA工具就是我們的登山包了。

“在最初的時候，國產EDA工具怎么讓客戶放棄現有的三大家的EDA選擇自己？你如果每一點都比別人差，客戶不可能用你的，你每一點都比別人好有一點幻想。必須有所取舍，專注于某些地方，然后形成局部優勢，慢慢把客戶從其他的工具吸引過來，這是一個比較實際的路徑。”王博士說，“要有創新，要通過客戶的支持及時形成差異化；但同時還必須要抓到一兩個點對標，讓別人看到我們比現有的工具有優勢，讓別人有意愿替換，最后才有信心替換。”

作為低功耗設計及應用的專家，王博士進一步現身說法：我們做EDA要從哪里切入？我想切入點必須要有特色，做得要比別人好，要從自己擅長的入手。我個人專長是低功耗設計，切入點是低功耗，但是光這一點不夠，所以我們選擇了靜態驗證，這是和動態驗證互補的，在整個設計流程里面需要分別做，降低流片的風險。

“到目前為止，我們已經發布了6款EDA靜態驗證工具，明年還有一款做RTL功耗優化的工具發布。EDA工具的發布只是起點不是結束，真正讓客戶使用EDA工具是需要一個過程的。一個工具開發出來需要兩到三年，客戶推廣也要兩三年。接下來，客戶推廣是我們的重點，把7款工具商業化，讓客戶真正使用。如果能夠形成收入的話，表示我們已經可以站穩腳跟了，也可以自負盈虧了。”王博士說。

除了EDA工具，英諾達還推出了云平臺。王博士解釋：我們有多種EDA解決方案，比如在硬件驗證方面，現在市面上主流的硬件驗證加速器很貴，又比較難維護，所以我們首創用云平臺的方式，為國內客戶提供硬件驗證加速，過去幾年我們的云平臺業務發展得很好。當然，我們的創新核心還是EDA軟件，云平臺這種商業模式可以輔助我們生存下來，讓我們有更好的自我造血能力，同時也滿足國內設計公司當前的緊迫需要。

此外，造成國內EDA發展相對落后的很大原因是人才培養沒跟上，小公司雖然不可能花很多精力在這方面，但是我們可以在局部領域和高校進行合作，比如授課，講解EDA領域的難點、特點，讓學生有興趣解決EDA的問題，其實EDA里面很多算法問題是很有意思的，只是學生不知道，我們把這些問題講解給他們，讓他們產生興趣。當然，講完問題以后，我們把自己的EDA工具給學生用，他們將來自然而然就會宣傳推廣，這也是很常見的EDA產學互動的路徑。

降本增效，RTL Signoff是必選項

不久前，英諾達發布了最新的ECDC和Elint兩款靜態驗證工具，與動態仿真和形式化驗證不同，靜態驗證通過在設計流程的早期階段對RTL代碼進行深度分析，能夠發現潛在的邏輯錯誤、設計不一致性、違反設計規則等問題，避免了在設計后期中才發現缺陷帶來的高昂修復成本。尤其在復雜的設計中，靜態驗證工具能夠自動識別潛在代碼缺陷、跨時鐘域等問題等，幫助設計團隊實現RTL Signoff。

在題為《英諾達RTL Signoff靜態驗證解決方案》的主題演講中，王琦博士詳細介紹了RTL Signoff在設計中的必要性，并重點展示了英諾達最新的ECDC跨域檢查工具和ELint 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企業，公司堅持以客戶需求為導向，幫助客戶實現價值最大化，為中國半導體產業提供卓越的EDA解決方案。公司的長期目標是通過EDA工具的研發和上云實踐，參與國產EDA完整工具鏈布局并探索適合中國國情的工業軟件上云的路徑與模式，賦能半導體產業高質量發展。英諾達首款自主研發的EnFortius凝鋒系列低功耗EDA工具，可有效幫助IC設計工程師定位并分析低功耗設計相關問題。在靜態驗證領域，EnAltius昂屹系列工具將在設計流程的早期增強可預測性，幫助IC設計工程師做出最優決策。英諾達的EnCitius曜奇 SVS系統驗證平臺則利用EDA上云的優勢，為客戶打通驗證資源的渠道，提供全面的SoC及系統級驗證的一站式解決方案，提高芯片設計效率。此外，英諾達還可提供完整、可定制的前/后端設計服務。