英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-11 02:37:27 [探索] 来源：江苏省沭阳沭龙孵化场有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：百科)
2024物联网年会聚焦智慧城市，飞猫科技双奖加冕！
7月以来泉州市政部门集中修复破损路面700余处
泉州将成皮划艇激流回旋国家队集训基地
英诺达发布全新静态验证产品，提升芯片设计效率推荐文章
-
实习越来越“卷” 焦虑如何抚平 编辑：汤晓雪 来源：中国青年报
...[详细]
-
本报讯 记者庄丹丹 刘倩 通讯员林文荣 吴明霓 黄忠族）面对疫情影响，泉州坚守实业，积极发展贸易新业态，深度挖掘市场需求，外贸快速有序恢复，呈现稳中向好趋势。据泉州海关统计，8月泉州进出口总值193.
...[详细]
-
老杨摸着妻子的头发，满脸爱意。今日是农历七月初七，又称七夕节，因为“牛郎织女”的美丽爱情传说，今日也被称为“中国情人节”。居住在鲤城区鲤中街道清正社区的
...[详细]
-
3月24日，OpenAI宣布将关停Sora。那个曾让我们惊叹“现实不存在了”的AI视频生成平台，在推出六个月之后，黯然退场。有人说，这是商业战略调整，有人说，它败于算力成本。但还有一个决定性的死因，很
...[详细]
-
蓝星光域近期宣布成功完成了数亿元的B轮融资，本轮融资由广州产投与国新基金联合领投，彰显了资本市场对其的高度认可与期待。深创投投资团队对此表示热烈祝贺，并分享了他们的观点。深创投投资团队强调，他们始终致
...[详细]
-
记者从市财政局了解到，今年以来，泉州共计发放价格补贴财政补助资金6540.05万元，其中，价格临时补贴4135.3万元，节日价格补贴2404.75万元，惠及68.93万人次。为统筹推进疫情防控和经济社
...[详细]
-
本报讯 记者庄丹丹 刘倩 通讯员林文荣 吴明霓 黄忠族）面对疫情影响，泉州坚守实业，积极发展贸易新业态，深度挖掘市场需求，外贸快速有序恢复，呈现稳中向好趋势。据泉州海关统计，8月泉州进出口总值193.
...[详细]
-
闽南网9月2日讯闽南网记者 陈玉玲 通讯员 刘闽华）今天上午，泉南高速发生一起追尾事故，导致2人受伤，其中有一位是89岁高龄的阿婆。事故发生后，泉州高速交警第一时间开辟救援绿色通道，在8分钟的时间内将
...[详细]
-
计算摄影时代，AI在手机拍摄场景中扮演着越来越重要的角色。高通始终致力于以强大的AI性能赋能终端侧影像发展，全新推出的骁龙8至尊版移动平台搭载第二代高通Oryon CPU和高通Hexagon NPU，
...[详细]
-
3月24日，OpenAI宣布将关停Sora。那个曾让我们惊叹“现实不存在了”的AI视频生成平台，在推出六个月之后，黯然退场。有人说，这是商业战略调整，有人说，它败于算力成本。但还有一个决定性的死因，很
...[详细]
热点阅读
