近日，第三十屆集成電路設(shè)計(jì)業(yè)展覽會（ICCAD-Expo 2024）在上海世博展覽館隆重舉辦。此次展會匯聚了國內(nèi)外眾多知名集成電路企業(yè)，超6000位業(yè)界人士參加了會議，共同探討產(chǎn)業(yè)發(fā)展新趨勢。英諾達(dá)攜最新發(fā)布的兩款靜態(tài)驗(yàn)證EDA工具亮相ICCAD，英諾達(dá)的創(chuàng)始人、CEO王琦博士在專題論壇發(fā)表了主題演講。

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

在現(xiàn)代IC設(shè)計(jì)中，靜態(tài)驗(yàn)證已成為確保芯片設(shè)計(jì)質(zhì)量和可靠性的關(guān)鍵環(huán)節(jié)。與動態(tài)仿真和形式化驗(yàn)證不同，靜態(tài)驗(yàn)證通過在設(shè)計(jì)流程的早期階段對RTL代碼進(jìn)行深度分析，能夠發(fā)現(xiàn)潛在的邏輯錯誤、設(shè)計(jì)不一致性、違反設(shè)計(jì)規(guī)則等問題，避免了在設(shè)計(jì)后期中才發(fā)現(xiàn)缺陷帶來的高昂修復(fù)成本。尤其在復(fù)雜的設(shè)計(jì)中，靜態(tài)驗(yà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á)最新的EnAltiusCDC跨域檢查工具和EnAltiusLint RTL代碼檢查工具。他表示：“隨著芯片設(shè)計(jì)復(fù)雜度的不斷提升，芯片難以按時交付，RTL Signoff相關(guān)的工具在提高設(shè)計(jì)驗(yàn)證和保證設(shè)計(jì)正確性方面的作用愈發(fā)重要。英諾達(dá)推出的系列靜態(tài)驗(yàn)證工具基于統(tǒng)一的底層架構(gòu)，能夠全方位、多維度地應(yīng)對芯片設(shè)計(jì)企業(yè)所遇到的種種難題，助力企業(yè)在激烈的市場競爭中保持領(lǐng)先地位?！?/p>

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

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

英諾達(dá)展會現(xiàn)場

在展會現(xiàn)場，英諾達(dá)的展臺吸引了眾多觀眾。今年展臺設(shè)置了EDA工具體驗(yàn)區(qū)和演講區(qū)，觀眾能夠上機(jī)體驗(yàn)英諾達(dá)最新的靜態(tài)驗(yàn)證工具，并深入了解這些工具在芯片設(shè)計(jì)流程中的重要作用。通過工作人員的詳細(xì)講解和現(xiàn)場演示，參觀者對英諾達(dá)的產(chǎn)品有了更加直觀和深入的了解。與會者對英諾達(dá)的新產(chǎn)品表現(xiàn)出了極大的興趣和熱情。他們紛紛表示，這些新的EDA工具將為他們的工作帶來極大的便利和效益。

通過此次ICCAD展會，英諾達(dá)加深了與業(yè)界同仁的交流與合作。下一屆（2025年）ICCAD將在成都舉辦，作為成都本土EDA企業(yè)，我們歡迎您來美麗蓉城，期待與您再次相聚！

關(guān)于ICCAD-Expo 2024

本屆ICCAD由上海市經(jīng)濟(jì)和信息化委員會、浦東新區(qū)人民政府、中國半導(dǎo)體行業(yè)協(xié)會集成電路設(shè)計(jì)分會指導(dǎo)，上海市浦東新區(qū)投資促進(jìn)中心支持，上海張江高科技園區(qū)開發(fā)股份有限公司和上海芯媒會務(wù)服務(wù)有限公司共同主辦。本次大會以“智慧上海，芯動世界”為主題，深入探討當(dāng)前形勢下我國集成電路產(chǎn)業(yè)特別是IC設(shè)計(jì)業(yè)面臨的困難與挑戰(zhàn)以及發(fā)展建議，為集成電路產(chǎn)業(yè)鏈各個環(huán)節(jié)的企業(yè)構(gòu)筑了一個在技術(shù)、市場、應(yīng)用、投資等領(lǐng)域交流合作的平臺，對集成電路發(fā)展突圍和升級壯大具有重大意義。

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

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