英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-11 01:54:47 [综合] 来源：江苏省沭阳沭龙孵化场有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：热点)
相关内容
高通任命新首席技术官
四川资源集团与华为签署框架合作协议
晶科能源与帝科股份签署全面战略合作协议
泉州首批132名企业自主认定高层次人才名单出炉
爱普生亮相2024世界显示产业创新发展大会推荐文章
-
近期，Diodes公司推出了符合车用标准的ZXCT18xQ系列电流分流监测器，为汽车行业带来了一种高精度、可靠的电流监测解决方案。ZXCT18xQ系列是一款单级仪表放大器，能够在高达26V的宽广共模电
...[详细]
-
一季度棚改项目开工7471套、基本建成2939套——泉州棚户区改造实现“开门红”记者谢曦）记者从市住建局获悉，根据《2019年棚户区改造工作方案》，今年
...[详细]
-
中国疾控中心专家回应什么是低风险区 编辑：汤晓雪 来源：央视网
...[详细]
-
早报讯通讯员蔡长江 郭小梅 记者吴水保）昨日，晋江交警部门介绍，晋江中心市区将启动第一期路面临时停车收费管理，即日起至10月1日，晋江中心市区停车收费将进行升级改造，部分路段将采取全封闭阶段式推进施工
...[详细]
-
“整顿”职场，从来都不是哪一代人的事 编辑：汤晓雪 来源：中国青年报
...[详细]
-
在9日社一村举行的颁奖仪式上，叶航前排右一）当场将所得奖学金捐出。 社一村供图）9日，在南安诗山镇社一村，诗山镇社坛教育基金会、社一村党支部及村委会、社一村爱心基金会等，为被北京大学录取的叶航同学发放
...[详细]
-
记者林铭珊）记者昨日从市扫黑办获悉，扫黑除恶专项斗争开展以来，市市场监管局加大重点行业治乱力度，将影响社会稳定、扰乱经济秩序、危害群众人身财产安全的网络传销行为列入治乱重点项目，有力开展网络传销的监测
...[详细]
-
8日，有网友爆料，泉州中心市区富临新天地湖心街出口、星湖雅苑旁边垃圾堆积，绿化带停车导致植被缺失。泉州网5月10日讯 记者吴志明 文/图）8日，有网友爆料，泉州中心市区富临新天地湖心街出口、星湖雅苑旁
...[详细]
-
高通公司近日正式宣布了一项重要的人事变动决定。Baaziz Achour博士将被任命为高通技术公司的首席技术官，接替现任的James Thompson博士，该任命将于2025年2月3日正式生效。Ach
...[详细]
-
闽南网7月3日讯福建日报新媒体·闽南网记者 王惠敏 通讯员 庄勇 文/图）7月3日，福建日报新媒体·闽南网www.mnw.cn）记者从泉州市住建局获悉，自7月1日起，泉州住
...[详细]
热点阅读
