英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-10 21:54:05 [热点] 来源：上海伊乐会展有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：休闲)
本田警告日产：接触富士康或致合作终止
性价比不错的工业级开发板 — 米尔RK3562
FLIR RTG298/TG268圆心激光单点红外热像仪发布
刘建洋蔡战胜调研世中运筹办工作
zeta的定义和应用 如何使用zeta进行数据分析推荐文章
-
苹果要打折卖了消费者质疑“诚意不足” 编辑：汤晓雪 来源：广州日报
...[详细]
-
南京推出“生命菁华”节地生态葬 单墓园可变为家族墓园 编辑：汤晓雪
...[详细]
-
在全球快递业务量突破千亿规模、消费市场持续细分的新常态下，包装行业正经历智能化转型的关键阶段。随着行业的快速拓展，企业对包装系统的自动化、智能化水平，以及灵活性和可持续性提出了更高的要求。这样的背景下
...[详细]
-
近日，厦门市总工会党组书记、副主席邱武伟等一行莅临光莆股份考察指导。光莆集团副总经理吴晞敏，工会主席、项目总监杨元勇，全国劳模苏振熠等热情接待并陪同。聚焦科技创新 见证硬核实力厦门市总工会一行首先参观
...[详细]
-
近期，有网友比较关心理想汽车的车辆OTA机制，针对大家关心的问题，我们整理出以下问答供大家了解。Q1智能汽车的OTA是什么意思？智能汽车的OTA，全称为空中下载技术Over-the-Air Techn
...[详细]
-
扫描海报二维码申请 活动时间： 申请报名：2025年5月15日-2025年6月15日 公布名单：2025年6月17日 发货日期：2025年6月17日 试用期限：2025年6月19日-2025年7月19
...[详细]
-
华灯初上，丝竹声声。昨晚，泉州市第34届戏剧会演开幕式暨现代高甲戏《围头新娘》首演仪式在泉州影剧院举行，拉开了第八届福建艺术节泉州分会场活动暨泉州市第34届戏剧会演活动的帷幕。为推动戏曲传承发展和文艺
...[详细]
-
前天晚上，泉州市迎来了气势汹汹的冷空气大军。昨日凌晨，我市高海拔山区最低温降至15℃以下，德化北部乡镇最低温降至个位数，白天全市以阴到多云的天气为主，温暖的南风切换成干冷的东北大风，行走在路上感到阵阵
...[详细]
-
计算摄影时代，AI在手机拍摄场景中扮演着越来越重要的角色。高通始终致力于以强大的AI性能赋能终端侧影像发展，全新推出的骁龙8至尊版移动平台搭载第二代高通Oryon CPU和高通Hexagon NPU，
...[详细]
-
空气传播的微塑料污染遍布全球 约85%与道路交通有关 编辑：汤晓雪
...[详细]
热点阅读
