重磅！国产EDA发布全新静态验证产品！

文章预览

  半导体行业圈 振兴国产半导体产业！ 12月5日，位于四川成都的英诺达（成都）电子科技有限公司宣布推出两款全新的静态验证EDA工具：EnAltius®CDC跨域检查工具和EnAltius®LintRTL代码检查工具。两款新产品将于12月11日至12日在上海举办的第三十届集成电路设计业展览会（ICCAD-Expo）上亮相，届时英诺达将展示其最新的产品与解决方案。 这两款工具的发布进一步丰富了英诺达的产品线，迄今为止英诺达已经推出了6款面向数字电路的静态验证和分析EDA工具。这两款工具的发布，无疑将在日益复杂的芯片设计领域中，助力中国半导体产业的高效发展。 静态验证作为芯片设计中的一种主流方法，主要通过分析设计源代码来提前发现潜在问题。与动态仿真验证和形式化验证相结合，静态验证可以显著提高验证覆盖率，帮助设计师在早期阶段迅速发现并修复缺 ………………………………