英諾達(成都)電子科技有限公司近日正式推出了兩款全新的靜態驗證EDA工具——EnAltius?CDC跨域檢查工具和Lint RTL代碼檢查工具。這兩款產品的發布,標志著英諾達在芯片設計工具領域邁出了重要一步,將為中國芯片產業的發展注入新的活力。
靜態驗證作為一種業界普遍使用的驗證方法,通過對設計的源代碼進行深入分析,能夠發現設計中的潛在問題。與動態仿真驗證和形式化驗證相結合,靜態驗證可以顯著提高驗證的覆蓋率,幫助設計師在設計開發的早期階段快速發現和診斷設計缺陷,從而有效縮短設計驗證所需的時間,提升芯片設計的整體效率。
EnAltius?CDC跨域檢查工具和Lint RTL代碼檢查工具正是基于這一理念而開發的。它們不僅能夠為設計師提供更加全面、準確的驗證結果,還能夠與英諾達現有的靜態驗證和分析EDA工具形成互補,共同構成一個完整的驗證體系,為芯片設計提供全方位的支持。
此次兩款新品的發布,進一步豐富了英諾達的產品線,也展示了英諾達在芯片設計工具領域的創新能力和技術實力。未來,英諾達將繼續致力于為中國芯片產業的發展貢獻更多的優質產品和服務。
-
芯片
+關注
關注
459文章
51853瀏覽量
432544 -
eda
+關注
關注
71文章
2845瀏覽量
175448 -
代碼
+關注
關注
30文章
4872瀏覽量
69914 -
英諾達
+關注
關注
1文章
38瀏覽量
2079
發布評論請先 登錄
相關推薦
英諾達推出RTL功耗優化工具
新思科技攜手英偉達加速芯片設計,提升芯片電子設計自動化效率
英諾達邀您相約2025中國RISC-V生態大會
新思科技推出全新硬件輔助驗證產品組合
新思科技全新升級業界領先的硬件輔助驗證產品組合,助力下一代半導體與設計創新
英諾達入選2024年四川省新經濟企業100強
英諾達為本土客戶提供優質EDA解決方案
英諾達攜兩款靜態驗證EDA工具亮相ICCAD-Expo 2024
英諾達受邀參加IIC Shenzhen 2024
無線充芯片-手機無線充電芯片-無線充電芯片開發定制
英諾達低功耗設計研討會圓滿結束
SD NAND測試套件:提升存儲芯片驗證效率

評論