英諾達(dá)推出兩款全新靜態(tài)驗(yàn)證EDA工具

(2024年12月5日，四川成都)英諾達(dá)(成都)電子科技有限公司隆重推出兩款全新的靜態(tài)驗(yàn)證EDA工具：EnAltiusCDC跨域檢查工具和Lint RTL代碼檢查工具。這兩款工具的推出，將進(jìn)一步提升芯片設(shè)計(jì)的效率和可靠性，助力中國(guó)芯片產(chǎn)業(yè)的發(fā)展。

靜態(tài)驗(yàn)證是通過(guò)分析設(shè)計(jì)的源代碼來(lái)發(fā)現(xiàn)設(shè)計(jì)中的問(wèn)題，作為業(yè)界普遍使用的方法，在設(shè)計(jì)中通過(guò)配合動(dòng)態(tài)仿真驗(yàn)證和形式化驗(yàn)證，可以顯著提高驗(yàn)證的覆蓋率，幫助設(shè)計(jì)師在設(shè)計(jì)開(kāi)發(fā)的早期更快地發(fā)現(xiàn)和診斷設(shè)計(jì)缺陷，從而縮短設(shè)計(jì)驗(yàn)證所需的時(shí)間。這兩款工具的發(fā)布進(jìn)一步豐富了英諾達(dá)的產(chǎn)品線，迄今為止英諾達(dá)已經(jīng)推出了6款面向數(shù)字電路的靜態(tài)驗(yàn)證和分析EDA工具。

新產(chǎn)品概覽

EnAltius昂屹CDC 跨域檢查工具

跨時(shí)鐘域(Clock Domain Crossing)是數(shù)字集成電路設(shè)計(jì)中常見(jiàn)的復(fù)雜問(wèn)題，時(shí)鐘域處理不當(dāng)通常會(huì)出現(xiàn)亞穩(wěn)態(tài)、數(shù)據(jù)丟失、潛在毛刺、多數(shù)據(jù)相關(guān)性丟失等問(wèn)題，導(dǎo)致芯片功能異常甚至失效，是流片失敗的主要因素之一。EnAltiusCDC可以在保證跨時(shí)鐘域CDC檢查完備性和準(zhǔn)確性的同時(shí)，在最短時(shí)間內(nèi)向用戶提供簡(jiǎn)潔的違例報(bào)告。其專有的靜態(tài)邏輯檢測(cè)算法，能夠準(zhǔn)確解析跨時(shí)鐘域經(jīng)典結(jié)構(gòu)，還可以通過(guò)電路功能性分析從而完成難度更高的非經(jīng)典的跨時(shí)鐘域結(jié)構(gòu)分析，為用戶提供全面而精確的分析結(jié)果。及早發(fā)現(xiàn)并解決CDC問(wèn)題，可以大大提高芯片的可靠性，減少芯片在實(shí)際應(yīng)用中發(fā)生故障的概率，而且在芯片設(shè)計(jì)早期發(fā)現(xiàn)并修復(fù)CDC問(wèn)題，可以降低設(shè)計(jì)迭代成本。

EnAltius昂屹Lint RTL代碼檢查工具

Lint工具是代碼工程師的左膀右臂，能夠發(fā)現(xiàn)設(shè)計(jì)代碼中潛在的語(yǔ)法錯(cuò)誤和邏輯錯(cuò)誤，尤其是在設(shè)計(jì)中對(duì)IP、模塊等進(jìn)行復(fù)用時(shí)，經(jīng)常出現(xiàn)風(fēng)格不統(tǒng)一，不利于維護(hù)的問(wèn)題。對(duì)于這些問(wèn)題，設(shè)計(jì)團(tuán)隊(duì)要在第一時(shí)間解決，否則將直接導(dǎo)致編譯或運(yùn)行錯(cuò)誤，影響開(kāi)發(fā)效率和質(zhì)量。EnAltiusLint不僅可以提供基本語(yǔ)法、語(yǔ)義和規(guī)范檢查，還可以檢測(cè)在仿真、驗(yàn)證或綜合階段的潛在缺陷，幫助設(shè)計(jì)團(tuán)隊(duì)實(shí)現(xiàn)檢查的“左移”，從而實(shí)現(xiàn)早期RTL代碼質(zhì)量簽核。該工具采用業(yè)界廣泛應(yīng)用的編碼規(guī)范，例如RMM和STARC，以及英諾達(dá)及其設(shè)計(jì)合作伙伴在該領(lǐng)域多年的專業(yè)積累而成的規(guī)范。這款工具不僅能提高代碼的可讀性，便于團(tuán)隊(duì)協(xié)作，還可以降低設(shè)計(jì)風(fēng)險(xiǎn)，提高芯片的可靠性。

注：ECDC工具的GUI界面

這兩款工具均基于英諾達(dá)全新的軟件架構(gòu)，通過(guò)讀入標(biāo)準(zhǔn)文件格式進(jìn)行分析和報(bào)告。同類工具的違規(guī)報(bào)告往往存在大量重復(fù)和組織混亂的信息，增加了分析難度。EnAltiusCDC和Lint工具對(duì)同源違例進(jìn)行合并，并對(duì)消息進(jìn)行了歸類，減少了重復(fù)的分析、調(diào)試和迭代過(guò)程。即使在設(shè)計(jì)異常龐大的情況下，該工具以目標(biāo)為導(dǎo)向的簡(jiǎn)潔報(bào)告和組織功能依然可以幫助用戶聚焦關(guān)鍵問(wèn)題。

此外，通過(guò)圖形化用戶界面(GUI)，從違例信息開(kāi)始，到違例路徑到電路細(xì)節(jié)，該工具為用戶清晰地展示電路中的潛在問(wèn)題。用戶可以通過(guò)RTL源代碼或電路原理圖進(jìn)行追根溯源，并精準(zhǔn)定位到問(wèn)題源頭。其中，增量電路原理圖僅僅顯示違例相關(guān)邏輯，將任何不相關(guān)邏輯隔離開(kāi)，為用戶排除干擾信息從而能夠輕松地深入分析復(fù)雜設(shè)計(jì)。

華中科技大學(xué)集成電路學(xué)院童喬凌教授表示：“英諾達(dá)的靜態(tài)驗(yàn)證工具讓我們?cè)谠O(shè)計(jì)早期就發(fā)現(xiàn)了許多我們以前沒(méi)有注意到的問(wèn)題，大大提高了芯片的可靠性，讓我們對(duì)代碼的質(zhì)量有了更高的信心。該系列工具也加速了我們的設(shè)計(jì)迭代，提升了效率。期待英諾達(dá)能夠持續(xù)創(chuàng)新，推出更多先進(jìn)的EDA工具，為中國(guó)芯片產(chǎn)業(yè)的發(fā)展貢獻(xiàn)更大的力量?！?/p>

“隨著芯片設(shè)計(jì)復(fù)雜度的不斷提高，設(shè)計(jì)企業(yè)對(duì)靜態(tài)驗(yàn)證工具的需求也越來(lái)越迫切?！庇⒅Z達(dá)的創(chuàng)始人、CEO王琦博士表示，“特別是諸如CDC和RTL代碼質(zhì)量檢測(cè)這類基礎(chǔ)且不可或缺的驗(yàn)證工具，市場(chǎng)當(dāng)前對(duì)國(guó)產(chǎn)化的解決方案抱有極大的期待與需求。英諾達(dá)全新發(fā)布的EnAltiusCDC和Lint這兩款工具，將為芯片設(shè)計(jì)企業(yè)提供更加高效、可靠的靜態(tài)驗(yàn)證解決方案，助力其在激烈的市場(chǎng)競(jìng)爭(zhēng)中保持領(lǐng)先優(yōu)勢(shì)?！?/p>

12月11-12日，英諾達(dá)將亮相在上海舉辦的第三十屆集成電路設(shè)計(jì)業(yè)展覽會(huì)(ICCAD-Expo)，英諾達(dá)將攜最新產(chǎn)品參會(huì)，您可以關(guān)注我們的演講信息，或前往英諾達(dá)的展臺(tái)了解我們的系列EDA工具。

關(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ù)。