英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-10 18:08:06 [知识] 来源：龙岩麦格雷自动化设备有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：休闲)
海尔：2007年“增兵”家用中央空调—万维家电网
泉州府文庙里800多年前的碑石 讲述泉州庙学变迁
甜味剂会导致肥胖吗？专家给出解释
“润物无声”泉州文创旅游商品设计大赛启动
“变频专家”海信空调直流变频新品问市—万维家电网推荐文章
-
3月14日，苏宁主办的“07年京城空调发展趋势论坛”，与会厂商代表对07年空调价格的趋势各持己见。就在业内人士仍在就07年空调市场价格涨跌争论不休的时候，上周，外资空调效仿外资彩电，突然袭击，联手苏宁
...[详细]
-
在第57个世界地球日来临之际，以“我们的力量，我们的地球”为主题的2026地球合伙人领导力峰会在上海隆重举行。天合光能作为全球光储领军企业应邀出席。会上，凭借在推动全球能源转型与生态修复领域的卓越贡献
...[详细]
-
作为2026年蓝牙亚洲大会蓝钻合作伙伴，我们持续展现低功耗蓝牙领域的领导地位，并致力于大规模应用下一代无线和边缘智能技术挪威奥斯陆– 2026年4月22日–全球领先的低功耗无线连接解决方案供应商
...[详细]
-
市统计局日前发布前8个月全市主要经济数据，今年1月—8月，全市经济总体保持稳定恢复态势，规模以上工业增加值、社会消费品零售总额和财政一般公共预算总收入同比保持两位数增长。全市规模以上工业增
...[详细]
-
要解决库存这个大包袱，空调厂家只有降价销售，一旦新品上市就借机抬价。不过，今年他们恐怕连这最后一根稻草也要“抽掉”了。五星电器昨天正式发布消息，为了抢到空调旺季的第一桶金，他们决定从本周末开始，打破两
...[详细]
-
在刚刚落幕的人形机器人马拉松比赛中，来自荣耀的“齐天大圣队”自主导航机器人 “闪电”以50分26秒的惊人成绩斩获冠军，这一成绩甚至超越了人类男子半马世界纪录。这不仅仅是一次“速度”的突破，对于机器人而
...[详细]
-
市统计局日前发布前8个月全市主要经济数据，今年1月—8月，全市经济总体保持稳定恢复态势，规模以上工业增加值、社会消费品零售总额和财政一般公共预算总收入同比保持两位数增长。全市规模以上工业增
...[详细]
-
回来了！来自第910医院的10名泉州医务人员，结束在南京的集中隔离后，于23日下午回到泉州，圆满完成支援南京抗疫一线的任务。一个月前，南京突发疫情，情况严峻。第910医院积极响应上级号召，于7月27日
...[详细]
-
消费者在选择空调时，不能只简单的根据价格来选择产品，更要根据自己的居住空间来选购，如果选择不当的话，不但不能够调节是室内气温，而且还有可能对空调本身造成不必要的损害。 今天，笔者就以10-25平方米
...[详细]
-
连日来，乐善好施的泉商和泉州民营企业纷纷通过捐款捐物等多种形式，支援泉州疫情防控工作。泉港区是泉州此次疫情最严峻的区域，身居各地的海内外泉港籍企业家密切关注家乡疫情，第一时间发起爱心捐助。泉港区工商联
...[详细]
热点阅读
