點選藍字 關注我們
（2024年12月5日，四川成都）英諾達（成都）電子科技有限公司隆重推出兩款全新的靜態驗證EDA工具：EnAltius®CDC跨域檢查工具和Lint RTL程式碼檢查工具。這兩款工具的推出，將進一步提升晶片設計的效率和可靠性，助力中國晶片產業的發展。
靜態驗證是透過分析設計的原始碼來發現設計中的問題，作為業界普遍使用的方法，在設計中透過配合動態模擬驗證和形式化驗證，可以顯著提高驗證的覆蓋率，幫助設計師在設計開發的早期更快地發現和診斷設計缺陷，從而縮短設計驗證所需的時間。這兩款工具的釋出進一步豐富了英諾達的產品線，迄今為止英諾達已經推出了6款面向數位電路的靜態驗證和分析EDA工具。
新產品概覽
EnAltius®昂屹®CDC 跨域檢查工具
跨時鐘域（Clock Domain Crossing）是數字積體電路設計中常見的複雜問題，時鐘域處理不當通常會出現亞穩態、資料丟失、潛在毛刺、多資料相關性丟失等問題，導致晶片功能異常甚至失效，是流片失敗的主要因素之一。 EnAltius®CDC可以在保證跨時鐘域CDC檢查完備性和準確性的同時，在最短時間內向使用者提供簡潔的違例報告 。其專有的靜態邏輯檢測演算法，能夠準確解析跨時鐘域經典結構，還可以透過電路功能性分析從而完成難度更高的非經典的跨時鐘域結構分析，為使用者提供全面而精確的分析結果。及早發現並解決CDC問題，可以大大提高晶片的可靠性，減少晶片在實際應用中發生故障的機率，而且在晶片設計早期發現並修復CDC問題，可以降低設計迭代成本。
EnAltius®昂屹®Lint RTL程式碼檢查工具
Lint工具是程式碼工程師的左膀右臂，能夠發現設計程式碼中潛在的語法錯誤和邏輯錯誤，尤其是在設計中對IP、模組等進行復用時，經常出現風格不統一，不利於維護的問題。對於這些問題，設計團隊要在第一時間解決，否則將直接導致編譯或執行錯誤，影響開發效率和質量。 EnAltius®Lint不僅可以提供基本語法、語義和規範檢查，還可以檢測在模擬、驗證或綜合階段的潛在缺陷，幫助設計團隊實現檢查的“左移”，從而實現早期RTL程式碼質量籤核 。該工具採用業界廣泛應用的編碼規範，例如RMM和STARC，以及英諾達及其設計合作伙伴在該領域多年的專業積累而成的規範。這款工具不僅能提高程式碼的可讀性，便於團隊協作，還可以降低設計風險，提高晶片的可靠性。
注：ECDC工具的GUI介面
這兩款工具均基於英諾達全新的軟體架構，透過讀入標準檔案格式進行分析和報告。同類工具的違規報告往往存在大量重複和組織混亂的資訊，增加了分析難度。 EnAltius®CDC和Lint工具對同源違例進行合併，並對訊息進行了歸類，減少了重複的分析、除錯和迭代過程 。即使在設計異常龐大的情況下，該工具以目標為導向的簡潔報告和組織功能依然可以幫助使用者聚焦關鍵問題。
此外，透過圖形化使用者介面（GUI），從違例資訊開始，到違例路徑到電路細節，該工具為使用者清晰地展示電路中的潛在問題。使用者可以透過RTL原始碼或電路原理圖進行追根溯源，並精準定位到問題源頭。其中，增量電路原理圖僅僅顯示違例相關邏輯，將任何不相關邏輯隔離開，為使用者排除干擾資訊從而能夠輕鬆地深入分析複雜設計。
華中科技大學積體電路學院童喬凌教授表示：“英諾達的靜態驗證工具讓我們在設計早期就發現了許多我們以前沒有注意到的問題，大大提高了晶片的可靠性，讓我們對程式碼的質量有了更高的信心。該系列工具也加速了我們的設計迭代，提升了效率。期待英諾達能夠持續創新，推出更多先進的EDA工具，為中國晶片產業的發展貢獻更大的力量。”
“隨著晶片設計複雜度的不斷提高，設計企業對靜態驗證工具的需求也越來越迫切。”英諾達的創始人、CEO王琦博士表示，“特別是諸如CDC和RTL程式碼質量檢測這類基礎且不可或缺的驗證工具，市場當前對國產化的解決方案抱有極大的期待與需求。英諾達全新發布的EnAltius®CDC和Lint這兩款工具，將為晶片設計企業提供更加高效、可靠的靜態驗證解決方案，助力其在激烈的市場競爭中保持領先優勢。”
12月11-12日，英諾達將亮相在上海舉辦的第三十屆積體電路設計業展覽會（ICCAD-Expo），英諾達將攜最新產品參會，您可以關注我們的演講資訊，或前往英諾達的展臺瞭解我們的系列EDA工具。
關於英諾達
英諾達（成都）電子科技有限公司是一家由行業頂尖資深人士創立的本土EDA企業，公司堅持以客戶需求為導向，幫助客戶實現價值最大化，為中國半導體產業提供卓越的EDA解決方案。公司的長期目標是透過EDA工具的研發和上雲實踐，參與國產EDA完整工具鏈佈局並探索適合中國國情的工業軟體上雲的路徑與模式，賦能半導體產業高質量發展。英諾達首款自主研發的EnFortius®凝鋒®系列低功耗EDA工具，可有效幫助IC設計工程師定位並分析低功耗設計相關問題。在靜態驗證領域，EnAltius®昂屹®系列工具將在設計流程的早期增強可預測性，幫助IC設計工程師做出最優決策。英諾達的EnCitius®曜奇® SVS系統驗證平臺則利用EDA上雲的優勢，為客戶打通驗證資源的渠道，提供全面的SoC及系統級驗證的一站式解決方案，提高晶片設計效率。此外，英諾達還可提供完整、可定製的前/後端設計服務。
12-02
11-21
11-08
