本文來源于半導(dǎo)體芯科技 趙雪芹

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

從最擅長的地方切入，為本土客戶提供優(yōu)質(zhì)EDA解決方案

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

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

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

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

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

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

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

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

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

降本增效，RTL Signoff是必選項

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

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

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

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

關(guān)于英諾達

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