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

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

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

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

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

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

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

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

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

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

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

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

降本增效，RTL Signoff是必選項(xiàng)

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

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

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

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

關(guān)于英諾達(dá)

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