英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-11 02:09:17 [百科] 来源：曲阜利特莱电力器材有限公司济宁分公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：百科)
DFT的常见误区与解决方案
“V”系列战略新品今投产，志高发力2015冷年—万维家电网
上海制冷展海尔空调两大热点：新能源和智能—万维家电网
诚信何在？网友遭遇苏宁易购“临时工”—万维家电网
色环电阻与其他电阻类型比较推荐文章
-
RJ45转接头的用途网络连接：RJ45转接头可以将RJ45接口的设备如电脑、路由器、交换机等）连接到其他类型的接口，如RJ11电话线接口）或USB接口。设备兼容性：在不同设备之间进行网络连接时，可能需
...[详细]
-
日前，在“第八届中国国际轨道交通技术展览会”以及“第八届城市轨道交通国际峰会”上，海尔中央空调凭借专业的产品技术、世界领先的节能方案和用户的良好口碑，一举获得了“2011年度轨道交通创新力企业TOP
...[详细]
-
近日，在中国移动通信基站空调项目的中外对抗大战中，美的空调在众多的知名品牌中脱颖而出，拔得头筹，将众多洋品牌斩落马下。据了解，由于中国移动通信基站所处环境的复杂性和多样性，对空调品质有着严苛的要求。美
...[详细]
-
近日，天气一天天转暖，但不少人却感到精神状态不佳，早上一到单位就昏昏欲睡，工作不在状态，中午需要好好补一觉。不少人认为：我是不是病了？春困难真的这么厉害吗？春困的原因是什么？哪些人群容易发生春困？用什
...[详细]
-
全球领先的软件定义系统级芯片(SoC)开发商XMOS近日宣布，已与飞腾云科技签署增值分销协议。根据协议，飞腾云科技被正式授权为XMOS全球首家增值经销商(VAR)，将利用XMOS的xcore芯片平台和
...[详细]
-
【万维家电网报道】记者从海信电器了解到，青岛海信电器股份有限公司控股股东之一致行动人海信电子，7月2日增持公司股份4873403股，占公司总股本0.37%，现总持有3.97%。基于维护公司股价，海信
...[详细]
-
空调行业的销售旺季即将来临，借奥运契机，空调行业将如何营销？在成本上涨压力下，空调价格何去何从？今年空调市场将有什么样的变化？针对这一系列话题，由本报主办的“2008空调行业(济南)高峰论坛”将在20
...[详细]
-
进入冬季，许多人纷纷打开空调给室内“升升温”。但有些空调停用了一年的制热功能却“长眠不醒”——不起作用或是制热效果不理想。那么问题出在什么地方呢？小编给你找找原因：滤网灰尘太厚一般来说，空调制热效果不
...[详细]
-
近期，日本两大汽车制造商日产与本田正面临来自合同制造商富士康的潜在收购挑战，双方因此展开了深入的交流与协商。据日经新闻报道，自今年年初富士康开始表达对收购日产股份的兴趣以来，日产与本田迅速进入了紧急协
...[详细]
-
在刚刚结束的2007年，格兰仕和大多数中国制造企业一样，面临着人民币升值多次升值、原材料快速涨价、国际贸易保护主义盛行等等难题。而作为国际家电行业领军企业，格兰仕通过自主创新、自主品牌突围，交出了一份
...[详细]
热点阅读
