英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-10 22:32:28 [百科] 来源：昆山振德隆密炼机有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：综合)
学习困难真是病？复旦儿科学习困难门诊已约满了
奇瑞瑞虎9X猎鹰500定义燃油智能驾辅新标准
明阳研究院全力支持第五届“鹏城杯”联邦网络靶场协同攻防演练
美国将中微公司移出制裁清单推荐文章
-
瑞丰光电创新Mini背光技术方案和CHIP产品荣获两项客户荣誉
近日，惠科股份IOT-C BU 2024年度供应商大会在重庆隆重召开。会上，惠科为瑞丰光电颁发“最佳创新奖”，为瑞丰在过去一年精诚协作，并提供领先的创新Mini背光技术方案表示认可。作为惠科股份的战略
...[详细]
-
本报讯 记者吴宗宝 通讯员姚立孟 陈超凡）党的十九大报告提出“全面实施全民参保计划”。近日，记者从泉州市城乡居民社会养老保险管理中心获悉，泉州市积极推进城乡居民保各项工作，截至
...[详细]
-
近日，DEKRA德凯上海嘉定实验室成功通过一汽奔腾汽车股份有限公司的严格评估，正式获得其电磁兼容EMC）实验室测试认可证书。认 可 范 围此次认可标志着DEKRA德凯在汽车电子电气零部件电磁兼容测试领
...[详细]
-
“五一”期间成都熊猫主题游火爆 游客赏“花”热情只增不减 编辑：汤晓雪
...[详细]
-
阿贝数在光学中的应用实例光学是研究光的性质、行为和应用的科学。在光学领域，阿贝数是一个重要的参数，它影响着光学元件的性能，如透镜、棱镜和光纤等。一、透镜设计在透镜设计中，阿贝数是一个关键因素。透镜的色
...[详细]
-
INDEMIND四大伙伴消费级AI机器人亮相CES 2026
嘿，关注未来生活的你，今年CES看了吗？消费级AI机器人作为今年最火的板块之一。如果你问我今年最大的惊喜是什么？INDEMIND四大伙伴亮相的四款产品带给你答案～今天，小D就带你快速回顾一下它们在CE
...[详细]
-
本报讯福建日报记者 庄国辉刘泽阳）3日，笔者从泉州市泉港区民政局获悉，今年起，该区推行城乡低保标准一体化，将城市、农村低保标准统一为600元/人/月，进一步提高农村低保对象的生活水平，实现城乡统筹发展
...[详细]
-
在智慧农业发展过程中，精准灌溉是实现水资源高效利用、作物优质高产的核心环节。传统灌溉模式常因水压不稳定、供水不均导致水资源浪费或作物旱涝失衡。瑞之辰全金属封装温压一体压力传感器，是智慧农业灌溉系统的精
...[详细]
-
近日，基于 飞腾腾珑E2000 CPU打造的自主可控DCS(分散控制系统)等主辅机系统，在华电江苏望亭电厂顺利完成部署投运。该型自主可控DCS是国内首批在CPU硬件底层实现内置TCM的电力工控系统，代
...[详细]
-
思尔芯、MachineWare与Andes晶心科技联合推出RISC
思尔芯、MachineWare与晶心科技Andes Technology）联合发布一款协同仿真解决方案，旨在应对日益复杂的RISC-V芯片设计。该方案融合了MachineWare的SIM-V虚拟平台、
...[详细]
热点阅读
