英诺达发布全新静态验证产品，提升芯片设计效率
发布时间：2026-07-11 02:27:44 作者：玩站小弟 
我要评论
我要评论英诺达(成都)电子科技有限公司近日正式推出了两款全新的静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的发布，标志着英诺达在芯片设计工具领域迈出了重
。
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
相关文章
近日，由360集团牵头发起的大模型安全联盟(以下简称“联盟”)在北京正式成立。此次联盟汇集了众多监管机构、科研院所、大模型伙伴、算力与基础设施伙伴及安全伙伴，包括联想、腾讯云、百度智能云、火山引擎、M2026-07-11
继中秋节之后，国庆黄金周渐行渐近，家电行业也正值传统消费的“金九银十”。作为空调业四大家族之一的志高，秉承“以快制胜”的原则，延续中秋钜惠的攻势，联合国美卖场以“志高钜惠 礼献双节”为主题率先出招，抢2026-07-11
为什么别人的一天总是神采飞扬，而你刚起来就疲惫不堪？夜晚睡眠质量直接影响人一天的精神状态，美的air+睡眠环，检测你的睡眠温度、睡眠质量，让你一天神采奕奕。科学数据，来源于手环 美的air+睡眠环拥2026-07-11
继2017冷年发布会上发布自清洁迭代技术并宣布将实现所有空调产品的自清洁化后，海尔空调有了新动作。9月9日，海尔将启动行业首个智能家电节，参与的智能空调将全部为智能自清洁新品，同时，海尔基于407亿2026-07-11
00后步入职场，企业如何“接招” 编辑：汤晓雪 来源：中国青年报2026-07-11
国庆临近，空调行业促销大战就已经火爆开始，各大企业都在摩拳擦掌、全力以赴，想要抓住市场2017新冷年开局抢跑首个关键节点。据悉，“变频实力派”的海信空调自然不会放过这个机会，携名燥业内的多款中高端精2026-07-11
最新评论