英諾達(成都)電子科技有限公司近日正式推出了兩款全新的靜態驗證EDA工具——EnAltius?CDC跨域檢查工具和Lint RTL代碼檢查工具。這兩款產品的發布,標志著英諾達在芯片設計工具領域邁出了重要一步,將為中國芯片產業的發展注入新的活力。
靜態驗證作為一種業界普遍使用的驗證方法,通過對設計的源代碼進行深入分析,能夠發現設計中的潛在問題。與動態仿真驗證和形式化驗證相結合,靜態驗證可以顯著提高驗證的覆蓋率,幫助設計師在設計開發的早期階段快速發現和診斷設計缺陷,從而有效縮短設計驗證所需的時間,提升芯片設計的整體效率。
EnAltius?CDC跨域檢查工具和Lint RTL代碼檢查工具正是基于這一理念而開發的。它們不僅能夠為設計師提供更加全面、準確的驗證結果,還能夠與英諾達現有的靜態驗證和分析EDA工具形成互補,共同構成一個完整的驗證體系,為芯片設計提供全方位的支持。
此次兩款新品的發布,進一步豐富了英諾達的產品線,也展示了英諾達在芯片設計工具領域的創新能力和技術實力。未來,英諾達將繼續致力于為中國芯片產業的發展貢獻更多的優質產品和服務。
-
芯片
+關注
關注
456文章
51170瀏覽量
427227 -
eda
+關注
關注
71文章
2787瀏覽量
173855 -
代碼
+關注
關注
30文章
4825瀏覽量
69043 -
英諾達
+關注
關注
1文章
34瀏覽量
1982
發布評論請先 登錄
相關推薦
英諾達入選2024年四川省新經濟企業100強
英諾達為本土客戶提供優質EDA解決方案
英諾達攜兩款靜態驗證EDA工具亮相ICCAD-Expo 2024
英諾達受邀參加IIC Shenzhen 2024
解決驗證“最后一公里”的挑戰:芯神覺Claryti如何助力提升調試效率

無線充芯片-手機無線充電芯片-無線充電芯片開發定制
國產網表級功耗分析EDA大幅提升精度與性能

英諾達低功耗設計研討會圓滿結束
SD NAND測試套件:提升存儲芯片驗證效率

英諾賽科營業收入實現跨越式增長,持續推動技術創新
英飛凌起訴英諾賽科專利侵權

評論