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

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

新產(chǎn)品概覽

EnAltius?昂屹?CDC 跨域檢查工具

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

EnAltius?昂屹?Lint RTL代碼檢查工具

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

ECDC工具的GUI界面

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

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

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

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

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