英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-10 14:25:47 [综合] 来源：长沙新食玳教育咨询有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：娱乐)
灵伴科技参编《空间计算发展报告(2024)》发布
志高智能王88款：给您一个高品质的家—万维家电网
上海工商局：LG家用空调器能效比不合格—万维家电网
17个空调品牌遭淘汰 首度出现销售负增长—万维家电网
NVIDIA CUDA推荐文章
-
如今，实体商业正经历着深刻的变革，它们不仅需要应对消费者日益多样化的购物需求，还需紧跟数字化、智能化、绿色化的时代潮流，不断提升自身的竞争力。购物中心在创新消费场景、打造体验式消费空间方面持续探索。近
...[详细]
-
12家顺德知名企业加盟闪联，参与制订基于闪联标准的智能家居互联互通标准，谋划未来的数字家庭。 9月18日，闪联正式宣布12家顺德知名企业加盟闪联，参与制订基于闪联标准的智能家居互联互通标准，谋划未来
...[详细]
-
没有燃煤、烟尘、废弃物，看不到锅炉、冷却塔和制冷机，在室内就能享受到凉风或暖气，这是海水源热泵空调技术带给人们的科技新生活。记者今天从有关部门获悉，从今年起本市将在前期试点的基础上全力推广海水空调，率
...[详细]
-
经营空调难，已经成为行业内热门的话题。长期浸淫空调行业的有些人经常在自问，市场还是那个市场，产品还是那个产品，为什么前些年空调行业是要风得风要雨得雨，市场充满了无穷的活力？相比较今天空调行业却是波澜不
...[详细]
-
近日，全球领先的电子设计自动化(EDA)和半导体IP供应商新思科技(Synopsys, Inc.)宣布了一项重大技术创新——推出业界首款超以太网IP和UALink IP解决方案。这一创新旨在满足高性能
...[详细]
-
日前，记者从广东省商业企业集团公司获悉，“第二届泛珠三角制冷空调技术交流及设备展览会”将于本月19日—21日在广州中国出口商品交易会流花展馆举行。 据了解，本届展会面积超过3000平方米，参展企业除泛
...[详细]
-
经营空调难，已经成为行业内热门的话题。长期浸淫空调行业的有些人经常在自问，市场还是那个市场，产品还是那个产品，为什么前些年空调行业是要风得风要雨得雨，市场充满了无穷的活力？相比较今天空调行业却是波澜不
...[详细]
-
“以前‘好日子’的时候卖一台空调能赚一千几百元的利润，现在不傍着几个大牌子做是没法活了。”一位本地经销商用天壤之别来形容现在的生存状况。空调厂家在市场上杀得昏天暗地，对于经销商来说，品牌的高度集中意味
...[详细]
-
我们很高兴地宣布AMDAlveo 媒体加速产品组合 AMA ）SDK 1.2.1 版本发布，从而进一步扩展 AMD Alveo MA35D 媒体加速卡功能。此版本中的新功能包括：支持 Alma 9.4
...[详细]
-
能效比低于２．６的空调全面禁售 从今年(2006年)９月１日起，全国将执行《能源效率标识管理办法》，办法规定凡是能效比低于２．６的空调将严禁销售。各大空调厂家和各省市家电连锁店已“磨刀霍霍”，一场空调
...[详细]
热点阅读
