![]()
半导体技术天地 振兴国产半导体产业！
12月5日，位于四川成都的英诺达（成都）电子科技有限公司宣布推出两款全新的静态验证EDA工具：EnAltius®CDC跨域检查工具和EnAltius®LintRTL代码检查工具。两款新产品将于12月11日至12日在上海举办的第三十届集成电路设计业展览会（ICCAD-Expo）上亮相，届时英诺达将展示其最新的产品与解决方案。这两款工具的发布进一步丰富了英诺达的产品线，迄今为止英诺达已经推出了6款面向数字电路的静态验证和分析EDA工具。这两款工具的发布，无疑将在日益复杂的芯片设计领域中，助力中国半导体产业的高效发展。静态验证作为芯片设计中的一种主流方法，主要通过分析设计源代码来提前发现潜在问题。与动态仿真验证和形式化验证相结合，静态验证可以显著提高验证覆盖率，帮助设计师在早期阶段迅速发现并修复缺陷，从而缩短设计验证的周期。英诺达此次推出的两款工具，将为设计团队提供强有力的支持，确保芯片设计过程的高效和可靠。英诺达的这两款工具都基于其最新的软件架构，能够读取标准文件格式进行分析和报告。不同于同类工具通常出现的重复信息和混乱报告，EnAltius工具通过合并同源违例，分类信息，旨在减少分析和调试的复杂性。即便在处理极大的设计情况下，这些工具仍以其清晰而有针对性的报告帮助用户聚焦关键问题。值得一提的是，工具的图形化用户界面（GUI）使得用户能更直观地跟踪违例信息，从逻辑路径到电路细节，均一目了然。使用者还可以通过增量电路原理图，仅显示相关逻辑，隔离不相关内容，从而消除干扰，深入分析复杂设计。华中科技大学集成电路学院的童乔凌教授对英诺达的静态验证工具表示赞赏，称其能够在设计初期发现许多潜在问题，提升了设计的可靠性：“该系列工具不仅加速了我们的设计迭代，提升了效率，也让我们对代码质量有了更高的信心。”英诺达创始人兼CEO王琦博士指出，随着芯片设计复杂度的提升，企业对静态验证工具的需求也愈加迫切。他表示：“市场对国产化解决方案的期待和需求愈加明显，英诺达新推出的工具将为芯片设计企业提供更高效且可靠的静态验证解决方案，助力他们在竞争中保持优势。”
*免责声明：以上内容整理自网络，不代表小编的观点和立场，仅供交流学习之用。如有任何疑问或异议，请留言与我们联系。
爆料｜投稿｜合作｜社群
文章内容整理自网络，如有侵权请联系沟通
投稿或商务合作请联系xd211ic
有偿新闻爆料请添加微信
xd211ic
